CBSE6 Proceedings

Proceedings of the
6th ICSE Workshop on
Component-Based
Software Engineering:
Automated Reasoning and Prediction
Portland, Oregon, USA
May 3-4, 2003

Proceedings editors
Ivica Crnkovic, Mälardalen University, Sweden
Heinz Schmidt, Monash University, Australia
Judith Stafford, Tufts University, USA
Kurt Wallnau, Software Engineering Institute, Carnegie Mellon University, USA

Proceedings Copyright: The above institutions reserve the rights to reprint the full workshop proceedings.
Papers Copyright: The authors reserve the rights to copying, reprint or republication of their respective papers.
General Copyright and Reprint Permissions: Abstracting is permitted with credit to the source.

The papers in this book comprise the proceedings of the meeting mentioned on the cover and title page. They reflect the authors' opinions and, in the interests of timely dissemination, are published as presented and without change. Their inclusion in this publication does not necessarily constitute endorsement by the editors, Monash University, or, Carnegie Mellon University.

Editorial production by Heinz Schmidt and Judy Stafford
Cover art production by Heinz Schmidt

Foreword

Welcome to Portland and to the 6th ICSE Workshop on Component-Based Software Engineering. This workshop is dedicated to Automated Component-Based Software Engineering.

Component-based technologies and processes have been deployed in many organizations and fields over the past several years. Measurable gains in design flexibility and development productivity have been demonstrated where software component technology has been combined with software architecture and product line practices. However, modelling and prediction of component and system properties and reasoning about them remains challenging in theory and in practice.

CBSE6 builds on previous workshops in the ICSE/CBSE series. This year, emphasis is placed on composition theories that are well founded theoretically, automated by tools, and/or supported by evaluation. Both empirical and formal theories of composition are of interest.

Issues related to automated composition theory include

generation and adaptation of component-based systems;
automatic verification, testing and checking of component systems;
automated management of software architectures, product-lines, variation and configuration;
algorithms for automated component-based software engineering;
compositional reasoning techniques for component models;
aspect-oriented models and automated weaving of component software;
measurement and prediction models for component assemblies;
patterns and frameworks for component-based systems;
extra-functional system properties of components and component-based systems;
static and execution-based measurement of system properties;
assurance and certification of components and component-based systems.

The primary goal of CBSE6 is to achieve better understanding of the state of the art in automated compositional reasoning and prediction. While emphasizing state of the art, the workshop aims at bridging theory and practice. Submission of positions papers was encouraged but was not required for workshop registration. Thirty six papers were received, of which eighteen were accepted. Full papers were reviewed by at least two, most by three, independent reviewers. We plan to invite authors of selected papers to contribute to a special journal issue.

We wish all participants a stimulating exchange of ideas, sharing of experience and vision, and last but not least an enjoyable time at the CBSE6 Workshop and in Portland.

Finally we would like to thank the members of the Workshop Program Committee for their effort and support in making this workshop possible.

Ivica Crnkovic, Heinz Schmidt, Judith Stafford and Kurt Wallnau

Workshop Organization

Workshop Chairs

Ivica Crnkovic, Mälardalen University, Sweden
Heinz Schmidt, Monash University, Australia (Program Chair)
Judith Stafford, Tufts University, USA
Kurt Wallnau, Software Engineering Institute, Carnegie Mellon University, USA

Program Committee

Judith Bishop, University of Pretoria, South Africa
Jan Bosch, University of Groningen, The Netherlands
Ivica Crnkovic, Mälardalen University, Sweden
Jacky Estublier, LSR-IMAG, France
Kathi Fisler, WPI, USA
Dimitra Giannakopoulou, NASA Ames, USA
Richard Hall, Imag/Lsr, France
Dick Hamlet, Portland State University, USA
George Heineman, WPI, USA
Paola Inverardi, University of L'Aquila, Italy
Shriram Krishnamurthi, Brown University, USA
Otto Preiss, ABB/CRC, Switzerland
Heinz Schmidt, Monash University, Australia
Judith Stafford, Tufts University, USA
Clemens Szyperski, Microsoft Research, USA
Kurt Wallnau, Software Engineering Institute, Carnegie Mellon University, USA
Dave Wile, Teknowledge, Corp., USA
Christian Zeidler, ABB Research, Germany

Call for Papers

Workshop Program

A. EXECUTION-BASED VERIFICATION

I. Measurement and Prediction of Extra-Functional Properties

Towards Component-Based Software Performance Engineering
Antonia Bertolino and Raffaela Mirandola

Measuring Component Reliability
John D. McGregor, Judith A. Stafford and Il-Hyung Cho

Component Based Performance Prediction
Xiuping Wu, David McMullan and Murray Woodside

Scenario-Based Prediction of Run-time Resource Consumption in Component-Based Software Systems
Merijn de Jonge, Johan Muskens and Michel Chaudron

II. Specification and Runtime Verification

Specifying Architectural Constraints on Components
Wayne DePrince Jr and Christine Hofmeister

Serious Specification for Composing Components
Mike Barnett, Wolfgang Grieskamp, Clemens Kerer, Wolfram Schulte, Clemens Szyperski, Nikolai Tillmann and Arthur Watson

Run-Time Management of Feature Interactions
Yinghua Jia and Joanne M. Atlee

Verifying the Correctness of Component-Based Applications that Support Business Processes
Remco M. Dijkman, Joao Paulo Andrade Almeida and Dick A.C. Quartel

Integrating Interface Assertion Checkers into Component Models
George T. Heineman

B. MODELLING AND SYNTHESIS

A Generative and Model Driven Framework for Automated Software Product Generation
Wei Zhao, Barrett R.Bryant, Jeffrey G. Gray, Carol C. Burt, Rajeev R. Raje, Andrew M. Olson and Mikhail Auguston