Quality of Software Architectures and Software Quality: First International Conference on the Quality of Software Architectures, QoSA 2005, and Second International Workshop on Software Quality, SOQUA 2005, Erfurt, Germany, September 20-22, 2005. Proceedi PDF
Preview Quality of Software Architectures and Software Quality: First International Conference on the Quality of Software Architectures, QoSA 2005, and Second International Workshop on Software Quality, SOQUA 2005, Erfurt, Germany, September 20-22, 2005. Proceedi
Lecture Notes in Computer Science 3712 CommencedPublicationin1973 FoundingandFormerSeriesEditors: GerhardGoos,JurisHartmanis,andJanvanLeeuwen EditorialBoard DavidHutchison LancasterUniversity,UK TakeoKanade CarnegieMellonUniversity,Pittsburgh,PA,USA JosefKittler UniversityofSurrey,Guildford,UK JonM.Kleinberg CornellUniversity,Ithaca,NY,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 NewYorkUniversity,NY,USA DougTygar UniversityofCalifornia,Berkeley,CA,USA MosheY.Vardi RiceUniversity,Houston,TX,USA GerhardWeikum Max-PlanckInstituteofComputerScience,Saarbruecken,Germany Ralf Reussner Johannes Mayer Judith A. Stafford Sven Overhage Steffen Becker Patrick J. Schroeder (Eds.) Quality of Software Architectures and Software Quality First International Conference on the Quality of Software Architectures, QoSA 2005 and Second International Workshop on Software Quality, SOQUA 2005 Erfurt, Germany, September 20-22, 2005 Proceedings 1 3 VolumeEditors RalfReussner SteffenBecker UniversityofOldenburg,DepartmentofComputingScience Escherweg2,26121Oldenburg,Germany E-mail:{reussner,becker}@informatik.uni-oldenburg.de JohannesMayer UniversityofUlm,DepartmentofAppliedInformationProcessing Helmholtzstr.18,89069Ulm,Germany E-mail:[email protected] JudithA.Stafford TuftsUniversity,DepartmentofComputerScience 161CollegeAvenue,Medford,MA02155,USA E-mail:[email protected] SvenOverhage UniversityofAugsburg DepartmentofSoftwareEngineeringandBusinessInformationSystems Universitätsstr.16,86135Augsburg,Germany E-mail:[email protected] PatrickJ.Schroeder MilwaukeeSchoolofEngineering DepartmentofElectricalEngineeringandComputerScience Milwaukee,WI53202,USA E-mail:[email protected] LibraryofCongressControlNumber:2005932207 CRSubjectClassification(1998):D.2.4,F.3,D.4,C.4,K.4.4,C.2 ISSN 0302-9743 ISBN-10 3-540-29033-8SpringerBerlinHeidelbergNewYork ISBN-13 978-3-540-29033-9SpringerBerlinHeidelbergNewYork Thisworkissubjecttocopyright.Allrightsarereserved,whetherthewholeorpartofthematerialis concerned,specificallytherightsoftranslation,reprinting,re-useofillustrations,recitation,broadcasting, reproductiononmicrofilmsorinanyotherway,andstorageindatabanks.Duplicationofthispublication orpartsthereofispermittedonlyundertheprovisionsoftheGermanCopyrightLawofSeptember9,1965, initscurrentversion,andpermissionforusemustalwaysbeobtainedfromSpringer.Violationsareliable toprosecutionundertheGermanCopyrightLaw. SpringerisapartofSpringerScience+BusinessMedia springeronline.com ©Springer-VerlagBerlinHeidelberg2005 PrintedinGermany Typesetting:Camera-readybyauthor,dataconversionbyScientificPublishingServices,Chennai,India Printedonacid-freepaper SPIN:11558569 06/3142 543210 Preface Thegoalofsoftwareengineeringistoachievehigh-qualitysoftwareinacost-effective, timely,andreproduciblemanner.Advancesintechnologyofferreductionsincostand schedule,buttheireffectonsoftwarequalityoftenremainsunknown.TheInternational ConferenceontheQualityofSoftwareArchitectures(QoSA2005)focusedonsoftware architectures and their relation to software quality, while the International Workshop on Software Quality (SOQUA 2005) mainly focused on quality assurance and more precisely on software testing. These events complement each other in their view on softwarequality. One of the main motivations for explicitly modelling software architectures is to enablereasoningonsoftwarequality.Fromasoftwareengineeringperspective,asoft- ware architecturenotonly depictsthe coarse-grainedstructure of a program,butalso includesadditionalinformationsuchastheprogram’sdynamics(i.e.,theflowsofcon- trol through the system) and the mapping of its componentsand connections to exe- cutionenvironments(suchashardwareprocessors,virtualmachines,networkconnec- tions,andthelike).Inthisarea,QoSA2005isconcernedwithresearchandexperiences thatinvestigatetheinfluenceaspecificsoftwarearchitecturehasonsoftwarequalityas- pects.Additionally,thedevelopmentofmethodstoevaluatesoftwarearchitectureswith respecttothesequalityattributesisconsideredtobeanimportanttopic.Thequalityat- tributesofinterestincludeexternalproperties,suchasreliabilityandefficiency,aswell asinternalproperties,suchasmaintainability. Fromabusiness-orientedperspective,softwarearchitecturesaremostoftenembed- dedintoagreaterorganizationalcontext(e.g.,largeenterprises)andcannotbeseenin isolation fromthatcontext.Requirementsthatemergefrom thiscontexthave a major impact on the architecture being developed and have to be dealt with by means of a business-orientedmanagementofsoftwarearchitectures.Inthisfield,QoSA2005aims atinvestigatingtheimpactthatactivitieslikethecoordinationofbusinessarchitecture and software architecture, business process modelling, assessment and acquisition of (COTS)components,aswellastheintegrationormigrationoflegacysystemshaveon thequalityofsoftwarearchitectures. Although it is well-known that software architectures heavily influence software quality, validated research in this area is only recent. Today, even reliable experience reportsthatgo beyondanecdotesfrompractitionerarerare. Fora longtime, the soft- warearchitecturecommunitywasmainlyconcernedwithformalspecificationofarchi- tectures. The use of architecturesbeyond the specification has only lately been taken intoconsiderationbydifferentcommunitiesthatareproducingresultsontheprediction ofvariousqualityattributes,softwarearchitectureevaluation,costestimation,architec- turalre-usethroughpatterns,etc.Byrecognizingtheintrinsicrelationshipbetweenthe mentionedareaswhich share an architecture-basedapproach,the main idea of QoSA 2005wastobringtogetherresearchersandpractitionerfromthesedifferentcommuni- tiesconcernedwithallareasrelatingtosoftwarearchitecturequality. VI Preface Qualityassuranceplaysanimportantroleintoday’sworldandhasgainedincreased importance. SOQUA 2005, which was organized within the Net.ObjectDays and co- locatedwithQoSA2005,mainlyconcentratedonthistopic.Object-orientedconcepts, componenttechnology,componentsofftheshelf(COTS),andopensourcesoftwarecan dramaticallyreducedevelopmenttime;however,assuringthequalityofsystemsusing thesetechnologiesisproblematic. The job of measuring, assuring, and improvingthe quality of software systems is getting harder with new technologies, not easier. The goal of this workshop was to bringtogetherresearchers,engineers,andpractitionerstodiscussandevaluatethelatest challenges and breakthroughsin the field of software quality. The main focus of the workshopwasonsoftwarequalityassuranceandmorespecificallyonsoftwaretesting. The generation of test data is still one of the most prominent problems in this area. Therefore,anumberofpaperspresentedandpublishedarededicatedtothisimportant problem. Inlinewithabroadinterest,QoSA2005received32submissions.Fromthesesub- missions, 12were acceptedaslongpapersafter a peer-reviewprocess.Theyare pub- lishedinthisvolume,togetherwithanextendedabstractoftheinvitedtalkbyChristine Hofmeister.Fiveadditionalsubmissionswereconsideredasoriginalnewresearch,but withouthavingsuchanelaboratedvalidationastheaccepted,morematurelongpapers. Thesepaperswereacceptedaspostersandwerepublishedasshortpapersinthegeneral Net.ObjectDays2005proceedings.Havingreceivedthishighattractionencouragesus tocontinuewithshapingacommunitythatisfocusedonsoftwarearchitecturequality andestablishingQoSAastheirprimaryconferenceinthefuture. SOQUA 2005 attracted 17 submissions from all over the world. In total 6 papers could be accepted as long papers after a peer-review process. These papers are pub- lished in this volume, together with an extended abstract on the invited talk by T.Y. Chen.Threeadditionalpaperswereacceptedasshortpapers,whichwerepublishedin the Net.ObjectDaysproceedingsand presentedwithin a specialjoint session with the Net.ObjectDaysDeveloperTrack. AmongthemanypeoplewhocontributedtothesuccessofQoSA2005andSOQUA 2005,wewouldliketothankthemembersoftheProgramCommitteesfortheirvalu- able work during the review process, Ch. Hofmeister for her keynote at QoSA 2005, and T.Y. Chen for his invited talk at SOQUA 2005. Additionally, we thank the orga- nizersoftheNet.ObjectDays2005,inparticularMrs.Paradies,fortheirsupportinall organizationalconcerns as well as Mr. Hofmann from Springer for his supportin re- viewingandpublishingtheproceedingsvolume.TheQoSAorganizerswouldalsolike tothankthecooperatingpartnersfortheirsupport.TheSOQUAorganizersaregrateful totheircooperatingandsupportingorganizationsandinparticulartoJuliaCodrington, WolfgangGrieskamp,ChaniJohnson,andMarioWinterfortheirsupport. July2005 RalfReussner JohannesMayer JudithStafford SvenOverhage SteffenBecker PatrickJ.Schroeder Organization QoSA 2005 OrganizersandProgramChairs RalfReussner,UniversityofOldenburg,Germany JudithStafford,TuftsUniversity,USA SvenOverhage,AugsburgUniversity,Germany SteffenBecker,UniversityofOldenburg,Germany ProgramCommittee ColinAtkinson,UniversityofMannheim,Germany AntoniaBertolino,ISTI-CNR,Italy AlexanderBrändle,MicrosoftResearch,UK ChristianBunse,FraunhoferIESE,Germany MichelChaudron,EindhovenUniversityofTechnology,Netherlands IvicaCrnkovic,MälardalenUniversity,Sweden PeterDadam,UniversityofUlm,Germany ViktoriaFirus,UniversityofOldenburg,Germany UlrichFrank,UniversityofDuisburg-Essen,Germany KurtGeihs,UniversityofKassel,Germany IanGorton,NICTA,Australia VolkerGruhn,UniversityofLeipzig,Germany WilhelmHasselbring,UniversityofOldenburg,Germany Jean-MarcJézéquel,IRISA(Univ.Rennes&INRIA),France StefanKirn,UniversityofHohenheim,Germany JulianaKüster-Filipe,UniversityofBirmingham,UK RaffaelaMirandola,UniversitàRoma“TorVergata”,Italy JürgenMünch,FraunhoferIESE,Germany DietmarPfahl,FraunhoferIESE,Germany FrantisekPlasil,CharlesUniversity,CzechRepublic ImanPoernomo,King’sCollegeLondon,UK AndreasRausch,UniversityofTechnologyKaiserslautern,Germany MatthiasRiebisch,TechnicalUniversityIlmenau,Germany BernhardRumpe,UniversityofTechnologyBraunschweig,Germany ChristianSalzmann,BMWCarIT,Germany HeinzSchmidt,MonashUniversity,Australia Jean-GuySchneider,SwinburneUniversityofTechnology,Australia JohannesSiedersleben,sd&mAG,Germany ElmarSinz,UniversityofBamberg,Germany MichaelStal,SiemensAG,Germany ClemensSzyperski,MicrosoftResearch,USA VIII Organization KurtWallnau,SoftwareEngineeringInstitute,USA WolfgangWeck,IndependentSoftwareArchitect,Switzerland Co-reviewers GuglielmoDeAngelis,UniversitàdiRoma,Italy SamirAmiry,FraunhoferIESE,Germany ReinderBril,EindhovenUniversityofTechnology,Netherlands YunjaChoi,FraunhoferIESE,Germany AleksandarDimov,MälardalenUniversity,Sweden SimonGiesecke,UniversityofOldenburg,Germany VincenzoGrassi,UniversitàdiRoma,Italy JensHappe,UniversityofOldenburg,Germany RikardLand,MälardalenUniversity,Sweden MorenoMarzolla,UniversitàdiVenezia,Italy JohanMuskens,EindhovenUniversityofTechnology,Netherlands SasikumarPunnekkat,MälardalenUniversity,Sweden DanielSchneider,FraunhoferIESE,Germany MassimoTivoli,MälardalenUniversity,Sweden JohanFredriksson,MälardalenUniversity,Sweden ErikdeVink,EindhovenUniversityofTechnology,Netherlands TimoWarns,UniversityofOldenburg,Germany CooperatingandSupportingPartners AugsburgUniversity,Germany CarnegieMellonUniversity/SoftwareEngineeringInstitute(SEI),Pittsburgh,USA FraunhoferIESE,Kaiserslautern,Germany GermanComputerScienceSociety(GIe.V.),GIAKSoftArch,Germany MicrosoftResearch,Cambridge,UK OFFIS,Oldenburg,Germany OversoftSoftware,Frankfurt,Germany sd&m,Munich,Germany TuftsUniversity,Boston,USA UniversityofOldenburg,Germany SOQUA2005 Organizer JohannesMayer,UniversityofUlm,Germany ProgramChairs JohannesMayer,UniversityofUlm,Germany PatrickJ.Schroeder,MilwaukeeSchoolofEngineering,USA Organization IX ProgramCommittee PaulAmmann,GeorgeMasonUniversity,USA ArnaldoDiasBelchior,UniversidadedeFortaleza,Brazil GiovanniDenaro,UniversityofMilano-Bicocca,Italy Hans-DieterEhrich,TechnicalUniversityofBraunschweig,Germany RicardodeAlmeidaFalbo,UniversidadeFederaldoEspíritoSanto,Brazil Marie-ClaudeGaudel,UniversitéParisSud,France WolfgangGrieskamp,MicrosoftResearch,USA NeelamGupta,UniversityofArizona,USA DickHamlet,PortlandStateUniversity,USA ThomasA.Henzinger,EPFL,Switzerland PankajJalote,IndianInstituteofTechnologyKanpur,India BingchiangJeng,NewYorkUniversity,Taiwan YvesLedru,LSR/IMAG,France HenriqueMadeira,UniversityofCoimbra,Portugal ChristineMingins,MonashUniversity,Australia OscarPastor,ValenciaUniversityofTechnology,Spain MauroPezzè,UniversityofMilano-Bicocca,Italy MarioPiattini,UniversityofCastilla-LaMancha,Spain MarcRoper,UniversityofStrathclyde,Glasgow,UK DavidS.Rosenblum,UniversityCollegeLondon,UK FranzSchweiggert,UniversityofUlm,Germany JanTretmans,RadboudUniversityNijmegen,Netherlands MarcelloVisconti,UniversidadTecnicaFedericoSantaMaria,Chile MarioWinter,UniversityofAppliedSciencesCologne,Germany BernardWong,UniversityofTechnologySydney,Australia JianjunZhao,FukuokaInstituteofTechnology,Japan Co-reviewers LarsFrantzen,RadboudUniversityNijmegen,Netherlands NikolaiTillmann,MicrosoftResearch,USA DavideTosi,UniversityofMilano-Bicocca,Italy FrédéricVoisin,UniversitéParisSud,France TimWillemse,RadboudUniversityNijmegen,Netherlands CooperatingandSupportingPartners ACMSIGSOFT,USA GermanComputerSociety(GIe.V.),SIGTAV,Germany MicrosoftResearch,Redmond,USA MilwaukeeSchoolofEngineering,USA UniversityofUlm,Germany Table of Contents Keynotes Reexamining the Role of Interactions in Software Architecture Christine Hofmeister ........................................... 1 Are Successful Test Cases Useless or Not? T.Y. Chen .................................................... 2 QoSA Long Papers Software Architecture Evaluation DoSAM – Domain-Specific Software Architecture Comparison Model Klaus Bergner, Andreas Rausch, Marc Sihling, Thomas Ternit´e ............................................... 4 An Architecture-Centric Approach for Producing Quality Systems Antonia Bertolino, Antonio Bucchiarone, Stefania Gnesi, Henry Muccini ................................................ 21 Formal Approaches to Model-Driven QoS-Handling AModel-OrientedFrameworkforRuntimeMonitoringofNonfunctional Properties Kenneth Chan, Iman Poernomo, Heinz Schmidt, Jane Jayaputera.... 38 Predicting Mean Service Execution Times of Software Components Based on Markov Models Jens Happe ................................................... 53 Modelling QoS in Software Architectures An XML-Based Language to Support Performance and Reliability Modeling and Analysis in Software Architectures Vincenzo Grassi, Raffaela Mirandola, Antonino Sabetta............. 71 Formal Definition of Metrics Upon the CORBA Component Model Miguel Goula˜o, Fernando Brito e Abreu .......................... 88 XII Table of Contents Software Architectures Applied The Architect’s Dilemma – Will Reference Architectures Help? Martin Haft, Bernhard Humm, Johannes Siedersleben .............. 106 Architectural Reuse in Software Systems In-house Integration and Merge – Experiences from Industry Rikard Land, Ivica Crnkovi´c, Stig Larsson, Laurens Blankers ........ 123 Architectural Design for QoS Supporting Security Sensitive Architecture Design Muahmmad Ali Babar, Xiaowen Wang, Ian Gorton ................ 140 Exploring Quality Attributes Using Architectural Prototyping Jakob Eyvind Bardram, Henrik Bærbak Christensen, Aino Vonge Corry, Klaus Marius Hansen, Mads Ingstrup ........... 155 Model-Driven Software Quality Estimation On the Estimation of Software Reliability of Component-Based Dependable Distributed Systems Aleksandar Dimov, Sasikumar Punnekkat ......................... 171 Empirical Evaluation of Model-Based Performance Prediction Methods in Software Development Heiko Koziolek, Viktoria Firus .................................. 188 SOQUA Long Papers Test Case Selection Automatic Test Generation for N-Way Combinatorial Testing Changhai Nie, Baowen Xu, Liang Shi, Guowei Dong ............... 203 Automated Generation and Evaluation of Dataflow-Based Test Data for Object-Oriented Software Norbert Oster ................................................. 212
Description:The list of books you might like
