Raoudha Maroui

Integrating the SysML and ACME in a Model Driven Engineering Approach to Verify the Web Service Composition

2015

Systems engineering, and especially the modelling of the Web service composition, needs proper means for verification to detect critical issues as soon as possible. The objective of our work is to identify a verifiable subset …