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.

[1]  Takeaki Uno,et al.  Contradiction Finding and Minimal Recovery for UML Class Diagrams , 2006, 21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06).

[2]  C. Peltz,et al.  Web Services Orchestration and Choreography , 2003, Computer.

[3]  Carlos Rodríguez-Domínguez,et al.  Real-time web services orchestration and choreography , 2010, EOMAS 2010.

[4]  Christophe Gaston,et al.  Incremental Symbolic Conformance Testing from UML MARTE Sequence Diagrams: Railway Use Case , 2012, 2012 IEEE 14th International Symposium on High-Assurance Systems Engineering.

[5]  Jens Lehmann,et al.  Model Driven SOA , 2011 .

[6]  Reiko Heckel,et al.  Rule-Based Specification of Behavioral Consistency Based on the UML Meta-model , 2001, UML.

[7]  Xabier Larrucea,et al.  A Platform Independent Model for Service Oriented Architectures , 2006, I-ESA.

[8]  David Servat,et al.  Eliciting Unitary Constraints from Timed Sequence Diagram with Symbolic Techniques: Application to Testing , 2011, 2011 18th Asia-Pacific Software Engineering Conference.

[9]  Tien-Dung Cao,et al.  Online Testing Framework for Web Services , 2010, 2010 Third International Conference on Software Testing, Verification and Validation.

[10]  Markus Völter,et al.  Model-Driven Software Development: Technology, Engineering, Management , 2006 .

[11]  Jan Tretmans,et al.  Test Generation with Inputs, Outputs and Repetitive Quiescence , 1996, Softw. Concepts Tools.

[12]  Roy Grønmo,et al.  Model-driven Web services development , 2004, IEEE International Conference on e-Technology, e-Commerce and e-Service, 2004. EEE '04. 2004.

[13]  Michael Gebhart,et al.  Derivation of Web Service Implementation Artifacts from Service Designs Based on SoaML , 2013 .

[14]  Christophe Gaston,et al.  Off-Line Test Case Generation for Timed Symbolic Model-Based Conformance Testing , 2012, ICTSS.

[15]  Xavier Burgués Illa,et al.  Development of service-oriented architectures using model-driven development: A mapping study , 2015, Inf. Softw. Technol..

[16]  Alexander Egyed,et al.  Consistency Checking in Early Software Product Line Specifications - The VCC Approach , 2014, J. Univers. Comput. Sci..

[17]  Fatiha Zaïdi,et al.  Passive conformance testing of service choreographies , 2012, SAC '12.

[18]  Tai-hoon Kim,et al.  A Survey of Consistency Checking Techniques for UML Models , 2008, 2008 Advanced Software Engineering and Its Applications.

[19]  Jörg P. Müller,et al.  MDA applied: From Sequence Diagrams to Web Service Choreography , 2004, ICWE Workshops.

[20]  Ana R. Cavalli,et al.  Testing Web Service Orchestrators in Context: A Symbolic Approach , 2010, 2010 8th IEEE International Conference on Software Engineering and Formal Methods.

[21]  Bran Selic.  From Model-Driven Development to Model-Driven Engineering , 2007, 19th Euromicro Conference on Real-Time Systems (ECRTS'07).