A Survey of Model Comparison Strategies and Techniques in Model Driven Engineering

This Survey paper shows the recent state of model comparison as it’s applies to Model Driven engineering. In Model Driven Engineering to calculate the difference between the models is a very important and challenging task. There are number of tasks involved in Model differencing that firstly starts with identifying and matching the elements of the model. In this paper we discuss how model matching is accomplished, the strategies, techniques and the types of the model. In this paper we also discuss the future direction. We find out that many of the latest model comparison strategies are geared near enabling Meta model and similarity based matching. Therefore model versioning is the most dominant application of the model comparison. Recently to work on comparison for versioning has begun to deteriorate, giving way to different applications. Ultimately there is wide change among the tools in the measure of client exertion needed to perform model comparisons, as some require more push to encourage more sweeping statement and expressive force. Full Text: PDF DOI: http://dx.doi.org/10.11591/ijset.v1i3.4579

[1]  Jennifer Widom,et al.  Change detection in hierarchically structured information , 1996, SIGMOD '96.

[2]  Bernhard Schätz,et al.  Semantic clone detection for model-based development of embedded systems , 2011, MODELS'11.

[3]  Chisu Wu,et al.  An efficient version model of software diagrams , 1998, Proceedings 1998 Asia Pacific Software Engineering Conference (Cat. No.98EX240).

[4]  Zhiyi Ma,et al.  Detecting Duplications in Sequence Diagrams Based on Suffix Trees , 2006, 2006 13th Asia Pacific Software Engineering Conference (APSEC'06).

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

[6]  Diego Latella,et al.  Automatic Verification of a Behavioural Subset of UML Statechart Diagrams Using the SPIN Model-checker , 1999, Formal Aspects of Computing.

[7]  Bernhard Schätz,et al.  Clone detection in automotive model-based development , 2008, 2008 ACM/IEEE 30th International Conference on Software Engineering.

[8]  Christoph Treude,et al.  Difference computation of large models , 2007, ESEC-FSE '07.

[9]  James R. Cordy,et al.  Models are code too: Near-miss clone detection for Simulink models , 2012, 2012 28th IEEE International Conference on Software Maintenance (ICSM).

[10]  Dimitrios S. Kolovos,et al.  Establishing Correspondences between Models with the Epsilon Comparison Language , 2009, ECMDA-FA.

[11]  Bernhard Westfechtel,et al.  Differencing and Merging of Software Diagrams - State of the Art and Challenges , 2007, ICSOFT.

[12]  Richard F. Paige,et al.  Different models for model matching: An analysis of approaches to support model differencing , 2009, 2009 ICSE Workshop on Comparison and Versioning of Software Models.

[13]  Bernhard Rumpe,et al.  A Manifesto for Semantic Model Differencing , 2010, MoDELS.

[14]  Richard F. Paige,et al.  Model comparison: a foundation for model composition and model transformation testing , 2006, GaMMa '06.

[15]  Marsha Chechik,et al.  Combining Related Products into Product Lines , 2012, FASE.

[16]  Remco M. Dijkman,et al.  Similarity of business process models: Metrics and evaluation , 2011, Inf. Syst..

[17]  Manuel Wimmer,et al.  A survey on model versioning approaches , 2009, Int. J. Web Inf. Syst..

[18]  Diego Calvanese,et al.  Reasoning on UML class diagrams , 2005, Artif. Intell..

[19]  Stéphane S. Somé,et al.  Assessing a Model-Driven Web-Application Engineering Approach , 2014 .

[20]  Cédric Brun Obeo,et al.  MODEL DIFFERENCES IN THE ECLIPSE MODELING FRAMEWORK , 2008 .

[21]  Sasu Tarkoma,et al.  Fast and simple XML tree differencing by sequence alignment , 2006, DocEng '06.

[22]  Matt Zandstra,et al.  Version Control with Subversion , 2010 .

[23]  Rainer Koschke,et al.  Survey of Research on Software Clones , 2006, Duplication, Redundancy, and Similarity in Software.

[24]  John C. Grundy,et al.  A generic approach to supporting diagram differencing and merging for collaborative design , 2005, ASE '05.

[25]  Tom Verhoeff,et al.  Generic tool for visualization of model differences , 2010, IWMCP '10.

[26]  Udo Kelter,et al.  A Generic Difference Algorithm for UML Models , 2005, Software Engineering.

[27]  Jeffrey G. Gray,et al.  DSMDiff: a differentiation tool for domain-specific models , 2007 .

[28]  James C. Spohrer,et al.  A research manifesto for services science , 2006, CACM.

[29]  Petri Selonen,et al.  Metamodel-Based Inference of Inter-Model Correspondence , 2007, 11th European Conference on Software Maintenance and Reengineering (CSMR'07).

[30]  Xavier Crégut,et al.  The TOPCASED project : a toolkit in open source for critical aeronautic systems design , 2006 .

[31]  Gerti Kappel,et al.  AMOR – Towards Adaptable Model Versioning , 2008 .

[32]  Tzilla Elrad,et al.  Aspect-Oriented Modeling: Bridging the Gap between Implementation and Design , 2002, GPCE.

[33]  Mehrdad Sabetzadeh,et al.  Matching and Merging of Statecharts Specifications , 2007, 29th International Conference on Software Engineering (ICSE'07).

[34]  Bernhard Rumpe,et al.  CD2Alloy: class diagrams analysis using alloy revisited , 2011, MODELS'11.

[35]  Martin Girschick.  Difference Detection and Visualization in UML Class Diagrams , 2006 .

[36]  Perdita Stevens,et al.  A simple game-theoretic approach to checkonly QVT Relations , 2009, Software & Systems Modeling.

[37]  James R. Cordy,et al.  Towards qualitative comparison of Simulink model clone detection approaches , 2012, 2012 6th International Workshop on Software Clones (IWSC).

[38]  Eleni Stroulia,et al.  UMLDiff: an algorithm for object-oriented design differencing , 2005, ASE.

[39]  Ivan Porres,et al.  Difference and Union of Models , 2003, UML.

[40]  F. Fleurey,et al.  Model Composition-A Signature-Based Approach , 2005 .

[41]  Chanchal Kumar Roy,et al.  Comparison and evaluation of code clone detection techniques and tools: A qualitative approach , 2009, Sci. Comput. Program..

[42]  Johan Lilius,et al.  Formalising UML State Machines for Model Checking , 1999, UML.

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

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

[45]  Narciso Martí-Oliet,et al.  Maude: specification and programming in rewriting logic , 2002, Theor. Comput. Sci..

[46]  Hoan Anh Nguyen,et al.  Complete and accurate clone detection in graph-based models , 2009, 2009 IEEE 31st International Conference on Software Engineering.

[47]  Ping Chen,et al.  Differencing and Merging within an Evolving Product Line Architecture , 2003, PFE.

[48]  Martín Soto.  Delta-P: Model Comparison Using Semantic Web Standards , 2007, Softwaretechnik-Trends.

[49]  Bernhard Schätz,et al.  Model clone detection in practice , 2010, IWSC '10.

[50]  Jürgen Münch,et al.  Process Model Difference Analysis for Supporting Process Evolution , 2006, EuroSPI.

[51]  Greg Butler,et al.  Mirador: a synthesis of model matching strategies , 2010, IWMCP '10.

[52]  Antonio Cicchetti,et al.  Managing the evolution of data-intensive Web applications by model-driven techniques , 2011, Software & Systems Modeling.

[53]  Paulo Borba,et al.  An Abstract Equivalence Notion for Object Models , 2005, Electron. Notes Theor. Comput. Sci..

[54]  Jessica Chen,et al.  Translation from Adapted UML to Promela for CORBA-Based Applications , 2004, SPIN.