Matters of (Meta-) Modeling

AbstractWith the recent trend to model driven engineering a common understanding of basic notions such as “model” and “metamodel” becomes a pivotal issue. Even though these notions have been in widespread use for quite a while, there is still little consensus about when exactly it is appropriate to use them. The aim of this article is to start establishing a consensus about generally acceptable terminology. Its main contributions are the distinction between two fundamentally different kinds of model roles, i.e. “token model” versus “type model” (The terms “type” and “token” have been introduced by C.S. Peirce, 1839–1914.), a formal notion of “metaness”, and the consideration of “generalization” as yet another basic relationship between models. In particular, the recognition of the fundamental difference between the above mentioned two kinds of model roles is crucial in order to enable communication among the model driven engineering community that is free of both unnoticed misunderstandings and unnecessary disagreement.

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

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

[3]  Colin Atkinson,et al.  Profiles in a strict metamodeling framework , 2002, Sci. Comput. Program..

[4]  Jean-Marie Favre,et al.  Towards a Basic Theory to Model Model Driven Engineering , 2004 .

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

[6]  Colin Atkinson,et al.  Model-Driven Development: A Metamodeling Foundation , 2003, IEEE Softw..

[7]  Roland H. Kaschek,et al.  A little theory of abstraction , 2004, Modellierung.

[8]  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).

[9]  Ivar Jacobson,et al.  The unified modeling language reference manual , 2010 .

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

[11]  Martin Gogolla,et al.  Essentials of the 4th UML/MoDELS Workshop in Software Model Engineering (WiSME'2005) , 2005, MoDELS Satellite Events.

[12]  E. Nagel Meaning and Necessity. A Study in Semantics and Modal Logic , 1948 .

[13]  Richard S. Bird,et al.  An introduction to the theory of lists , 1987 .

[14]  Bernhard Dotzler Alles, was Programm ist (Rezension: Wilhelm Steinmüller, Informationstechnologie und Gesellschaft. Einführung in die angewandte Informatik, Darmstadt 1993) , 1993 .

[15]  Susanne Strahringer,et al.  Metamodellierung als Instrument des Methodenvergleichs: eine Evaluierung am Beispiel objektorientierter Analysemethoden , 1996 .

[16]  Chen C. Chang,et al.  Model Theory: Third Edition (Dover Books On Mathematics) By C.C. Chang;H. Jerome Keisler;Mathematics , 1966 .