Software & Systems Modeling

, Volume 11, Issue 3, pp 347–359 | Cite as

Modeling modeling modeling

  • Pierre-Alain Muller
  • Frédéric Fondement
  • Benoît Baudry
  • Benoît Combemale
Special Section Paper

Abstract

Model-driven engineering and model-based approaches have permeated all branches of software engineering to the point that it seems that we are using models, as Molière’s Monsieur Jourdain was using prose, without knowing it. At the heart of modeling, there is a relation that we establish to represent something by something else. In this paper we review various definitions of models and relations between them. Then, we define a canonical set of relations that can be used to express various kinds of representation relations and we propose a graphical concrete syntax to represent these relations. We also define a structural definition for this language in the form of a metamodel and a formal interpretation using Prolog. Hence, this paper is a contribution towards a theory of modeling.

Keywords

Model Metamodel Notation Representation 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Molière: Le Bourgeois gentilhomme (1607)Google Scholar
  2. 2.
    Rabelais, F.: Les horribles et épouvantables faits et prouesses du très renommé Pantagruel Roi des Dipsodes, fils du Grand Géant Gargantua (1532)Google Scholar
  3. 3.
    Rothenberg J.: The nature of modeling. In: Widman, L.E., Loparo, K.A., Nielsen, N.R. (eds) AI, Simulation and Modeling, pp. 75–92. Wiley, New York (1989)Google Scholar
  4. 4.
    Muller, P.-A., Fondement, F., Baudry, B.: Modeling modeling. In: Proceedings of MODELS’09, pp. 2–16, Denver, CO, USA (2009)Google Scholar
  5. 5.
    Ludewig J.: Models in software engineering—an introduction. SoSyM 2(3), 5–14 (2003)CrossRefGoogle Scholar
  6. 6.
    Bézivin, J., Gerbé, O.: Towards a precise definition of the OMG/MDA framework. In: ASE, Automated Software Engineering (2001)Google Scholar
  7. 7.
    Brown A.W.: Model driven architecture: principles and practice. SoSyM 3(3), 314–327 (2004)Google Scholar
  8. 8.
    Jackson M.: Some basic tenets of description. Softw. Syst. Model. 1(1), 5–9 (2002)CrossRefGoogle Scholar
  9. 9.
    Kühne, T.: Matters of (meta-) modeling. SoSyM, 5(4) (2006)Google Scholar
  10. 10.
    OMG: Model Driven Architecture (2003). http://www.omg.org/mda/. Cited 2006
  11. 11.
    Seidewitz E.: What models means. IEEE Soft. 20(5), 26–32 (2003)CrossRefGoogle Scholar
  12. 12.
    Selic B.: The pragmatics of model-driven development. IEEE Softw. 20(5), 19–25 (2003)CrossRefGoogle Scholar
  13. 13.
    Steinmüller W.: Informationstechnologie und Gesellschaft: Einführung in dieAngewandte Informatik. Wissenschaftliche Buchgesellschaft, Darmstadt (1993)Google Scholar
  14. 14.
    Stachowiak H.: Allgemeine Modelltheorie. Springer, Wien (1973)CrossRefGoogle Scholar
  15. 15.
    Favre, J.-M.: Foundations of model (driven) (reverse) engineering : models—episode I: stories of The Fidus Papyrus and of The Solarus. In: Dagstuhl Seminar 04101 on “Language Engineering for Model-Driven Software Development”. Dagsthul, Germany (2004)Google Scholar
  16. 16.
    Hesse W.: More matters on (meta-)modeling: remarks on Kühne’s “matters”. SoSyM 5(4), 387–394 (2006)CrossRefGoogle Scholar
  17. 17.
    Mellor S.J., Scott K., Uhl A., Weise D.: MDA Distilled: Principle of Model Driven Architecture. Addison-Wesley, Reading (2004)Google Scholar
  18. 18.
    Fowler M., Scott K., Booch G.: UML Distilled: Object Oriented series. Addison-Wesley, Reading (1999)Google Scholar
  19. 19.
    Bézivin, J.: In search of a basic principle for model-driven engineering. Novatica J. Special Issue March-April (2004)Google Scholar
  20. 20.
    Favre, J.-M.: Foundations of the meta-pyramids: languages and metamodels—episode II, story of Thotus the Baboon. In: Dagstuhl Seminar 04101 on Language Engineering for Model-Driven Software Development. Dagsthul, Germany (2004)Google Scholar
  21. 21.
    Favre, J.-M.: Towards a megamodel to model software evolution through software transformation. In: Proceedings of Workshop on Software Evolution through Transformation, SETRA, Rome, Italy (2004)Google Scholar
  22. 22.
    Fokkinga M.M.: A Gentle Introduction to Category Theory—The Calculational Approach. University of Twente, Enschede (1994)Google Scholar
  23. 23.
    Favre, J.-M.: Foundations of model (driven) (reverse) engineering: models—episode I: stories of The Fidus Papyrus and of The Solarus. Dagstuhl Seminar 04101 on “Language Engineering for Model-Driven Software Development. Dagsthul, Germany (2004)Google Scholar
  24. 24.
    Yu, E., Mylopoulos, J.: Understanding “Why” in software process modelling, analysis, and design. In: Proceedings of 16th International Conference on Software Engineering (ICSE), pp. 159–168, Sorrento, Italy (1994)Google Scholar
  25. 25.
    Kuehne T.: Matters of (meta-) modeling. Softw. Syst. Model. 5(4), 369–385 (2006)CrossRefGoogle Scholar
  26. 26.
    Gasevic, D., Kaviani, N., Hatala, M.: On metamodeling in megamodels. In: Proceedings of MODELS’07, pp. 91–105 (2007)Google Scholar
  27. 27.
    Venn J.: On the diagrammatic and mechanical representation of propositions and reasonings. Dublin Philos. Mag. J. Sci. 9(59), 1–18 (1880)Google Scholar
  28. 28.
    Shannon C.E.: Communication in the presence of noise. Proc. Inst. Radio Engineers 37(1), 10–21 (1949)MathSciNetGoogle Scholar

Copyright information

© Springer-Verlag 2010

Authors and Affiliations

  • Pierre-Alain Muller
    • 1
  • Frédéric Fondement
    • 1
  • Benoît Baudry
    • 2
  • Benoît Combemale
    • 3
  1. 1.Université de Haute-AlsaceMulhouseFrance
  2. 2.INRIA Rennes Bretagne-AtlantiqueRennesFrance
  3. 3.Université de Rennes 1RennesFrance

Personalised recommendations