Building Reliable Component-Based Software Systems -- Contents vii -- Preface xxi -- Introduction xxvii -- References xxxvi -- Part 1: The Definition and Specification of Components 1 -- 1 Basic Concepts in CBSE 3 -- Introduction 3 -- Components 4 -- Interfaces 9 -- Contracts 10 -- Patterns 12 -- Frameworks 14 -- Relations Between Concepts 16 -- Conclusion 19 -- Summary 20 -- References 21 -- 2 Specification of Software Components 23 -- Introduction 23 -- Current Component Specification Techniques 24 -- Specifying the Semantics of Components 27 -- Specifying Extrafunctional Properties of Components 34 -- Summary 37 -- References 37 -- Part 2: Software Architecture and Components 39 -- 3 Architecting Component-Based Systems 41 -- Introduction 41 -- Role of Software Architecture 42 -- Designing Software Architectures 44 -- Architecture-Driven Component Development 49 -- Component-Driven Architecture Development 51 -- Summary 53 -- References 54 -- 4 Component Models and Technolgoy 57 -- Introduction 57 -- Acme ADL 62 -- JavaBeans Component Model 66 -- COM, DCOM, MTS, and COM+ 71 -- CCM 73 -- .NET Component Model 77 -- The OSGI Component Model 79 -- Summary 83 -- Conclusion 85 -- References 86 -- Part 3: Developing Software Components 87 -- 5 CBD Process 89 -- Introduction 89 -- Software Process Models 90 -- CBD 97 -- Component-Based Software Life Cycle 100 -- Summary 111 -- References 111 -- 6 Semantic Integrity in CBD 115 -- Introduction 115 -- General Issues of Semantic Concern 116 -- Levels of Formalism for Semantic Specifications 118 -- Phases in a Component's Life 126 -- A Taxonomy for Component Semantics 128 -- Summary 130 -- References 131 -- 7 Role-Based Component Engineering 135 -- Introduction 135 -- Encouraging the Use of Roles 138 -- Role Technology 142 -- Frameworks and Roles 145 -- Black-Box and White-Box Frameworks 146.

A Model for Frameworks 148 -- Dealing with Coupling 150 -- Summary 152 -- References 152 -- Part 4: Using Software Components 155 -- 8 Dispelling the Myth of Component Evaluation 157 -- Introduction 157 -- Mulitple-Criteria Evaluation 160 -- Exploding the Myth of Component Evaluation 167 -- Assembly Evaluation and Search 173 -- Multiple-Attribute Evaluation and Beyond 175 -- Summary 176 -- References 176 -- 9 Component Composition and Integration 179 -- Introduction 179 -- Component Integration 181 -- From Integration to Composition 182 -- Summary 189 -- References 190 -- 10 Predicting System Trustworthiness 193 -- Introduction 193 -- What Else Can Be Done? -- Summary 202 -- References 203 -- Part 5: Software Product Lines 205 -- 11 Components in Product-Line Architectures 207 -- Introduction 207 -- From Products to Components 208 -- Component Approaches 215 -- Summary 220 -- Conclusion 220 -- References 220 -- 12 The Koala Component Model 223 -- Introduction 223 -- Requirements for Koala 223 -- Binding and Bind Time 224 -- Koala Components 226 -- Provides and Requires Interfaces 227 -- Binding, Gluing, and Switches 228 -- Diveristy Interfaces 229 -- Product-Line Architecture 229 -- Creating Products 233 -- Managing Versions and Variants 223 -- Subtyping 234 -- Conclusion 235 -- References 236 -- Part 6: Real-Time Software Components 237 -- 13 Components in Real-Time Systems 239 -- Introduction 239 -- Characteristics and Challenges of Real-Time Systems 241 -- Real-Time Component Models 243 -- Desiging Component-Basedc Real-Time Systems 249 -- WCET Verification 252 -- Implementation of New Components 253 -- Composition of Components 255 -- Example: Real-Time Components in Rubus OS 257 -- Reuse of Real-Time Components 259 -- Summary 261 -- References 262 -- 14 Testing Reusable Software Components in Safety-Critical Real-Time Systems 265.

Introduction 265 -- Reuse and Exhaustive Testing 267 -- Reuse and Statistical Evidence 270 -- Component Reuse, Statistical Evidence, and Failure Behavior 270 -- Summary 278 -- References 278 -- 15 Providing Real-Time Services for COTS Components 281 -- Introduction 281 -- Windows NT as an RTOS 283 -- Windows NT in a Real-Time Setting 290 -- Conclusion 296 -- References 298 -- Part 7: Case Studies--CBD in Industrial Applications 299 -- 16 Component-Based Embedded Systems 303 -- Introduction 303 -- Problem Domain 304 -- Implications for Component Technology 305 -- Embedding Systems with Synchronous Components 311 -- Case Study Description 313 -- Prerequisites of Effective Development 319 -- Summary 322 -- References 322 -- 17 Architectural Support for Reuse: A Case Study in Industrial Automation 325 -- Introduction 325 -- Industrial Automation Systems 326 -- The Motivation for a Platform 329 -- The Aspect Integrator Platform 331 -- Developing a Domain-Specific Application 346 -- Summary 351 -- References 352 -- 18 A Framework for Integrating Business Applications 355 -- Introduction 355 -- Motivation 356 -- Information Organizer: Support for Building Intergrated Systems 358 -- Modeling and Intergration 363 -- Structure of Aspects and Objects 364 -- Patterns Constructed Using the BOF 365 -- Practical Experience 370 -- Summary 371 -- References 372 -- 19 Industrial Experience with Dassault Systeme Component Model 375 -- Introduction 375 -- The OM Component Model 376 -- Discussion 380 -- Lessons Learned 382 -- Summary 384 -- References 385 -- Contributors 387 -- About the Editors 387 -- About the Authors 388 -- Index 399.