Skip to main content

Representing and Operating with Model Differences

  • Conference paper

Part of the book series: Lecture Notes in Business Information Processing ((LNBIP,volume 11))

Abstract

Models and metamodels play a cornerstone role in Model-Driven Software Development (MDSD). Models conform to metamodels, which usually specify domain-specific languages that allow to represent the various facets of a system in terms of models. This paper discusses the problem of calculating differences between models conforming to arbitrary metamodels, something essential in any MDSD environment for dealing with the management of changes and evolution of software models. We present a metamodel for representing the differences as models, too, following the MDSD “everything is a model” principle. The Difference Metamodel, together with the difference and other related operations (do, undo and composition) presented here have been specified in Maude and integrated in an Eclipse-developed environment.

This is a preview of subscription content, log in via an institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Steel, J., Jézéquel, J.M.: Model typing for improving reuse in model-driven engineering. In: Briand, L.C., Williams, C. (eds.) MoDELS 2005. LNCS, vol. 3713, pp. 84–96. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  2. Romero, J.R., Rivera, J.E., Durán, F., Vallecillo, A.: Formal and tool support for model driven engineering with maude. Journal of Object Technology 6, 187–207 (2007)

    Google Scholar 

  3. Bernstein, P.: Applying model management to classical metadata problems. In: Proc. of Innovative Database Research, pp. 209–220 (2003)

    Google Scholar 

  4. Cicchetti, A., di Ruscio, D., Pierantonio, A.: A domain-specific modeling language for model differences. Technical report, Università di L’ Aquila (2006)

    Google Scholar 

  5. Alanen, M., Porres, I.: Difference and union of models. In: Stevens, P., Whittle, J., Booch, G. (eds.) UML 2003. LNCS, vol. 2863, pp. 2–17. Springer, Heidelberg (2003)

    Google Scholar 

  6. Mens, T.: A state-of-the-art survey on software merging. IEEE Trans. Softw. Eng. 28, 449–462 (2002)

    Article  Google Scholar 

  7. Ohst, D., Welle, M., Kelter, U.: Differences between versions of UML diagrams. In: Proc. of ESEC/FSE-11: Proceedings of the 9th European software engineering conference, pp. 227–236. ACM Press, Helsinki, Finland (2003)

    Google Scholar 

  8. Brun, C., Pierantonio, A.: Model differences in the eclipse modeling framework. Upgrade, Special Issue on Model-Driven Software Development IX (2008)

    Google Scholar 

  9. Ohst, D., Welle, M., Kelter, U.: Difference tools for analysis and design documents. In: ICSM 2003: Proceedings of the International Conference on Software Maintenance, p. 13. IEEE Computer Society, Washington (2003)

    Chapter  Google Scholar 

  10. Xing, Z., Stroulia, E.: Umldiff: an algorithm for object-oriented design differencing. In: ASE 2005: Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering, pp. 54–65. ACM Press (2005)

    Google Scholar 

  11. Rivera, J.E., Durán, F., Vallecillo, A., Romero, J.R.: Maudeling: Herramienta de gestión de modelos usando Maude. In: JISBD 2007: Actas de XII Jornadas de Ingeniería del Software y Bases de Datos, Zaragoza, Spain (2007)

    Google Scholar 

  12. Clavel, M., Durán, F., Eker, S., Lincoln, P., Martí-Oliet, N., Meseguer, J., Quesada, J.: Maude: specification and programming in rewriting logic. Theoretical Computer Science 285, 187–243 (2002)

    Article  MathSciNet  MATH  Google Scholar 

  13. Clavel, M., Durán, F., Eker, S., Lincoln, P., Martí-Oliet, N., Meseguer, J., Talcott, C.: Maude 2.0 Manual (2003), http://maude.cs.uiuc.edu

  14. Martí-Oliet, N., Meseguer, J.: Rewriting logic: roadmap and bibliography. Theoretical Computer Science 285, 121–154 (2002)

    Article  MathSciNet  MATH  Google Scholar 

  15. Clavel, M., Durán, F., Eker, S., Lincoln, P., Martí-Oliet, N., Meseguer, J., Talcott, C.: All About Maude - A High-Performance Logical Framework. LNCS, vol. 4350. Springer, Heidelberg (2007)

    MATH  Google Scholar 

  16. Toulmé, A.: The EMF compare utility (2007), http://www.eclipse.org/modeling/emft/

  17. Lin, Y., Gray, J., Jouault, F.: DSMDiff: A differentiation tool for domain-specific models. European Journal of Information Systems 16, 349–361 (2007)

    Article  Google Scholar 

  18. Levenshtein, V.I.: Binary codes capable of correcting deletions, insertions, and reversals. Soviet Physics Doklady 10, 707–710 (1966)

    MathSciNet  Google Scholar 

  19. Rivera, J.E.: Maudeling (2008), http://atenea.lcc.uma.es/index.php/Portada/Resources/Maudeling

  20. Cicchetti, A., Ruscio, D.D., Pierantonio, A.: A metamodel independent approach to difference representation. Journal of Object Technology 6, 165–185 (2007)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Richard F. Paige Bertrand Meyer

Rights and permissions

Reprints and permissions

Copyright information

© 2008 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Rivera, J.E., Vallecillo, A. (2008). Representing and Operating with Model Differences. In: Paige, R.F., Meyer, B. (eds) Objects, Components, Models and Patterns. TOOLS EUROPE 2008. Lecture Notes in Business Information Processing, vol 11. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-69824-1_9

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-69824-1_9

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-69823-4

  • Online ISBN: 978-3-540-69824-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics