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

Raoudha Maraoui, Bechir Ayeb

Browse the full WETICE paper archive.