Model-Driven Evolution of Software Architectures - Software and ...
Model-Driven Evolution of Software Architectures - Software and ...
Model-Driven Evolution of Software Architectures - Software and ...
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
6.2. RunningExample 105<br />
(modellinglanguages)differ. Second,thesemanticgapbetweentheelements<strong>and</strong>relationsusedinarchitecturalviews<strong>and</strong>theprogramminglanguageconstructsavailabletoimplementthemmakesitdifficulttoreconstructanarchitecturalviewfromanimplementation.Therefore,forcheckingtheconformance<strong>of</strong>animplementationwithrespecttoanarchitecture,<br />
weproposetodefineacommonconformanceviewpointatanintermediate<br />
level<strong>of</strong>abstraction.Whenarchitectural<strong>and</strong>implementationviewsareassociatedwithacommonviewpoint<strong>and</strong>usethesamemodellinglanguage<br />
(i.e.,metamodel)theidentification<strong>of</strong>discrepanciesbetweentheintended<br />
<strong>and</strong>implementedarchitecturebecomespossible.<br />
Weaddresstheproblem<strong>of</strong>conformancecheckingbymeans<strong>of</strong>aconformancecheckingsystem(CCS),describingthenecessarysteps.<br />
Inorderto<br />
bepracticallyapplicableinindustry,itisrequiredthatsuchaframework<br />
buildsonproventechnology,<strong>and</strong>thatitsapplicationisnon-intrusive.<br />
Inthischapterwepropose<strong>and</strong>experimentwithaconformancecheck<br />
system(CCS)thatfacilitatesconformancechecksthroughthedefinition<strong>of</strong><br />
adesign-spaceconformanceviewpointbridgingthesemanticgapbetween<br />
theimplementation<strong>and</strong>architecture. Suchaviewpointistobederived<br />
fromtheinvolvedarchitecturalviewpointinsuchawaythatviewsassociatedwiththisviewpointcanbothbeextractedfromtheimplementation<strong>and</strong>thearchitecture.WemaptheCCStotechnologyformodel-driven<br />
engineering(MDE)[Bézivin,2005],<strong>and</strong>applyitinanacademiccasestudy.<br />
Ourexperimentsillustratethedefinition<strong>of</strong>conformanceviewpoints,comparingassociatedviews,<br />
<strong>and</strong>visualisation<strong>of</strong>discrepanciesbetweenthe<br />
intended(specified)architecture<strong>and</strong>theimplemented(predicated)architecture.<br />
Thischapterisorganisedasfollows. OurrunningexampleisintroducedinSection6.2.InSection6.3wepresentourCCS<strong>and</strong>explainwhat<br />
needstobedonetomapittoMDE.Subsequently,wediscussthemapping<br />
<strong>of</strong>viewpointstometamodelsinSection6.4<strong>and</strong>themappings<strong>and</strong>model<br />
transformationsforconformancecheckinginSection6.5.InSection6.6we<br />
discussourCCS,theappliedtechnology,<strong>and</strong>relatedwork.Weconcludein<br />
Section6.8withanoverview<strong>of</strong>ourcontributions.<br />
6.2 RunningExample<br />
Therunningexampleinthischapteristhedevelopment<strong>of</strong>anacademic<br />
system:adigitalmusicbox(DMB)thatreadsdatafromapaperdisc(the<br />
record).Thedisccontainsaplottedspiraltrack<strong>of</strong>pulse-widthmodulated<br />
databits. Itrotateswithaconstantspeed. Thesystemtracksthespiral,readsthedatabits,<strong>and</strong>thenmapsthosebitstosymbols.<br />
Astring<br />
<strong>of</strong>symbolswillbefedtoanoutputdevicethattransformsthestringinto