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.
Chapter5<br />
<strong>Model</strong>-<strong>Driven</strong> Consistency Checking<br />
<strong>of</strong> Behavioural Specifications 1<br />
For the development <strong>of</strong> s<strong>of</strong>tware intensive systems different types <strong>of</strong> behaviouralspecificationsareused.<br />
Althoughsuchspecificationsshouldbe<br />
consistentwithrespecttoeachother,thisisnotalwaysthecaseinpractice.<br />
Maintainabilityproblemsaretheresult. Inthischapterwepropose<br />
atechniqueforassessingtheconsistencybetweentwotypesbehavioural<br />
specifications: scenarios<strong>and</strong>statemachines. Thetechniqueisbasedon<br />
thegeneration<strong>of</strong>statemachinesfromscenarios. Wespecifytherequired<br />
mappingusingmodeltransformations. Theuse<strong>of</strong>technologiesrelatedto<br />
the<strong>Model</strong><strong>Driven</strong>Architectureenableseasyintegrationwithwidelyadopted<br />
(UML)tools.Weappliedourtechniquetoassesstheconsistencybetweenthe<br />
behaviouralspecificationsfortheembeddeds<strong>of</strong>tware<strong>of</strong>copiersdeveloped<br />
byOcé. Finally,weevaluatetheapproach<strong>and</strong>discussitsgeneralisability<br />
<strong>and</strong>widerapplicability.<br />
5.1 Introduction<br />
Systemunderst<strong>and</strong>ingisaprerequisiteformodifyingas<strong>of</strong>twareintensive<br />
system[Lehman<strong>and</strong>Belady,1985].Assuchthe(typical)absence<strong>of</strong>up-todatedesigndocumentationhamperssuccessfuls<strong>of</strong>twaremaintenance<strong>and</strong><br />
evolution. Inthischapterweaddressthisproblemforthedocumentation<br />
<strong>of</strong>asystem’sbehaviour. Wefocusonensuringtheconsistencybetween<br />
twotypes<strong>of</strong>behaviouralspecifications:interaction-based<strong>and</strong>state-based<br />
1 Thischapterwaspublishedearlieras:Graaf,Bas<strong>and</strong>ArievanDeursen. <strong>Model</strong>-driven<br />
consistencychecking<strong>of</strong>behaviouralspecifications.InProceedings<strong>of</strong>the4 th International<br />
Workshopon<strong>Model</strong>-basedMethodologiesforPervasive<strong>and</strong>EmbeddedS<strong>of</strong>tware(MOM-<br />
PES2007),pages115–126.IEEEComputerSociety,2007a<br />
77