Model-Driven Evolution of Software Architectures - Software and ...
Model-Driven Evolution of Software Architectures - Software and ...
Model-Driven Evolution of Software Architectures - Software and ...
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
7.10. Conclusions<strong>and</strong>FutureWork 165<br />
Weextractedtheprocesswaferrequeststatemachinefromthethree<br />
implementedconcurrentstatemachines<strong>and</strong>thecorrespondingsourcecode<br />
byisolatingstatetransitionpaths<strong>and</strong>combiningthemintoarequeststate<br />
model. Theresultingextractedsourcemodelswereusedastheinputfor<br />
ournormalisationstep.Infact,suchanextractionstepinwhichweisolate<br />
requeststatemachines(i.e.,toobtainmodelstobenormalised)canbeseen<br />
asanextension<strong>of</strong>the‘front-end’<strong>of</strong>ourapproach.<br />
The‘back-end’<strong>of</strong>ourapproachcanbeextendedaswellbystepsthat<br />
furtherprocesstheresult<strong>of</strong>ourmodeltransformations.Wealreadymentionedthegeneration<strong>of</strong>documentation.Anotherpossibleextensionisthegeneration<strong>of</strong>sourcecodetoactuallygeneratetheSystemDefinitionmodule<strong>of</strong>theproduct-linearchitecture(Figure7.9onpage150).<br />
Bothcanbe<br />
specifiedusingmodeltransformations.<br />
Notethatwedidnotyetconsiderthedomainspecificinterfacemodules<br />
<strong>of</strong>theproduct-linearchitecture. However,thisonlyconstitutesaminor<br />
hurdlesincewecansimplyencapsulatetheexistingsourcecodebodiesfor<br />
eachbehavior(preservinginterfacefunctionality<strong>and</strong>behavior).<br />
7.10 Conclusions<strong>and</strong>FutureWork<br />
Inthischapterweformulatedthemigration<strong>of</strong>SMCsystemsasamodel<br />
transformationproblem. ThestartingpointisanSMCarchitecturebased<br />
onFSMs;theendpointisaproduct-lineSMCarchitecturebasedonTRSs.<br />
Ourapproachsupportsthegenericmigration<strong>of</strong>theproduct-linemembers.<br />
Wedemonstratedthatthedevelopmentframeworkforthe MDAcan<br />
besuccessfullyappliedinamigrationcontextaswell: migrationcanbe<br />
seenasaseries<strong>of</strong>modeltransformations. Weproposedagenerictwophased,model-drivenmigrationapproachthatusesdistinctnormalisation<br />
<strong>and</strong>transformationstepstoderivethemodulesrequiredtoinstantiatethe<br />
TRSproduct-linearchitectureforaparticular(sub)system.Thenormalisationstepiscrucialinovercomingsemi-formal,incomplete<strong>and</strong>ambiguous<br />
specificationsaswellastool<strong>and</strong>languagelimitations. Thisnormalisationsteprequiresdomainknowledge<strong>and</strong>manualeffort,butmakesour<br />
approachsuitedforindustrialapplication.<br />
Atrade-<strong>of</strong>fhasbeenidentifiedbetweentheinherentcomplexity<strong>of</strong>automatedtransformations<strong>and</strong>therequiredmanualeffortduringnormalisation.BasedonSMC-specificconcerns<strong>and</strong>anormalisedsourcemetamodel,<br />
wehavedefined<strong>and</strong>implementedaset<strong>of</strong>generictransformationrulesthat<br />
supportamigrationtowardsTRS-basedproduct-linearchitectures.Theapplicability<strong>of</strong>theseruleshasbeenillustratedforareal-worldindustrial<br />
case. Sinceourtransformationrulesoperateonnormalisations,theycan<br />
beappliedtoFSM-TRSmigrations<strong>of</strong>SMCsystemswithoutloss<strong>of</strong>generality.