Remedy of Mixed Initiative Conflicts in Model-based System Engineering

SPACE is a technique for model-driven engineering of reactive distributed systems. One of the strengths of its tool-set Arctis is that the system engineer can formally analyze the models for design errors such that these can be corrected early in the development process. In this paper, we go a step further and introduce a technique that refines the fault detection and, in addition, offers a highly automatic mechanism to remedy the errors. For that, we combine model checking, the already existing analysis method of Arctis, with graph transformation. Using graph rewriting rules, we can analyze the state space graph of a system for the exact reason of an error as well as remove the erroneous parts of a model by changing the model description. We exemplify the approach by envisaging the detection and remedy of mixed initiatives, a quite common cause for faulty behavior in event-driven systems that often is overlooked in system development.

[1]  Jacqueline Floch,et al.  Towards Plug-and-Play Services: Design and Validation Using Roles , 2003 .

[2]  Gabriele Taentzer,et al.  AGG: A Graph Transformation Environment for Modeling and Validation of Software , 2003, AGTIVE.

[3]  Peter Herrmann,et al.  Automated Encapsulation of UML Activities for Incremental Development and Verification , 2009, MoDELS.

[4]  Antonio Bucchiarone,et al.  Self-Repairing systems modeling and verification using AGG , 2009, 2009 Joint Working IEEE/IFIP Conference on Software Architecture & European Conference on Software Architecture.

[5]  Peter Herrmann,et al.  Transforming Collaborative Service Specifications into Efficiently Executable State Machines , 2007, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

[6]  Vidar Slåtten,et al.  ENGINEERING SUPPORT FOR UML ACTIVITIES BY AUTOMATED MODEL-CHECKING | AN EXAMPLE , 2007 .

[7]  Vidar Slåtten,et al.  Tool support for the rapid composition, analysis and implementation of reactive services , 2009, J. Syst. Softw..

[8]  Kevin Lano,et al.  Slicing of UML models using model transformations , 2010, MODELS'10.

[9]  Mohamed G. Gouda,et al.  Synthesis of Communicating Finite-State Machines with Guaranteed Progress , 1984, IEEE Trans. Commun..

[10]  Josef Kittler,et al.  Applications of Graph Transformations with Industrial Relevance , 2011, Lecture Notes in Computer Science.

[11]  Øystein Haugen,et al.  Engineering real time systems - an object-oriented methodology using SDL (2. pr.) , 1993, BCS practitioner series.

[12]  Roy Grønmo,et al.  Aspect Diagrams for UML Activity Models , 2007, AGTIVE.

[13]  Frank Alexander Kraemer.  Automatic Generation of Compatible Interfaces from Partitioned UML Activities , 2009, SDL Forum.

[14]  Daniel Amyot,et al.  Modeling and detecting semantic-based interactions in aspect-oriented scenarios , 2010, Requirements Engineering.

[15]  Ákos Horváth,et al.  Quick fix generation for DSMLs , 2011, 2011 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC).

[16]  Woontack Woo,et al.  Mixed-initiative conflict resolution for context-aware applications , 2008, UbiComp.

[17]  Gabriele Taentzer,et al.  Translation of Restricted OCL Constraints into Graph Constraints for Generating Meta Model Instances by Graph Grammars , 2008, GT-VMT@ETAPS.

[18]  Frank Alexander Kraemer.  Engineering android applications based on UML activities , 2011, MODELS'11.

[19]  Peter Herrmann,et al.  A Tool-Supported Method for the Design and Implementation of Secure Distributed Applications , 2011, ESSoS.

[20]  Peter Herrmann,et al.  Towards choreography model transformation via graph transformation , 2011, 2011 IEEE 2nd International Conference on Software Engineering and Service Science.

[21]  Jon Whittle,et al.  Model composition in product lines and feature interaction detection using critical pair analysis , 2007, MODELS'07.

[22]  Tom Mens,et al.  Formalizing refactorings with graph transformations , 2005, J. Softw. Maintenance Res. Pract..

[23]  Elena Zucca,et al.  Formal Techniques for Distributed Systems, Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings , 2010, FMOODS/FORTE.