Table Of ContentLecture Notes in Computer Science 5581
CommencedPublicationin1973
FoundingandFormerSeriesEditors:
GerhardGoos,JurisHartmanis,andJanvanLeeuwen
EditorialBoard
DavidHutchison
LancasterUniversity,UK
TakeoKanade
CarnegieMellonUniversity,Pittsburgh,PA,USA
JosefKittler
UniversityofSurrey,Guildford,UK
JonM.Kleinberg
CornellUniversity,Ithaca,NY,USA
AlfredKobsa
UniversityofCalifornia,Irvine,CA,USA
FriedemannMattern
ETHZurich,Switzerland
JohnC.Mitchell
StanfordUniversity,CA,USA
MoniNaor
WeizmannInstituteofScience,Rehovot,Israel
OscarNierstrasz
UniversityofBern,Switzerland
C.PanduRangan
IndianInstituteofTechnology,Madras,India
BernhardSteffen
UniversityofDortmund,Germany
MadhuSudan
MassachusettsInstituteofTechnology,MA,USA
DemetriTerzopoulos
UniversityofCalifornia,LosAngeles,CA,USA
DougTygar
UniversityofCalifornia,Berkeley,CA,USA
GerhardWeikum
Max-PlanckInstituteofComputerScience,Saarbruecken,Germany
Raffaela Mirandola Ian Gorton
Christine Hofmeister (Eds.)
Architectures
for Adaptive
Software Systems
5th International Conference on the Quality
of Software Architectures, QoSA 2009
East Stroudsburg, PA, USA, June 24-26, 2009
Proceedings
1 3
VolumeEditors
RaffaelaMirandola
PolitecnicodiMilano
DipartimentodiElettronicaeInformazione
ViaGolgi40,20133Milano,Italy
E-mail:[email protected]
IanGorton
PacificNorthwestNationalLaboratory
ComputationalandInformationSciences
P.O.Box999,MS:K7-90,Richland,WA99352,USA
E-mail:[email protected]
ChristineHofmeister
EastStroudsburgUniversity
ComputerScienceDepartment
200ProspectStreet,EastStroudsburg,PA18301-2999,USA
E-mail:[email protected]
LibraryofCongressControlNumber:2009930684
CRSubjectClassification(1998):D.2.11,D.3,C.4,B.8,D.4.8,D.2.4,F.4
LNCSSublibrary:SL2–ProgrammingandSoftwareEngineering
ISSN 0302-9743
ISBN-10 3-642-02350-9SpringerBerlinHeidelbergNewYork
ISBN-13 978-3-642-02350-7SpringerBerlinHeidelbergNewYork
Thisworkissubjecttocopyright.Allrightsarereserved,whetherthewholeorpartofthematerialis
concerned,specificallytherightsoftranslation,reprinting,re-useofillustrations,recitation,broadcasting,
reproductiononmicrofilmsorinanyotherway,andstorageindatabanks.Duplicationofthispublication
orpartsthereofispermittedonlyundertheprovisionsoftheGermanCopyrightLawofSeptember9,1965,
initscurrentversion,andpermissionforusemustalwaysbeobtainedfromSpringer.Violationsareliable
toprosecutionundertheGermanCopyrightLaw.
springer.com
©Springer-VerlagBerlinHeidelberg2009
PrintedinGermany
Typesetting:Camera-readybyauthor,dataconversionbyScientificPublishingServices,Chennai,India
Printedonacid-freepaper SPIN:12696598 06/3180 543210
Preface
Muchofasoftwarearchitect’slifeisspentdesigningsoftwaresystemstomeetasetof
quality requirements. General software quality attributes include scalability, security,
performance or reliability. Quality attribute requirements are part of an application’s
non-functionalrequirements,whichcapturethemanyfacetsofhowthefunctionalre-
quirements of an application are achieved. Understanding, modeling and continually
evaluatingqualityattributesthroughoutaprojectlifecycleareallcomplexengineering
taskswhichcontinuetochallengethesoftwareengineeringscientificcommunity.While
we search forimprovedapproaches,methods,formalismsandtoolsthat areusable in
practiceandcanscaletolargesystems,thecomplexityoftheapplicationsthatthesoft-
wareindustryischallengedtobuildiseverincreasing.Thus,asaresearchcommunity,
there is little opportunityfor us to rest on ourlaurels, as our innovationsthat address
newaspectsofsystemcomplexitymustbedeployedandvalidated.
To this end the 5th InternationalConferenceon the Quality of SoftwareArchitec-
tures (QoSA) 2009 focused on architectures for adaptive software systems. Modern
softwaresystemsmustoftenreconfiguretheirstructureandbehaviortorespondtocon-
tinuouschangesinrequirementsandintheirexecutionenvironment.Inthesesettings,
quality models are helpful at an architectural level to guide systematic model-driven
software development strategies by evaluating the impact of competing architectural
choices.Atruntime,qualitymodelscanplayanimportantroleinenablingcalibration
and validation of a system model to accurately reflect the propertiesof the executing
system.Thisleadstotheideathatarchitecturalmodelsshouldcontinuetoexistatrun
timetofacilitatethenecessarydynamicchangesthatcansupportself-adaptationofthe
implementedsystem.Insodoing,theconferencecontinuedQoSA’straditionofusing
softwarearchitecturestodevelopandevolvehigh-qualitysoftwaresystems.
Inlinewithabroadinterest,QoSA2009received33submissions.Fromthesesub-
missions,13wereacceptedaslongpapersafteracarefulpeer-reviewprocessfollowed
by an online Program Committee discussion. This resulted in an acceptance rate of
39%. The selected technical papers are published in this volume. For the third time,
QoSA2009washeldaspartoftheconferenceseriesFederatedEventsonComponent-
Based Software Engineering and Software Architecture (COMPARCH). The feder-
atedeventswereQoSA2009,the12thInternationalSymposiumonComponent-Based
SoftwareEngineering(CBSE 2009).Togetherwith COMPARCH’s IndustrialExperi-
enceReportTrackandtheco-locatedWorkshoponComponent-OrientedProgramming
(WCOP 2009), COMPARCH provided a broad spectrum of events related to com-
ponents and architectures. By integrating QoSA’s and CBSE’s technical programs in
COMPARCH 2009, both conferences elaborated their successfull collaboration thus
demonstratingthecloserelationshipbetweensoftwarearchitecturesandtheirconstitut-
ingsoftwarecomponents.
AmongthemanypeoplewhocontributedtothesuccessofQoSA2008,wewould
like to thankthe membersofthe ProgramCommitteesfor theirvaluableworkduring
VI Preface
thereviewprocess,aswellasDavidGarlanandKevinSullivanfortheirCOMPARCH
keynotes.Additionally,wethankAlfredHofmannfromSpringerforhissupportinre-
viewingandpublishingtheproceedingsvolume.
April2009 IanGorton
RaffaelaMirandola
ChristineHofmeister
Organization
QoSA2009 (PartofCOMPARCH2009)
GeneralChair
ChristineHofmeister EastStroudsburgUniversity,Pennsylvania,USA
ProgramCommitteeChairs
IanGorton PacificNorthwestNationalLaboratory,USA
RaffaelaMirandola PolitecnicodiMilano,Italy
ProgramCommittee
DaniloArdagna PolitecnicodiMilano,Italy
ColinAtkinson UniversityofMannheim,Germany
MuhammadAliBabar Lero,Ireland
LenBass SoftwareEngineeringInstitute,USA
SteffenBecker FZI,Germany
JanBosch Intuit,USA
IvicaCrnkovic MälardalenUniversity,Sweden
RogerioDeLemos UniversityofKent,UK
AntiniscaDiMarco Universitádell’Aquila,Italy
CarloGhezzi PolitecnicodiMilano,Italy
AniruddhaGokhale VanderbiltUniversity,USA
VincenzoGrassi UniversitáRoma"TorVergata",Italy
JensHappe SAP/UniversityofKarlsruhe,Germany
DarkoHuljenic ERICSSON,Croatia
SamuelKounev UniversityofKarlsruhe,Germany
HeikoKoziolek ABB,Germany
PhilippeKruchten UniversityofBritishColumbia,Canada
NenadMedvidovic UniversityofSouthernCalifornia,USA
Jose’Merseguer UniversityofSaragoza,Spain
RobertNord SoftwareEngineeringInstitute,USA
BoyanaNorris ArgonneNationalLaboratory,USA
SvenOverhage UniversityofAugsburg,Germany
DorinaPetriu CarletonUniversity,Canada
FrantisekPlasil CharlesUniversity,CzechRepublic
SasikumarPunnekkat MälardalenUniversity,Sweden
RalfReussner UniversityofKarlsruhe,Germany
RoshanakRoshandel SeattleUniversity,USA
BernhardRumpe UniversityofTechnologyBraunschweig,
Germany
VIII Organization
AntoninoSabetta ISTI-CNRPisa,Italy
RaghuSangwan PennState,USA
Anne-MarieSassen EUCommission
Jean-GuySchneider SwinburneUniversity,Australia
JudithStafford TuftsUniversity,USA
ClemensSzyperski Microsoft,USA
PetrTuma CharlesUniversity,CzechRepublic
HansvanVliet VrijeUniversiteit,TheNetherlands
WolfgangWeck IndependentSoftwareArchitect,Switzerland
MichelWermelinger OpenUniversity,UK
MurrayWoodside CarletonUniversity,Canada
SteffenZschaler LancasterUniversity,UK
Co-reviewers
VlastimilBabka CharlesUniversity,CzechRepublic
SimonaBernardi Universita’degliStudidiTorino,Italy
HongyuPei-Breivold MälardalenUniversity,Sweden
FranzBrosch UniversityofKarlsruhe,Germany
LubosBulej CharlesUniversity,CzechRepublic
RaduDobrin MälardalenUniversity,Sweden
ThomasGoldschmidt UniversityofKarlsruhe,Germany
MichaelKuperberg UniversityofKarlsruhe,Germany
DiegoPerez UniversityofSaragoza,Spain
MatteoRossi PolitecnicodiMilano,Italy
PaolaSpoletini PolitecnicodiMilano,Italy
GiordanoTamburrelli PolitecnicodiMilano,Italy
Table of Contents
Model-Driven Quality Analysis
AModel-BasedFrameworktoDesignandDebugSafeComponent-Based
Autonomic Systems .............................................. 1
Guillaume Waignier, Anne-Franc¸oise Le Meur, and
Laurence Duchien
Applying Model Transformations to Optimizing Real-Time QoS
Configurations in DRE Systems.................................... 18
Amogh Kavimandan and Aniruddha Gokhale
Automated Architecture Consistency Checking for Model Driven
Software Development ............................................ 36
Matthias Biehl and Welf L¨owe
Architectural Performance Prediction
Improved Feedback for Architectural Performance Prediction Using
Software Cartography Visualizations ............................... 52
Klaus Krogmann, Christian M. Schweda, Sabine Buckl,
Michael Kuperberg, Anne Martens, and Florian Matthes
Predicting Performance Properties for Open Systems with KAMI ...... 70
Carlo Ghezzi and Giordano Tamburrelli
Compositional Prediction of Timed Behaviour for Process Control
Architecture..................................................... 86
Kenneth Chan and Iman Poernomo
TimedSimulationofExtendedAADL-BasedArchitectureSpecifications
with Timed Abstract State Machines ............................... 101
Stefan Bjo¨rnander, Lars Grunske, and Kristina Lundqvist
Architectural Knowledge
Achieving Agility through Architecture Visibility..................... 116
Carl Hinsman, Neeraj Sangal, and Judith Stafford
Successful Architectural Knowledge Sharing: Beware of Emotions ...... 130
Eltjo R. Poort, Agung Pramono, Michiel Perdeck, Viktor Clerc, and
Hans van Vliet
X Table of Contents
Toward a Catalogue of Architectural Bad Smells ..................... 146
Joshua Garcia, Daniel Popescu, George Edwards, and
Nenad Medvidovic
Case Studies and Experience Reports
On the Consolidation of Data-Centers with Performance Constraints ... 163
Jonatha Anselmi, Paolo Cremonesi, and Edoardo Amaldi
Evolving Industrial Software Architectures into a Software Product
Line: A Case Study .............................................. 177
Heiko Koziolek, Roland Weiss, and Jens Doppelhamer
Adaptive Application Composition in Quantum Chemistry ............ 194
Li Li, Joseph P. Kenny, Meng-Shiou Wu, Kevin Huck,
Alexander Gaenko, Mark S. Gordon, Curtis L. Janssen,
Lois Curfman McInnes, Hirotoshi Mori, Heather M. Netzloff,
Boyana Norris, and Theresa L. Windus
Author Index.................................................. 213
A Model-Based Framework to Design and Debug
(cid:2)
Safe Component-Based Autonomic Systems
GuillaumeWaignier,Anne-Franc¸oiseLeMeur,andLaurenceDuchien
Universite´Lille1-LIFLCNRSUMR8022-INRIA
59650Villeneuved’Ascq,France
{Guillaume.Waignier,Anne-Francoise.LeMeur,
Laurence.Duchien}@inria.fr
Abstract. Buildingautonomicapplications,whicharesystemsthatmustadapt
totheirexecutioncontext,requiresarchitectstocalibrateandvalidatetheadap-
tationrulesbyexecutingtheirapplicationsinarealisticexecutioncontext.Un-
fortunately, existingworks donot allow architectstomonitor andvisualizethe
impactoftheirrules,northattheyletthemadjusttheseruleseasily.
Thispaperpresentsamodel-basedframeworkthatenablesarchitectstodesign
anddebugautonomicsystemsinaniterativeanduniformedprocess.Atdesign-
time,architectscanspecify,usingmodels,theapplication’sstructureandprop-
erties, as well as the desired adaptation rules. At debugging-time, the running
applicationandthemodelscoexistsuchthatthemodelscontroltheapplication
dynamic adaptation, thanks to a control loop that reified runtime events. Each
triggeredadaptationisfirsttestedatthemodelleveltocheckthatnoapplication
propertyisbroken.Furthermore,architectscanatanytimemodifythemodelsin
ordertoadjusttheadaptationrulesorevenpartsoftheapplication.Allchangesat
themodellevel,ifcheckedcorrect,aredirectlypropagatedtotherunningappli-
cation.Oursolutionisgenericregardingtheunderlyingplatformsandweprovide
aperformanceevaluationofourframeworkimplementation.
1 Introduction
Beingabletobuildautonomicsystems[1]hasbecomeimportantinnumerousapplica-
tiondomainssuchasubiquitousapplications.Thesesystemsneedtoadapttoresource
availabilityintheiroftenchangingexecutingenvironments.Furthermoretheymustbe
robustandprovideasatisfactorylevelofqualityofservice.
One approach that has been recognized to facilitate the development of complex
systems is proposed by the component-basedparadigm [2], which promotesbuilding
an application by assembling software components. Componentassemblies are spec-
ified at design-time but many component-basedplatforms offer also the capability of
modifyingassembliesatruntime,makingtheseplatformsinterestingcandidatestorun
adaptiveapplications.Itisthusnotsurprisingthatsomecomponent-basedapproaches
have proposed extensions to supportthe developmentof autonomic systems [3,4]. In
theseworks,theArchitectureDescriptionLanguage(ADL),whichcommonlyenables
architectstodescribethestructureoftheirapplicationatdesign-time,hasbeenextended
(cid:2)ThisworkwaspartiallyfundedbytheFrenchANRTLFAROSproject.
R.Mirandola,I.Gorton,andC.Hofmeister(Eds.):QoSA2009,LNCS5581,pp.1–17,2009.
(cid:2)c Springer-VerlagBerlinHeidelberg2009
