Model-driven Consistency Verification for Service-Oriented Applications

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 at design and runtime levels. This paper proposes a two-step model-driven system consistency verification methodology: (1) Horizontal consistency applied at design time that allows consistency verification of model diagrams at a same level of abstraction and (2) Vertical consistency based on offline analysis that allows consistency verification between both design and runtime levels. Our approach is fully tool-supported and relies upon the standard Service-oriented architecture Modeling Language (SoaML). A case study taken from the SoaML specification has been applied in order to validate the approach.