Modeling modeling modeling

  • Authors:
  • Pierre-Alain Muller;Frédéric Fondement;Benoît Baudry;Benoît Combemale

  • Affiliations:
  • Université de Haute-Alsace, Mulhouse, France;Université de Haute-Alsace, Mulhouse, France;INRIA Rennes Bretagne-Atlantique, Rennes, France;Université de Rennes 1, Rennes, France

  • Venue:
  • Software and Systems Modeling (SoSyM)
  • Year:
  • 2012

Quantified Score

Hi-index 0.00

Visualization

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.