11.12.2012 Views

Model-Driven Evolution of Software Architectures - Software and ...

Model-Driven Evolution of Software Architectures - Software and ...

Model-Driven Evolution of Software Architectures - Software and ...

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

5.8. Conclusions 101<br />

UMLvs. MOF Theuse<strong>of</strong> UMLinalimiteddomainmakestransformation<br />

definitionsunnecessarycomplex<br />

Thegenericity<strong>and</strong>resultingcomplexity<strong>of</strong>theUMLmetamodelresult<br />

in,sometimes,inconvenientnavigationthroughsource<strong>and</strong>targetmodels<br />

toselectacertainelement. Anopenquestioniswhethertreetraversal<br />

strategiesaspresentinStratego 1 ortheJJTraveller[VanDeursen<strong>and</strong><br />

Visser,2004]librarycouldhelptoalleviatethisnavigationproblem.Also,<br />

<strong>of</strong>tenrelationsaredefinedasn:mwhileinaspecificcase1:1wouldsuffice.<br />

Theresultisthatsetshavetobeconvertedtosequences<strong>of</strong>whichthefirst<br />

elementhastobeselected. Thisisrequiredveryfrequently,resultingin<br />

unnecessarycomplexATLcode.<br />

Incases,whereonlylimitedparts<strong>of</strong>theUMLmetamodelareused,analternativecouldbeconsidered.Instead<strong>of</strong>usingtheUMLmetamodel,custom<br />

MOF-basedmetamodelscouldbeused,forinstance,forscenarios<strong>and</strong>state<br />

machines.Thesemetamodelscouldbemuchsimpler,resultinginsimpler<br />

transformationdefinitions.Thepricetopayisthatinordertoestablisha<br />

connectionwithactualUMLmodels(e.g.,asusedbyOcé),amappingbetweensuchcustommetamodels<strong>and</strong>theUMLmetamodelmustbespecified.<br />

InChapter8wediscusshowtomakesuchamappingfordomain-specific<br />

modellinglanguages(DSMLs).<br />

5.8 Conclusions<br />

Inthischapterweexploredtheuse<strong>of</strong>modeltransformationstocheckthe<br />

consistencybetweenbehaviouralspecifications. Forthiswepresentedan<br />

approachthatconsists<strong>of</strong>normalisation,transformation,<strong>and</strong>comparison<br />

steps.Weconsiderthefollowingtobethemaincontributions<strong>of</strong>thischapter:<br />

•Aspecification<strong>of</strong>themappingbetweenscenarios<strong>and</strong>statemachines<br />

usingmodeltransformationsthatismadeavailableviatheATLtransformationsrepository.Anadvantage<strong>of</strong>suchaspecificationisthatit<br />

canbeexecutedbytheATLtransformationengine. Furthermore,it<br />

iscompletelybasedonUML,makingintegrationinindustrialpractice<br />

easier.<br />

•<strong>Model</strong>lingconventionsforencodingtheinformationrequiredforthe<br />

transformationstepinasingleUMLmodel.Additionally,asanexample,wediscussedtherequirednormalisationstepforOcé’sreference<br />

architecture.<br />

1 http://www.stratego-language.org

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!