Component-Based Software Engineering

1. Front Matter

   PDF

2. Component Models: Taxonomies and Applications

   1. On Component Identification Approaches – Classification, State of the Art, and Comparison

      • Dominik Birkmeier, Sven Overhage

      Pages 1-18

   2. Domain-Specific Software Component Models

      • Kung-Kiu Lau, Faris M. Taweel

      Pages 19-35

   3. A Model-Driven Engineering Framework for Component Models Interoperability

      • Ivica Crnković, Ivano Malavolta, Henry Muccini

      Pages 36-53

3. Component Integration: Patterns and Profiling

   1. Process Patterns for Component-Based Software Development

      • Ehsan Kouroshfar, Hamed Yaghoubi Shahir, Raman Ramsin

      Pages 54-68

   2. Selecting Fault Tolerant Styles for Third-Party Components with Model Checking Support

      • Junguo Li, Xiangping Chen, Gang Huang, Hong Mei, Franck Chauvel

      Pages 69-86

   3. Extracting Behavior Specification of Components in Legacy Applications

      • Tomáš Poch, František Plášil

      Pages 87-103

   4. Towards Dynamic Component Isolation in a Service Oriented Platform

      • Kiev Gama, Didier Donsez

      Pages 104-120

4. Communication and Composition

   1. Control Encapsulation: A Calculus for Exogenous Composition of Software Components

      • Kung-Kiu Lau, Mario Ornaghi

      Pages 121-139

   2. Component Specification Using Event Classes

      • Mark Bickford

      Pages 140-155

   3. Integrating Functional and Architectural Views of Reactive Systems

      • Jewgenij Botaschanjan, Alexander Harhurin

      Pages 156-172

5. Extra-Functional Analysis

   1. Integration of Extra-Functional Properties in Component Models

      • Séverine Sentilles, Petr Štěpán, Jan Carlson, Ivica Crnković

      Pages 173-190

   2. Modelling Layered Component Execution Environments for Performance Prediction

      • Michael Hauck, Michael Kuperberg, Klaus Krogmann, Ralf Reussner

      Pages 191-208

   3. Component-Based Real-Time Operating System for Embedded Applications

      • Frédéric Loiret, Juan Navas, Jean-Philippe Babau, Olivier Lobry

      Pages 209-226

6. Components within the Development Life Cycle

   1. Services + Components = Data Intensive Scientific Workflow Applications with MeDICi

      • Ian Gorton, Jared Chase, Adam Wynne, Justin Almquist, Alan Chappell

      Pages 227-241

   2. Ensuring Consistency between Designs, Documentation, Formal Specifications, and Implementations

      • Joseph R. Kiniry, Fintan Fairmichael

      Pages 242-261

   3. Unit Testing of Software Components with Inter-component Dependencies

      • George T. Heineman

      Pages 262-273

7. Back Matter

   PDF

The 2009 Symposium on Component-Based Software Engineering (CBSE 2009) was the 12thin a series ofsuccessful eventsthat havegrowninto the main forum for industrial and academic experts to discuss component technology. Component-based software engineering (CBSE) has emerged as the under- ing technology for the assembly of ?exible software systems. In essence, CBSE is about composing computational building blocks to construct larger building blocks that ful?ll client needs. Most software engineers are involved in some form of component-based development. Nonetheless, the implications of CBSE adoption are wide-reaching and its challenges grow in tandem with its uptake, continuing to inspire our scienti?c speculation. Component-based development necessarily involves elements of software - chitecture, modular software design, software veri?cation, testing, con?guration and deployment. This year’s submissions represent a cross-section of CBSE - search that touches upon all these aspects. The theoretical foundations of c- ponent speci?cation, composition, analysis, and veri?cation continue to pose research challenges. What exactly constitutes an adequate semantics for c- munication and composition so that bigger things can be built from smaller things? How can formal approaches facilitate predictable assembly through b- ter analysis? We have grouped the proceedings into two sub-themes that deal with these issues: component models and communication and composition. At the same time, the world is changing.

• MeDiCi
• Software Engineering
• classification
• consistency
• dependencies
• design
• documentation
• embedded systems
• model-driven engineering
• modeling
• operating system
• process patterns
• software component models
• software development
• structured analysis

• Software Engineering Institute, Software Engineering Institute, Carnegie Mellon® http://www.sei.cmu.edu/staff/glewis, Pittsburgh, USA

  Grace A. Lewis

• The Predictable Assembly Laboratory, , Department of Computer Science,, King’s College London, Strand, http://palab.dcs.kcl.ac.uk, London, UK

  Iman Poernomo

• Computer Science Department, East Stroudsburg University, http://www.esu.edu/~chrish, East Stroudsburg, USA

  Christine Hofmeister

Policies and ethics