Models in Conflict - A Semantically Enhanced Version Control System for Models

For a widespread success of the model-driven paradigm, appropriate tools such as "Version Control Systems" (VCS) allowing for consistency maintenance between concurrently edited model versions are required to adequately support a model-based development process. Initial attempts for graph-based versioning of model artifacts are either tightly coupled to the modeling environment, not flexible with respect to the used modeling language or cannot interpret the model's semantics. On basis of those characteristics, the goal of the outlined thesis presented in this paper is to provide mechanisms to detect conflicting modifications between parallel edited model versions more accurately. By reducing falsely indicated conflicts and by finding additional semantic conflicts, the resolution process can be simplified by means of appropriate techniques for comparison, conflict detection, conflict resolution and merge.

[1]  Kenneth Slonneger,et al.  Formal syntax and semantics of programming languages - a laboratory based approach , 1995 .

[2]  Ivan Porres,et al.  Version Control of Software Models , 2005 .

[3]  Antonio Cicchetti,et al.  Weaving models in conflict detection specifications , 2007, SAC '07.

[4]  Bernhard Rumpe,et al.  Meaningful modeling: what's the semantics of "semantics"? , 2004, Computer.

[5]  Dewayne E. Perry,et al.  Parallel changes: detecting semantic interferences , 2005, 29th Annual International Computer Software and Applications Conference (COMPSAC'05).

[6]  Alessandro Orso,et al.  Eclipse technology eXchange (ETX) workshop , 2006, OOPSLA '06.

[7]  Tien N. Nguyen,et al.  A Novel Structure-Oriented Difference Approach for Software Artifacts , 2006, 30th Annual International Computer Software and Applications Conference (COMPSAC'06).

[8]  Cláudia Maria Lima Werner,et al.  Odyssey-VCS: a flexible version control system for UML model elements , 2005, SCM '05.

[9]  Udo Kelter,et al.  Differences between versions of UML diagrams , 2003, ESEC/FSE-11.

[10]  Motoshi Saeki,et al.  Generative technique of version control systems for software diagrams , 2005, 21st IEEE International Conference on Software Maintenance (ICSM'05).

[11]  Bernhard Westfechtel,et al.  Structure-oriented merging of revisions of software documents , 1991, SCM '91.

[12]  Ramez Elmasri,et al.  Advances in Conceptual Modeling - Theory and Practice, ER 2006 Workshops BP-UML, CoMoGIS, COSS, ECDM, OIS, QoIS, SemWAT, Tucson, AZ, USA, November 6-9, 2006, Proceedings , 2006, ER.

[13]  Jean Bézivin,et al.  ATL : Eclipse Support for Model Transformation , 2006 .

[14]  Harald C. Gall,et al.  Consistency of business process models and object life cycles , 2006, MoDELS'06.

[15]  Tom Mens,et al.  A State-of-the-Art Survey on Software Merging , 2002, IEEE Trans. Software Eng..

[16]  Sarfraz Khurshid,et al.  Evaluation of Semantic Interference Detection in Parallel Changes: an Exploratory Experiment , 2007, 2007 IEEE International Conference on Software Maintenance.

[17]  Jacky Estublier,et al.  System Configuration Management , 2003, Lecture Notes in Computer Science.

[18]  Lars Bendix,et al.  CoEd - A Tool for Versioning of Hierarchical Documents , 1998, SCM.

[19]  John F. Roddick,et al.  Reduce, Reuse, Recycle: Practical Approaches to Schema Integration, Evolution and Versioning , 2006, ER.