Fadwa Rekik

Model-Driven Consistency Verification for Service-Oriented Applications

2015

Model Driven Engineering (MDE) is a promising approach that eases the design, development and verification of Service-Oriented Applications. However, despite the importance of providing verification mechanisms, current MDE tool implementations lack methodologies of consistency verification …