Towards a Full Specification and Use of Overlap Relationships between Work Products in MDE Software Processes

In this paper we address the problem of modelling and using overlap relationships between process workproducts. In fact, in the current MDE context, the nature of software processes has drastically changed; they involve workproducts which are essentially large-sized models with lots of relationships of different kinds. Particularly, we have focused on the overlap relationship which consists in sharing model elements between process workproducts. First, we show that if such relationship is completely specified during process modelling, then process engines are able to use it to ensure a more optimized workproducts management which is not supported by current process management approaches. Then we present our software process modelling and execution approach and describe the prototype of PSEE we have developed to show its feasibility.

[1]  Holger Giese,et al.  Incremental model synchronization with triple graph grammars , 2006, MoDELS'06.

[2]  Tom Mens,et al.  Detecting model inconsistency through operation-based model construction , 2008, 2008 ACM/IEEE 30th International Conference on Software Engineering.

[3]  Shih-Chien Chou A Process Modeling Language Consisting of High Level UML-based Diagrams and Low Level Process Language , 2002, J. Object Technol..

[4]  George Spanoudakis,et al.  Overlaps in Requirements Engineering , 1999, Automated Software Engineering.

[5]  L. Lavazza,et al.  Deriving executable process descriptions from UML , 2002, Proceedings of the 24th International Conference on Software Engineering. ICSE 2002.

[6]  Alexander Egyed,et al.  Fixing Inconsistencies in UML Design Models , 2007, 29th International Conference on Software Engineering (ICSE'07).

[7]  Alexander Egyed,et al.  Automatically Detecting and Tracking Inconsistencies in Software Design Models , 2011, IEEE Transactions on Software Engineering.

[8]  Carlo Ghezzi,et al.  SPADE: an environment for software process analysis, design, and enactment , 1994 .

[9]  Jim Steel,et al.  On model typing , 2007, Software & Systems Modeling.

[10]  Leon J. Osterweil,et al.  Software processes are software too , 1987, ISPW.

[11]  Naser S. Barghouti,et al.  Supporting cooperation in the Marvel process-centered SDE , 1992, SDE 5.

[12]  Ali Razavi,et al.  Incremental model synchronization in model driven development environments , 2009, CASCON.

[13]  Markus Herrmannsdoerfer,et al.  Towards a generic operation recorder for model evolution , 2010, IWMCP '10.

[14]  Krzysztof Czarnecki,et al.  From State- to Delta-Based Bidirectional Model Transformations: the Asymmetric Case , 2011, J. Object Technol..

[15]  Alexander Egyed,et al.  Instant and incremental transformation of models , 2004 .

[16]  Bill Curtis,et al.  Process modeling , 1992, CACM.

[17]  Alfonso Fuggetta,et al.  Software process: a roadmap , 2000, ICSE '00.

[18]  Dennis Heimbigner,et al.  Language constructs for managing change in process-centered environments , 1990, SDE.

[19]  Dongxi Liu,et al.  Towards automatic model synchronization from model transformations , 2007, ASE.