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 Moliere'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. Hence, this paper is a contribution towards a theory of modeling.

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

[2]  R. M. Elliott,et al.  Behavior of Organisms , 1991 .

[3]  P. Killeen,et al.  Optimal timing and the Weber function. , 1987, Psychological review.

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

[5]  Kevin Lano,et al.  Slicing of UML models using model transformations , 2010, MODELS'10.

[6]  Stephen Grossberg,et al.  Neural dynamics of adaptive timing and temporal discrimination during associative learning , 1989, Neural Networks.

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

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

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

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

[11]  P. Killeen,et al.  A behavioral theory of timing , 1988 .

[12]  P. Killeen.  The reflex reserve. , 1988, Journal of the experimental analysis of behavior.

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

[14]  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.

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

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

[17]  A. Machado.  Learning the temporal dynamics of behavior. , 1997, Psychological review.

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

[19]  Russell M. Church,et al.  A connectionist model of timing. , 1991 .

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

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

[22]  John E. R. Staddon,et al.  MULTIPLE TIME SCALES IN SIMPLE HABITUATION , 1996 .

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

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

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

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

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

[28]  D. Ellson,et al.  The concept of reflex reserve. , 1939 .

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

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