Component-Based Software Engineering

1. Front Matter

   PDF

2. Full Papers

   1. Defining and Checking Deployment Contracts for Software Components

      • Kung-Kiu Lau, Vladyslav Ukis

      Pages 1-16

   2. GLoo: A Framework for Modeling and Reasoning About Component-Oriented Language Abstractions

      • Markus Lumpe

      Pages 17-32

   3. Behavioral Compatibility Without State Explosion: Design and Verification of a Component-Based Elevator Control System

      • Paul C. Attie, David H. Lorenz, Aleksandra Portnova, Hana Chockler

      Pages 33-49

   4. Verification of Component-Based Software Application Families

      • Fei Xie, James C. Browne

      Pages 50-66

   5. Multi Criteria Selection of Components Using the Analytic Hierarchy Process

      • João W. Cangussu, Kendra C. Cooper, Eric W. Wong

      Pages 67-81

   6. From Specification to Experimentation: A Software Component Search Engine Architecture

      • Vinicius Cardoso Garcia, Daniel Lucrédio, Frederico Araujo Durão, Eduardo Cruz Reis Santos, Eduardo Santana de Almeida, Renata Pontin de Mattos Fortes et al.

      Pages 82-97

   7. Architectural Building Blocks for Plug-and-Play System Design

      • Shangzhu Wang, George S. Avrunin, Lori A. Clarke

      Pages 98-113

   8. A Symmetric and Unified Approach Towards Combining Aspect-Oriented and Component-Based Software Development

      • Davy Suvée, Bruno De Fraine, Wim Vanderperren

      Pages 114-122

   9. Designing Software Architectures with an Aspect-Oriented Architecture Description Language

      • Jennifer Pérez, Nour Ali, Jose A. Carsí, Isidro Ramos

      Pages 123-138

   10. A Component Model Engineered with Components and Aspects

       • Lionel Seinturier, Nicolas Pessemier, Laurence Duchien, Thierry Coupaye

       Pages 139-153

   11. CBSE in Small and Medium-Sized Enterprise: Experience Report

       • Reda Kadri, François Merciol, Salah Sadou

       Pages 154-165

   12. Supervising Distributed Black Boxes

       • Philippe Mauran, Gérard Padiou, Xuan Loc Pham Thi

       Pages 166-181

   13. Generic Component Lookup

       • Till G. Bay, Patrick Eugster, Manuel Oriol

       Pages 182-197

   14. Using a Lightweight Workflow Engine in a Plugin-Based Product Line Architecture

       • Humberto Cervantes, Sonia Charleston-Villalobos

       Pages 198-205

   15. A Formal Component Framework for Distributed Embedded Systems

       • Christo Angelov, Krzysztof Sierszecki, Nicolae Marian, Jinpeng Ma

       Pages 206-221

   16. A Prototype Tool for Software Component Services in Embedded Real-Time Systems

       • Frank Lüders, Daniel Flemström, Anders Wall, Ivica Crnkovic

       Pages 222-237

   17. Service Policy Enhancements for the OSGi Service Platform

       • Nico Goeminne, Gregory De Jans, Filip De Turck, Bart Dhoedt, Frank Gielen

       Pages 238-253

   18. A Process for Resolving Performance Trade-Offs in Component-Based Architectures

       • Egor Bondarev, Michel Chaudron, Peter de With

       Pages 254-269

   19. A Model Transformation Approach for the Early Performance and Reliability Analysis of Component-Based Systems

       • Vincenzo Grassi, Raffaela Mirandola, Antonino Sabetta

       Pages 270-284

On behalf of the Organizing Committee I am pleased to present the proceedings of the 2006 Symposium on Component-Based Software Engineering (CBSE). CBSE is concerned with the development of software-intensive systems from reusable parts (components), the development of reusable parts, and system maintenance and improvement by means of component replacement and customization. CBSE 2006 was the ninth in a series of events that promote a science and technology foundation for achieving predictable quality in software systems through the use of software component technology and its associated software engineering practices. We were fortunate to have a dedicated Program Committee comprising 27 internationally recognized researchers and industrial practitioners. We received 77 submissions and each paper was reviewed by at least three Program Committee members (four for papers with an author on the Program Committee). The entire reviewing process was supported by Microsoft’s CMT technology. In total, 22 submissions were accepted as full papers and 9 submissions were accepted as short papers. This was the first time CBSE was not held as a co-located event at ICSE. Hence special thanks are due to Ivica Crnkovic for hosting the event. We also wish to thank the ACM Special Interest Group on Software Engineering (SIGSOFT) for their sponsorship of CBSE 2005. The proceedings you now hold were published by Springer and we are grateful for their support. Finally, we must thank the many authors who contributed the high-quality papers contained within these proceedings.

• Enterprise JavaBeans
• Gateway
• JavaBeans
• OSGi
• Refactoring
• aspect-oriented software
• component composition
• component interoperability
• component systems
• component-based development
• component-based software engineering
• component-based systems
• embedded systems
• modeling
• ser

• Pacific Northwest National Laboratory, Computational and Information Sciences, Richland, USA

  Ian Gorton

• Department of Computer Science, Worcester Polytechnic Institute, Worcester, USA

  George T. Heineman

• School of Innovation, Design and Engineering, Mälardalen University, Västerås, Sweden

  Ivica Crnković

• Centre for Distributed Systems and Software Engineering, Monash University, Melbourne, Australia

  Heinz W. Schmidt

• Computer Science, Tufts University, Boston, Medford, USA

  Judith A. Stafford

• Microsoft, USA

  Clemens Szyperski

• Software Engineering Institute,  

  Kurt Wallnau

Policies and ethics