Inter-modelling: From Theory to Practice

  • Esther Guerra
  • Juan de Lara
  • Dimitrios S. Kolovos
  • Richard F. Paige
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6394)


We define inter-modelling as the activity of building models that describe how modelling languages should be related. This includes many common activities in Model Driven Engineering, like the specification of model-to-model transformations, the definition of model matching and model traceability constraints, the development of inter-model consistency maintainers and exogenous model management operators.

Recently, we proposed a formal approach to specify the allowed and forbidden relations between two modelling languages by means of bidirectional declarative patterns. Such specifications were used to generate graph rewriting rules able to enforce the relations in (forward and backward) model-to-model transformation scenarios. In this paper we extend the usage of patterns for two further inter-modelling scenarios – model matching and model traceability – and report on an EMF-based tool implementing them. The tool allows a high-level analysis of specifications based on the theory developed so far, as well as manipulation of traces by compilation of patterns into the Epsilon Object Language.


Design Pattern Model Match Main Constraint Model Traceability Triple Pattern 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    AMW: ATLAS Model Weaver,
  2. 2.
    Bernstein, P.A., Melnik, S.: Model management 2.0: manipulating richer mappings. In: SIGMOD, pp. 1–12. ACM, New York (2007)Google Scholar
  3. 3.
    Drivalos, N., Kolovos, D., Paige, R., Fernandes, K.: Engineering a dsl for software traceability. In: Gašević, D., Lämmel, R., Van Wyk, E. (eds.) SLE 2008. LNCS, vol. 5452, pp. 151–167. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  4. 4.
    Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of algebraic graph transformation. Springer, Heidelberg (2006)zbMATHGoogle Scholar
  5. 5.
    Gamma, E., Helm, R., Johnson, R., Vlissides, J.M.: Design Patterns. In: Elements of Reusable Object-Oriented Software. Addison Wesley, Reading (1994)Google Scholar
  6. 6.
    Guerra, E., de Lara, J., Orejas, F.: Pattern-based model-to-model transformation: Handling attribute conditions. In: Paige, R.F. (ed.) ICMT 2009. LNCS, vol. 5563, pp. 83–99. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  7. 7.
    Kolovos, D.S.: Establishing correspondences between models with the Epsilon Comparison Language. In: Paige, R.F., Hartman, A., Rensink, A. (eds.) ECMDA-FA 2009. LNCS, vol. 5562, pp. 146–157. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  8. 8.
    Kolovos, D.S., Paige, R.F., Polack, F.: The Epsilon Object Language (EOL). In: Rensink, A., Warmer, J. (eds.) ECMDA-FA 2006. LNCS, vol. 4066, pp. 128–142. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  9. 9.
  10. 10.
  11. 11.
    Salay, R., Mylopoulos, J., Easterbrook, S.: Using macromodels to manage collections of related models. In: van Eck, P., Gordijn, J., Wieringa, R. (eds.) CAiSE 2009. LNCS, vol. 5565, pp. 141–155. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  12. 12.
    Schürr, A.: Specification of graph translators with triple graph grammars. In: Mayr, E.W., Schmidt, G., Tinhofer, G. (eds.) WG 1994. LNCS, vol. 903, pp. 151–163. Springer, Heidelberg (1994)Google Scholar
  13. 13.
    Seibel, A., Neumann, S., Giese, H.: Dynamic hierarchical mega models: comprehensive traceability and its efficient maintenance. In: SOSYM (2010) (in press)Google Scholar
  14. 14.
    Xing, Z., Stroulia, E.: UMLDiff: an algorithm for object oriented design differencing. In: ASE 2005, pp. 54–65. ACM, New York (2005)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Esther Guerra
    • 1
  • Juan de Lara
    • 2
  • Dimitrios S. Kolovos
    • 3
  • Richard F. Paige
    • 3
  1. 1.Universidad Carlos III de MadridSpain
  2. 2.Universidad Autónoma de MadridSpain
  3. 3.The University of YorkUK

Personalised recommendations