Building reliable component-based software systems

452 Pages·2002·1.408 MB·English

by  Ivica Crnkovic, Magnus Larsson

Y

L
F

M

A

E

T

Team-Fly®
Building Reliable Component-Based
Software Systems
ForalistingofrecenttitlesintheArtechHouseComputingLibrary,
turntothebackofthisbook.
Building Reliable Component-Based
Software Systems
Ivica Crnkovic
Magnus Larsson
Editors
Artech House
Boston (cid:149) London
www.artechhouse.com
LibraryofCongressCataloging-in-PublicationData
Buildingreliablecomponent-basedsoftwaresystems/IvicaCrnkovic,MagnusLarsson,
editors.
p.cm.(cid:151)(ArtechHousecomputinglibrary)
Includesbibliographicalreferencesandindex.
ISBN1-58053-327-2(alk.paper)
1.Componentsoftware(cid:151)Reliability. 2.Softwareengineering.
I.Crnkovic,Ivica. II.Larsson,Magnus(MagnusPeterHenrik),1969(cid:150)
QA76.76.C66B85 2002
005.1(cid:151)dc21 2002021594
BritishLibraryCataloguinginPublicationData
Buildingreliablecomponent-basedsoftwaresystems.(cid:151)(ArtechHousecomputing
library)
1.Softwareengineering 2.Componentsoftware
I.Crnkovic,Ivica II.Larsson,Magnus
005.1
ISBN1-58053-327-2
CoverdesignbyIgorValdman
'2002ARTECHHOUSE,INC.
685CantonStreet
Norwood,MA02062
Allrightsreserved.PrintedandboundintheUnitedStatesofAmerica.Nopartofthisbook
may be reproduced or utilized in any form or by any means, electronic or mechanical, in-
cludingphotocopying,recording,orbyanyinformationstorageandretrievalsystem,with-
outpermissioninwritingfromthepublisher.
Alltermsmentionedinthisbookthatareknowntobetrademarksorservicemarkshave
been appropriately capitalized. Artech House cannot attest to the accuracy of this informa-
tion.Useofaterminthisbookshouldnotberegardedasaffectingthevalidityofanytrade-
markorservicemark.
InternationalStandardBookNumber:1-58053-327-2
LibraryofCongressCatalogCardNumber:2002021594
10987654321
ToTea,Luka,andGordana
(cid:150)Ivica
ToEmmy,Jacob,Ida,andChristina
(cid:150)Magnus
.
Contents
Preface xxi
OrganizationofThisBook xxii
WhoShouldReadThisBook? xxiii
HowtoUseThisBook xxiv
WebSite xxiv
Acknowledgments xxiv
Introduction xxvii
Component-BasedSoftwareEngineering xxix
ChallengesofCBSE xxx
ComponentsinReliableSystems xxxiii
References xxxvi
vii
viii BuildingReliableComponent-BasedSoftwareSystems
Part1:TheDefinitionandSpecification
ofComponents 1
1 BasicConceptsinCBSE 3
Introduction 3
Components 4
DifferentComponentDefinitions 5
ObjectsandComponents 8
Interfaces 9
Contracts 10
Patterns 12
Frameworks 14
RelationsBetweenConcepts 16
FrameworksandComponents 17
FrameworksandContracts 18
FrameworksandPatterns 18
Conclusion 19
Summary 20
References 21
2 SpecificationofSoftwareComponents 23
Introduction 23
CurrentComponentSpecificationTechniques 24
SpecifyingtheSemanticsofComponents 27
SpecifyingExtrafunctionalPropertiesofComponents 34
Summary 37
References 37
Contents ix
Part2:SoftwareArchitectureandComponents 39
3 ArchitectingComponent-BasedSystems 41
Introduction 41
RoleofSoftwareArchitecture 42
AssessmentandEvaluation 42
ConfigurationManagement 43
DynamicSoftwareArchitectures 44
DesigningSoftwareArchitectures 44
ArchitectureDesignProcess 45
ArchitecturalStyles 46
Architecture-DrivenComponentDevelopment 49
CustomComponents 50
PreexistingComponents 50
Component-DrivenArchitectureDevelopment 51
Summary 53
References 54
4 ComponentModelsandTechnology 57
Introduction 57
AShortHistoricalPerspective 58
ComponentInterfaceandConnections 59
PerformingServicesTransparently 60
NotationandPlan 61
AcmeADL 62
ComponentsandPorts 63
ConnectorsandRoles 63
SystemsandAttachments 64
RepresentationsandBindings 64