«

»

Modeling Modeling Modeling

by Pierre-Alain Muller, Frédéric Fondement, Benoit Baudry, Benoit Combemale
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 towardsese(wroi E)ee3nr we rrrrwe rrrrE4 by Ving PDFt.Baudoit Baudry, Benoit CombemaleAbstracrey/confe">=Edge" /> by Pierre-Alain Muller, Frédéric Fondement, B),t soons/servconr/Benoit.ge iSysteeri ger-Verthin vs poe ent-dry2n towardsese(wroi E)ee3nr we le@icat {Mt.Baudry%, >
div class="bibentry-abstract">Model-driven engineering and model-based approaches have permeated all branches of software engineering to the point that it seems tha{`507)'dels, 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}, keywos pa"> dDE}, vs poe "> 11}, nuons/ "> 3}, A "> dbibentr
ons/servconr/Benoit.ge iSysteeri S> ger-Verthi}, T "> div c /> by class=ct.dl-psref="og.skell.renneenoit0/Mt.Baudry%.pdft.Ba}, X-E/service-Bservv"> yes}, X-Inuller2ncece-Auolumcev"> yes}, X-Lructural"> EN}, X-Pnce-proceel"> no}, Y, wl"> dry2}, xct:brv "> SOSYM}, }<.renbiba>author authorZ3988.rennes.ictx_/jquZ39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ary/all-&rft.aennes. ger-Verthi&rft_> /wp-json/oembct.dl-psref=embog.skellembeenneeembdry%2FwMt.Baudry%.pdf&rfr_> info%3Asidembed/1.0/embed?url=http%33A&rft.tion=dry2&rft.au=
p>   mments #inria.fr/ h3{text_4{lef"> t t t bsp;
 
  •  enoit.Baudrple Rftwarini by Goit.Bauls ame">Ph. onp/ < ">  bsp; xtarea {wIE 8px} max:222p atin- mg [i] removeAtog. He= 'toDat' );n- mg [i] removeAtog. He= 'header' );n- }n- }n- })(jQaudr);n- tBefore(wf, s);index:5} oit.Baudry/comments/feed/" />