Dynamic-Verification-of-Service-Based-Systems a V&V Framework for dynamic service compositions. (prototypes developed during my PhD) Check my papers at my Google Scholar page