Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top
Software and Systems Modeling
Published in: Software and Systems Modeling 5/2022

07-01-2022 | Regular Paper

DSMCompare: domain-specific model differencing for graphical domain-specific languages

Authors: Manouchehr Zadahmad, Eugene Syriani, Omar Alam, Esther Guerra, Juan de Lara

Published in: Software and Systems Modeling | Issue 5/2022

Log in

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

During the development of a software project, different developers collaborate on creating and changing models. These models evolve and need to be versioned. Over the past several years, progress has been made in offering dedicated support for model versioning that improves on what is being supported by text-based version control systems. However, there is still need to understand model differences in terms of the semantics of the modeling language, and to visualize the changes using its concrete syntax. To address these issues, we propose a comprehensive approach—called DSMCompare—that considers both the abstract and the concrete syntax of a domain-specific language (DSL) when expressing model differences, and which supports defining domain-specific semantics for specific difference patterns. The approach is based on the automatic extension of the DSL to enable the representation of changes and on the automatic adaptation of its graphical concrete syntax to visualize the differences. In addition, we allow for the definition of semantic differencing rules to capture recurrent domain-specific difference patterns. Since these rules can be conflicting with each other, we introduce algorithms for conflict resolution and rule scheduling. To demonstrate the applicability and effectiveness of our approach, we report on evaluations based on synthetic models and on version histories of models developed by third parties.
previous article Recommendations for visual feedback about problems within BPMN process models

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

inform now
Footnotes
2
In this paper, we use “domain-specific model semantics” to refer to the meaning that a human assigns to a model when looking at it, not to the execution semantics of the model.
 
3
This is a transformation that takes as input a model and produces a different output model. This contrasts with inplace transformations, which are applied directly on the input model.
 
7
Since each rule creates a single semantic difference object, this number is the same as the number of matches.
 
Literature
1.
Kelly, S., Tolvanen, J.-P.: Domain-specific modeling - enabling full code generation. Wiley, NY (2008)CrossRef
2.
Schmidt, D.C.: Guest editor’s introduction: Model-driven engineering. Computer 39(2), 25–31 (2006)CrossRef
3.
Paige, R.F., Matragkas, N.D., Rose, L.M.: Evolving models in model-driven engineering: State-of-the-art and future challenges. J. Syst. Softw. 111, 272–280 (2016)CrossRef
4.
Brosch, P., Kappel, G., Langer, P., Seidl, M., Wieland, K., Wimmer, M.: An introduction to model versioning. In SFM, volume 7320 of LNCS, pages 336–398. Springer, (2012)
5.
6.
Altmanninger, K., Kappel, G., Kusel, A., Retschitzegger, W., Seidl, M., Schwinger, W., Wimmer, M.: AMOR – towards adaptable model versioning. In Workshop on Model Co-Evolution and Consistency Management, (2008)
7.
8.
Kappel, G., Kapsammer, E., Kramler, G., Reiter, T., Retschitzegger, W., Schwinger, W.: Towards a semantic infrastructure supporting model-based tool integration. In International Workshop on Global Integrated Model Management, pages 43–46. ACM (2006)
9.
Koegel, M., Helming, J.: EMFStore: a model repository for EMF models. In International Conference on Software Engineering, volume 2, pages 307–308. ACM (2010)
10.
11.
Brosch, P., Seidl, M., Wieland, K., Wimmer, M.: We can work it out: Collaborative conflict resolution in model versioning. In European Conference on Computer-Supported Cooperative Work, pages 207–214. Springer (2009)
12.
Schwägerl, F., Uhrig, S., Westfechtel, B.: A graph-based algorithm for three-way merging of ordered collections in EMF models. Sci. Comput. Program. 113, 51–81 (2015)CrossRef
13.
14.
Zadahmad, M., Syriani, E., Alam, O., Guerra, E., de Lara, J.: Domain-specific model differencing in visual concrete syntax. In Software Language Engineering, pages 100–112. ACM (2019)
15.
Kehrer, T., Kelter, U., Taentzer, G.: A rule-based approach to the semantic lifting of model differences in the context of model versioning. In Automated Software Engineering, pages 163–172. IEEE Computer Society (2011)
16.
Cicchetti, A., Ruscio, D.D., Pierantonio, A.: A metamodel independent approach to difference representation. J. Object Technol. 6(9), 165–185 (2007)CrossRef
17.
Syriani, E., Vangheluwe, H.: A modular timed graph transformation language for simulation-based design. Softw. Syst. Model. 12(2), 387–414 (2013)CrossRef
18.
19.
Kelly, S., Lyytinen, K., Rossi, M.: MetaEdit+ A fully configurable multi-user and multi-tool CASE and CAME environment. In Conference on Advanced Information Systems Engineering, volume 1080 of LNCS, pages 1–21. Springer (1996)
20.
Syriani, E., Vangheluwe, H., Mannadiar, R., Hansen, C., Van Mierlo, S., Ergin, H.: AToMPM: A web-based modeling environment. In MODELS’13 Invited Talks, Demonstration Session, Poster Session, and ACM Student Research Competition, volume 1115, pages 21–25. CEUR-WS.org (2013)
21.
22.
Lin, Y., Gray, J., Jouault, F.: DSMDiff: a differentiation tool for domain-specific models. Eur. J. Inf. Syst. 16(4), 349–361 (2007)CrossRef
23.
Brun, C., Pierantonio, A.: Model differences in the eclipse modelling framework. UPGRADE, Eur. J. Informatics Prof. 9(2), 29–34 (2008)
24.
Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of algebraic graph transformation. Monographs in Theoretical Computer Science. An EATCS Series. Springer (2006)
25.
Kühne, T., Mezei, G., Syriani, E., Vangheluwe, H., Wimmer, M.: Explicit transformation modeling. In MODELS 2009 Workshops, volume 6002 of LNCS, pages 240–255. Springer (2009)
26.
Arendt, T., Biermann, E., Jurack, S., Krause, C., Taentzer, G.: Henshin: Advanced concepts and tools for in-place EMF model transformations. In Model Driven Engineering Languages and Systems, volume 6394 of LNCS, pages 121–135. Springer, (2010)
27.
Strüber, D., Born, K., Gill, K. D., Groner, R., Kehrer, T., Ohrndorf, M., Tichy, M.: Henshin: A usability-focused framework for emf model transformation development. In International Conference on Graph Transformation, volume 10373 of LNCS, pages 196–208. Springer (2017)
28.
Biermann, E., Ermel, C., Taentzer, G.: Formal foundation of consistent emf model transformations by algebraic graph transformation. Softw. Syst. Model. 11(2), 227–250 (2012)CrossRef
29.
de Lara, J., Bardohl, R., Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Attributed graph transformation with node type inheritance. Theoret. Comput. Sci. 376(3), 139–163 (2007)MathSciNetCrossRef
30.
Lambers, L., Ehrig, H., Orejas, F.: Conflict detection for graph transformation with negative application conditions. In International Conference on Graph Transformation, volume 4178 of LNCS, pages 61–76. Springer (2006)
31.
Lambers, L., Strüber, D., Taentzer, G., Born, K., Huebert, J.: Multi-granular conflict and dependency analysis in software engineering based on graph transformation. In International Conference on Software Engineering, pages 716–727. ACM (2018)
32.
Al-Herz, A., Pothen, A.: A 2/3-approximation algorithm for vertex-weighted matching. Discrete Applied Mathematics, (2019)
33.
34.
Herrmannsdoerfer, M., Ratiu, D., Wachsmuth, G.: Language evolution in practice: The history of GMF. In Software Language Engineering, volume 5969 of LNCS, pages 3–22. Springer (2009)
35.
Tanhaei, M., Habibi, J., Mirian-Hosseinabadi, S.-H.: Automating feature model refactoring: A model transformation approach. Inf. Softw. Technol. 80, 138–157 (2016)CrossRef
36.
Stephan, M., Cordy, J. R.: A survey of model comparison approaches and applications. In Model-Driven Engineering and Software Development, 265–277. SciTePress (2013)
37.
Kolovos, D., Di Ruscio, D., Pierantonio, A., Paige R.: Different models for model matching: An analysis of approaches to support model differencing. In Workshop on Comparison and Versioning of Software Models, pages 1–6. IEEE (2009)
38.
Langer, P., Wimmer, M., Gray, J., Kappel, G., Vallecillo, A.: Language-specific model versioning based on signifiers. Journal of Object Technology 11(3), 4–1 (2012)CrossRef
39.
Xing, Z., Stroulia, E.: UMLDiff: an algorithm for object-oriented design differencing. In Automated software engineering, pages 54–65 (2005)
40.
Maoz, S., Ringert, J. O., Rumpe, B.: A manifesto for semantic model differencing. In MODELS 2010 Workshops, volume 6627 of LNCS, pages 194–203. Springer (2011)
41.
Maoz, S., Ringert, J.O.: A framework for relating syntactic and semantic model differences. Softw. Syst. Model. 17(3), 753–777 (2018)CrossRef
42.
Holthusen, S., Wille, D., Legat, C., Beddig, S., Schaefer, I., Vogel-Heuser, B.: Family model mining for function block diagrams in automation software. In International Software Product Line Conference: Companion Volume for Workshops, Demonstrations and Tools, volume 2, pages 36–43. ACM (2014)
43.
Reuling, D., Lochau, M., Kelter, U.: From imprecise n-way model matching to precise n-way model merging. J. Object Technol. 18(2), 8:1-20 (2019)CrossRef
44.
García, J., Diaz, O., Azanza, M.: Model transformation co-evolution: A semi-automatic approach. In Software Language Engineering, volume 7745 of LNCS, pages 144–163. Springer (2013)
45.
Vermolen, S. D., Wachsmuth, G., Visser, E.: Reconstructing complex metamodel evolution. In Software Language Enginerring, volume 6940 of LNCS, pages 201–221. Springer (2012)
46.
Gleicher, M.: Considerations for visualizing comparison. Trans. Vis. Comput. Gr. 24(1), 413–423 (2018)CrossRef
47.
Brosch, P., Seidl, M., Wimmer, M., Kappel, G.: Conflict visualization for evolving UML models. J. Object Technol. 11(3), 2:1-30 (2012)CrossRef
48.
Schipper, A., Fuhrmann, H., von Hanxleden, R.: Visual comparison of graphical models. In International Conference on Engineering of Complex Computer Systems, pages 335–340. IEEE (2009)
49.
Mehra, A., Grundy, J. C., Hosking J. G.: A generic approach to supporting diagram differencing and merging for collaborative design. In Automated Software Engineering, pages 204–213. ACM (2005)
50.
Ohst, D., Welle, M., Kelter, U.: Differences between versions of UML diagrams. In Proceedings of the 9th European software engineering conference held jointly with 11th international symposium on Foundations of software engineering, pages 227–236. ACM (2003)
51.
van den Brand, M., Protić, Z., Verhoeff, T.: Generic tool for visualization of model differences. In International Workshop on Model Comparison in Practice, pages 66–75. ACM (2010)
52.
Wenzel, S.: Scalable visualization of model differences. In Workshop on Comparison and versioning of software models, pages 41–46. ACM (2008)
53.
Altmanninger, K., Seidl, M., Wimmer, M.: A survey on model versioning approaches. Int. J. Web Inf. Syst. 5(3), 271–304 (2009)CrossRef
54.
Brosch, P., Seidl, M., Kappel, G.: A recommender for conflict resolution support in optimistic model versioning. In SPLASH/OOPSLA Companion, pages 43–50. ACM (2010)
55.
Espinazo-Pagán, J., García-Molina, J.: A homogeneous repository for collaborative mde. In International Workshop on Model Comparison in Practice, pages 56–65. ACM (2010)
56.
Espinazo-Pagán, J., Cuadrado, J. S., Molina, J. G.: Morsa: A scalable approach for persisting and accessing large models. In Model Driven Engineering Languages and Systems, volume 6981 of LNCS, pages 77–92. Springer (2011)
57.
58.
59.
60.
61.
62.
63.
Akdur, D., Garousi, V., Demirörs, O.: A survey on modeling and model-driven engineering practices in the embedded software industry. J. Syst. Architect. 91, 62–82 (2018)CrossRef
64.
Mohagheghi, P., Gilani, W., Stefanescu, A., Fernandez, M.A., Nordmoen, B., Fritzsche, M.: Where does model-driven engineering help? experiences from three industrial cases. Softw. Syst. Model. 12(3), 619–639 (2013)CrossRef
65.
Störrle, H.: Towards clone detection in uml domain models. In European Conference on Software Architecture: Companion Volume, pages 285–293. ACM (2010)
66.
Störrle, H.: Cost-effective evolution of research prototypes into end-user tools. Sci. Comput. Program. 134, 47–60 (2017)CrossRef
67.
Babur, Ö., Cleophas, L., van den Brand, M.: Metamodel clone detection with SAMOS. J. Comput. Lang. 51, 57–74 (2019)CrossRef
68.
Basciani, F., Rocco, J., Di Ruscio, D., Salle, A., Iovino, L., Pierantonio, A.: MDEForge: an extensible web-based modeling platform. In International Workshop on Model-Driven Engineering on and for the Cloud, volume 1242, pages 66–75. CEUR-WS.org (2014)
Metadata
Title
DSMCompare: domain-specific model differencing for graphical domain-specific languages
Authors
Manouchehr Zadahmad
Eugene Syriani
Omar Alam
Esther Guerra
Juan de Lara
Publication date
07-01-2022
Publisher
Springer Berlin Heidelberg
Published in
Software and Systems Modeling / Issue 5/2022
Print ISSN: 1619-1366
Electronic ISSN: 1619-1374
DOI
https://doi.org/10.1007/s10270-021-00971-1

Other articles of this Issue 5/2022

Software and Systems Modeling 5/2022 Go to the issue

Special Section Paper

Deep specification and proof preservation for the CoqTL transformation language

Regular Paper

A search-based approach for detecting circular dependency bad smell in goal-oriented models

Guest Editorial

Guest editorial for the special section on MODELS 2020

Special Section Paper

PARMOREL: a framework for customizable model repair

Regular Paper

Recommendations for visual feedback about problems within BPMN process models

Editorial

Modeling of, for, and with digital twins

Premium Partner

    Image Credits