This material is being posted by Carnegie Mellon University's Software Engineering Institute (SEI) on this Web site as a community service.

To be held in conjunction with the International Conference on Software Engineering (ICSE2003), Portland, Oregon USA 2003.

BACKGROUND

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, modeling, reasoning about, and predicting component and system properties remains challenging in theory and in practice. CBSE6 builds on previous workshops in the ICSE/CBSE series, this year thematically centered on automated composition theories.  Composition theories support reasoning about, and predicting, the runtime properties of assemblies of components. In this workshop 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.

WORKSHOP OBJECTIVES

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. This is a two-day workshop scheduled for Saturday, May 3rd and Sunday, May 4th.

Issues of particular interest 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.

A summary of the workshop including brief descriptions of position papers and a list of attendees will be published as an article in Software Engineering Notes.

PARTICIPATING IN THE WORKSHOP

Attendance at the workshop will be by invitation, in large part, based on acceptance of position papers. Papers submitted to the workshop should

• provide an overview of the domain by way of background
• describe a family of components associated with the problem
• crisply state properties that developers want answered about components, assemblies, architectures or product lines
• discuss a critical issue or describe a novel approach, method or tool, for automated reasoning or prediction
• discuss the plausibility and benefits by way of example or evaluation

WORKSHOP AGENDA

The workshop will be divided into eight sequential sessions; six working sessions held between a welcome session and a closing session. The opening session will include a review of progress made at CBSE5 and w.r.t. the JSS special issue which has come out of this community. Topics of the working sessions will be determined based on the distribution of accepted position papers. The closing session will include reviews of the six working sessions and discussion of directions for follow-on research.

IMPORTANT DATES

SUBMISSION OF POSITION PAPERS

All papers must be submitted by the date listed above, should follow ICSE formatting standards and should be no more than six pages long. All papers must be in PDF format and submitted electronically using the CBSE6 submission web site.

WORKSHOP ORGANIZERS

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

PROGRAM COMMITTEE

Judith Bishop, University of Pretoria, South Africa
Jan Bosch, University of Groningen, The Netherlands
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
Clemens Szyperski, Microsoft Research, USA
Dave Wile, Teknowledge, Corp., USA
Christian Zeidler, ABB Research, Germany