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

300 Pages·2005·3.07 MB·English

by  Christine Hofmeister (auth.)

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