ebook img

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 PDF

221 Pages·2009·5.69 MB·English
Save to my drive
Quick download
Download
Most books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.

Preview 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

Lecture 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

See more

The list of books you might like

Most books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.