Modeling modeling modeling

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.

[1]  David Whitton.  Moliere: Le Bourgeois Gentilhomme , 1992 .

[2]  Wilhelm H. Steinmüller,et al.  Informationstechnologie und Gesellschaft : Einführung in die angewandte Informatik , 1993 .

[3]  Ed Seidewitz,et al.  What Models Mean , 2003, IEEE Softw..

[4]  Alan W. Brown.  Model driven architecture: Principles and practice , 2004, Software and Systems Modeling.

[5]  M. Fokkinga.  A Gentle Introduction to Category Theory - the calculational approach , 1992 .

[6]  Jeff Rothenberg,et al.  The nature of modeling , 1989 .

[7]  Jean Bézivin,et al.  In Search of a Basic Principle for Model Driven Engineering , 2004 .

[8]  Jochen Ludewig,et al.  Models in software engineering – an introduction , 2003, Software and Systems Modeling.

[9]  Axel Uhl,et al.  Model-Driven Architecture , 2002, OOIS Workshops.

[10]  Thomas Kühne.  Clarifying matters of (meta-) modeling: an author’s reply , 2006, Software & Systems Modeling.

[11]  Jean Bézivin,et al.  Language Engineering for Model-driven Software Development , 2005 .

[12]  Jochen Ludewig,et al.  Models in software engineering - an introduction , 2004, Informatik Forschung und Entwicklung.

[13]  Reiko Heckel,et al.  3rd International Workshop on Software Evolution Through Transformations: Embracing Change , 2006, ICGT.

[14]  Bran Selic,et al.  The Pragmatics of Model-Driven Development , 2003, IEEE Softw..

[15]  J. Venn,et al.  . On the diagrammatic and mechanical representation of propositions and reasonings , 2022 .

[16]  Jean-Marie Favre,et al.  Foundations of Model (Driven) (Reverse) Engineering : Models - Episode I: Stories of The Fidus Papyrus and of The Solarus , 2004, Language Engineering for Model-Driven Software Development.

[17]  Thomas Kühne,et al.  Matters of (Meta-) Modeling , 2006, Software & Systems Modeling.

[18]  Ketil Stølen,et al.  What is model driven architecture , 2003 .

[19]  John Mylopoulos,et al.  Understanding "why" in software process modelling, analysis, and design , 1994, Proceedings of 16th International Conference on Software Engineering.

[20]  Molière,et al.  町人貴族 = Le bourgeois gentilhomme , 1948 .

[21]  Marek Hatala,et al.  On metamodeling in megamodels , 2007, MODELS'07.

[22]  Pierre-Alain Muller,et al.  Modeling Modeling , 2009, MoDELS.

[23]  R. E. Kurt Stirewalt,et al.  Model-driven reverse engineering , 2004, IEEE Software.

[24]  C.E. Shannon,et al.  Communication in the Presence of Noise , 1949, Proceedings of the IRE.

[25]  Michael Jackson,et al.  Some Basic Tenets of Description , 2002, Software and Systems Modeling.

[26]  Stephen J. Mellor,et al.  MDA Distilled Principles Of Model-Driven Architecture , 2004 .

[27]  Jean Bézivin,et al.  Towards a precise definition of the OMG/MDA framework , 2001, Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001).

[28]  Jean-Marie Favre,et al.  Towards a Megamodel to Model Software Evolution Through Transformations , 2005, SETra@ICGT.

[29]  Wolfgang Hesse,et al.  More matters on (meta-)modelling: remarks on Thomas Kühne’s “matters” , 2006, Software & Systems Modeling.