Component-Based Software Engineering

1. Front Matter

   PDF

2. Performance Engineering

   1. Automating Performance Analysis from Taverna Workflows

      • Rafael Tolosana-Calasanz, Omer F. Rana, José A. Bañares

      Pages 1-15

   2. An Empirical Investigation of the Effort of Creating Reusable, Component-Based Models for Performance Prediction

      • Anne Martens, Steffen Becker, Heiko Koziolek, Ralf Reussner

      Pages 16-31

   3. Deploying Software Components for Performance

      • Vibhu Saujanya Sharma, Pankaj Jalote

      Pages 32-47

   4. Performance Prediction for Black-Box Components Using Reengineered Parametric Behaviour Models

      • Michael Kuperberg, Klaus Krogmann, Ralf Reussner

      Pages 48-63

3. Extra-Functional Properties: Security and Energy

   1. Validating Access Control Configurations in J2EE Applications

      • Lianshan Sun, Gang Huang, Hong Mei

      Pages 64-79

   2. Classification of Component Vulnerabilities in Java Service Oriented Programming (SOP) Platforms

      • Pierre Parrend, Stéphane Frénot

      Pages 80-96

   3. Component-Level Energy Consumption Estimation for Distributed Java-Based Software Systems

      • Chiyoung Seo, Sam Malek, Nenad Medvidovic

      Pages 97-113

4. Formal Methods and Model Checking

   1. Synthesis of Connectors from Scenario-Based Interaction Specifications

      • Farhad Arbab, Sun Meng

      Pages 114-129

   2. State Space Reduction Techniques for Component Interfaces

      • Markus Lumpe, Lars Grunske, Jean-Guy Schneider

      Pages 130-145

   3. Model Checking of Control-User Component-Based Parametrised Systems

      • Pavlína Vařeková, Ivana Černá

      Pages 146-162

5. Verification Techniques

   1. Automatic Protocol Conformance Checking of Recursive and Parallel Component-Based Systems

      • Andreas Both, Wolf Zimmermann

      Pages 163-179

   2. Structural Testing of Component-Based Systems

      • Daniel Sundmark, Jan Carlson, Sasikumar Punnekkat, Andreas Ermedahl

      Pages 180-195

   3. Towards Component-Based Design and Verification of a μ-Controller

      • Yunja Choi, Christian Bunse

      Pages 196-211

6. Run-Time Infrastructures

   1. ESCAPE: A Component-Based Policy Framework for Sense and React Applications

      • Giovanni Russello, Leonardo Mostarda, Naranker Dulay

      Pages 212-229

   2. Experiences from Developing a Component Technology Agnostic Adaptation Framework

      • Eli Gjørven, Frank Eliassen, Romain Rouvoy

      Pages 230-245

   3. A Practical Approach for Finding Stale References in a Dynamic Service Platform

      • Kiev Gama, Didier Donsez

      Pages 246-261

7. Methods of Design and Development

   1. Towards a Systematic Method for Identifying Business Components

      • Antonia Albani, Sven Overhage, Dominik Birkmeier

      Pages 262-277

   2. Life-Cycle Aware Modelling of Software Components

      • Heiko Koziolek, Steffen Becker, Jens Happe, Ralf Reussner

      Pages 278-285

   3. A Component Selection Framework for COTS Libraries

      • Bart George, Régis Fleurquin, Salah Sadou

      Pages 286-301

On behalf of the Organizing Committee we are pleased to present the p- ceedings of the 2008 Symposium on Component-Based Software Engineering (CBSE). CBSE is concerned with the development of software-intensivesystems from independently developed software-building blocks (components), the - velopment of components, and system maintenance and improvement by means of component replacement and customization. CBSE 2008 was the 11th 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. Wewerefortunateto haveadedicatedProgramCommitteecomprisingmany internationallyrecognizedresearchersandindustrialpractitioners.Wewouldlike to thank the members of the Program Committee and associated reviewers for their contribution in making this conference a success. We received 70 subm- sions and each paper was reviewed by at least three Program Committee m- bers (four for papers with an author on the Program Committee). The entire reviewing process was supported by the Conference Management Toolkit p- vided by Microsoft. In total, 20 submissions were accepted as full papers and 3 submissions were accepted as short papers.

• component models
• component-based systems
• design
• model-driven development
• real-time information systems
• reasoning techniques
• run-time adaptation
• sensor networks
• service-oriented architectures
• software engineering
• software quality
• specification
• systems architecture
• verification
• web services

• Technische Universiteit Eindhoven, Eindhoven, The Netherlands

  Michel R. V. Chaudron

• Microsoft, USA

  Clemens Szyperski

• Chair for Software Design and Quality, University of Karlsruhe (TH),, Karlsruhe, Germany

  Ralf Reussner

Policies and ethics