Stephen C. Barrett
ABSTRACT
Mirador is a model merging tool that supports multiple model comparison strategies for the purpose of matching model elements. Capable of running either standalone, or as a Fujaba plug-in, Mirador leverages the CoObRA software versioning package to obtain model change information.
The bringing together of various comparison strategies allows Mirador to solicit measures of element similarity from one or more strategies, as appropriate for a given matching context. As an addition to this strategy mix we suggest one based on model evolution, and illustrate its potential for use with some simple examples.
Mirador performs operation-based merging, premised on the notion of a plane of change operations, which we have extended into the third dimension to enable the detection of cross-matching strategy conflicts. We also propose breaking this monolithic change plane up into a series of local change planes to facilitate effective, conflict free merging.
- S. Barrett, G. Butler, and P. Chalin. Techniques for use case modeling in Fujaba. In ICCET '10: 2nd Internat. Conf. on Computer Engineering and Technology, Apr 2010.Google Scholar
Cross Ref
- S. Barrett, P. Chalin, and G. Butler. Model merging falls short of software engineering needs. In MoDSE '08: Internat. Workshop on Model-Driven Software Evolution, Apr 2008.Google Scholar
- S. Barrett, D. Sinnig, P. Chalin, and G. Butler. Merging of use case models: Semantic foundations. In TASE '09: Internat. Sympos. on Theoretical Aspects of Software Engineering, Jul 2009. Google ScholarDigital Library
- G. Brunet, M. Chechik, S. Easterbrook, S. Nejati, N. Niu, and M. Sabetzadeh. A manifesto for model merging. In GaMMa '06: Internat. Workshop on Global Integrated Model Management, pages 5--12, New York, NY, USA, May 2006. ACM. Google ScholarDigital Library
- G. Brunet, M. Chechik, and S. Uchitel. Properties of behavioural model merging. In FM '06: Internat. Conf. on Formal Methods, Berlin, Germany, Aug 2006. Springer. Google ScholarDigital Library
- E. Compare. Website of the EMF Compare subproject of the Eclipse EMFT project, May 2010. http://www.eclipse.org/modeling/emft/?project=compare#compare.Google Scholar
- H. Ehrig, K. Ehrig, U. Prange, and G. Taentzer. Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science). Springer-Verlag New York, Inc., Secaucus, NJ, USA, 2006. Google ScholarDigital Library
- Fujaba, Nov 2009. http://www.fujaba.de/home.html.Google Scholar
- Fujaba4Eclipse, Nov 2009. http://www.fujaba.de/projects/fujaba4eclipse.html.Google Scholar
- A.-M. Kermarrec, A. Rowstron, M. Shapiro, and P. Druschel. The IceCube approach to the reconciliation of divergent replicas. In PODC '01: 20th Annual ACM Sympos. on Principles of Distributed Computing, pages 210--218, New York, NY, USA, Aug 2001. ACM. Google ScholarDigital Library
- M. Koegel, J. Helming, and S. Seyboth. Operation-based conflict detection and resolution. In CVSM '09: Workshop on Comparison and Versioning of Software Models, pages 43--48, Los Alamitos, CA, USA, May 2009. IEEE Computer Society. Google ScholarDigital Library
- D. S. Kolovos. Establishing correspondences between models with the epsilon comparison language. In ECMDA-FA '09: 5th European Conf. on Model Driven Architecture - Foundations and Applications, pages 146--157, Berlin, Germany, Jun 2009. Springer-Verlag. Google ScholarDigital Library
- D. S. Kolovos, R. F. Paige, and F. A. Polack. Model comparison: a foundation for model composition and model transformation testing. In GaMMa '06: Internat. Workshop on Global Integrated Model Management, pages 13--20, New York, NY, USA, May 2006. ACM. Google ScholarDigital Library
- D. S. Kolovos, L. Rose, R. F. Paige, and F. A. Polack. The Epsilon Book. Website of the Epsilon subproject of the Eclipse GMT project, 2010. http://www.eclipse.org/gmt/epsilon/doc/book.Google Scholar
- E. Lippe and N. van Oosterom. Operation-based merging. ACM SIGSOFT Softw. Eng. Notes, 17(5):78--87, Dec 1992. Google ScholarDigital Library
- T. Mens. A state-of-the-art survey on software merging. IEEE Trans. on Softw. Eng., 28(5):449--462, May 2002. Google ScholarDigital Library
- B. C. Pierce and J. Vouillon. What's in Unison? A formal specification and reference implementation of a file synchronizer. Technical Report MS-CIS-03-36, University of Pennsylvania, Philadelphia, PA, USA, Feb 2004. http://www.cis.upenn.edu/~bcpierce/papers/unisonspec.pdf.Google Scholar
- R. A. Pottinger and P. A. Bernstein. Merging models based on given correspondences. In VLDB '03: 29th Internat. Conf. on Very Large Data Bases, pages 862--873. VLDB Endowment, Sep 2003. Google ScholarDigital Library
- D. C. Schmidt. Guest editor's introduction: Model-driven engineering. IEEE Comput., 39(2):25--31, Feb 2006. Google ScholarDigital Library
- M. Schmidt, S. Wenzel, T. Kehrer, and U. Kelter. History-based merging of models. In CVSM '09: Internat. Workshop on Comparison and Versioning of Software Models, pages 13--18, Los Alamitos, CA, USA, May 2009. IEEE Computer Society. Google ScholarDigital Library
- C. Schneider, A. Zündorf, and J. Niere. CoObRA - a small step for development tools to collaborative environments. IEEE Seminar Digests, 2004(902):21--28, 2004.Google Scholar
- B. Selic. The pragmatics of model-driven development. IEEE Softw., 20(5):19--25, Sep 2003. Google ScholarDigital Library
- F. Taibi, F. M. Abbou, and M. J. Abbou. A matching approach for object-oriented formal specifications. Journal of Object Technology, 7(8):139--153, Dec 2008. http://www.jot.fm/issues/issue_2008_11/article4.Google ScholarCross Ref
- C. Treude, S. Berlik, S. Wenzel, and U. Kelter. Difference computation of large models. In ESEC-FSE '07: 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, pages 295--304, New York, NY, USA, Sep 2007. ACM. Google ScholarDigital Library
- UML2. Website of the UML2 subproject of the Eclipse MDT project, May 2010. http://www.fujaba.de/home.html.Google Scholar
- S. Wenzel and U. Kelter. Analyzing model evolution. In ICSE '08: Internat. Conf. on Software Engineering, pages 831--834, New York, NY, USA, May 2008. ACM. Google ScholarDigital Library
- Z. Xing and E. Stroulia. UMLDiff: an algorithm for object-oriented design differencing. In ASE '05: 20th IEEE/ACM Internat. Conf. on Automated Software Engineering, pages 54--65, New York, NY, USA, Nov 2005. ACM. Google ScholarDigital Library
Index Terms
- Mirador: a synthesis of model matching strategies
Recommendations
Merging of Use Case Models: Semantic Foundations
TASE '09: Proceedings of the 2009 Third IEEE International Symposium on Theoretical Aspects of Software EngineeringUse case models are the artifact of choice for capturing functional requirements. This typically collaborative activity makes merging a necessity. Use cases however, are often neglected when it comes to model merging, since they are commonly treated as ...
Table-driven detection and resolution of operation-based merge conflicts with mirador
ECMFA'11: Proceedings of the 7th European conference on Modelling foundations and applicationsDecision tables are a useful technique for implementing complex decision logic, and a concise communication device. Model merging is a process that can greatly benefit from the flexibility of control, rapidity of change, and understandability of purpose ...
UML2Merge: a UML extension for model merging
Model merging plays a chief role in many software engineering activities, e.g. evolving Unified Modelling Language (UML) models for adding new features. Software developers may evolve UML models using merge relationships. However, given the growing ...
Comments