Welcome to Orlando and to the 5th ICSE Workshop on
Component-Based Software Engineering. This workshop is dedicated to
“Benchmarks for Predictable Assembly”. This material is being posted by Carnegie Mellon University's Software Engineering Institute (SEI) on this Web site as a community service.
Proceedings of
the
5th ICSE
Workshop on Component-Based Software Engineering:
Benchmarks for Predictable
Assembly
Welcome to Orlando and to the 5th ICSE Workshop on
Component-Based Software Engineering. This workshop is dedicated to
“Benchmarks for Predictable Assembly”.
The critical role of software components in modern business systems is no longer a matter of analyst speculation but rather an accomplished fact. However, developers are currently unable to predict the quality of component-based systems; the success of component based development depends on the ability to make such predictions. Research is needed in the area of Predictable Assembly to develop a component composition theory for reasoning about both the functional and extra-functional properties of component assemblies based on the properties of components. The solution to the problem of predictable assembly is the identification and application of a Component Composition Theory, which is based upon both constructive and analytic techniques. The primary goal of CBSE5 is to achieve better understanding of compositional reasoning techniques and to test the feasibility of their use through their application to community model problems.
Issues related to developing a composition theory include determining what properties are of interest to developers and users of components, how to predict the properties of assemblies, how to measure properties of components, how to verify the measurements, and how to communicate the property values to component users. Resolving these issues requires collaborative work of researchers in several domains including compositional reasoning, composition languages, component trust and certification, software architecture, and software components.
The two-day workshop aims to develop a shared understanding of the elements of such a composition theory and of suitable benchmarks relevant for selected application domains. Submission of positions papers was encouraged but was not required for workshop registration. Full papers were reviewed by at least two independent reviewers. Only eleven papers were accepted. 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 CBSE5 Workshop and in Orlando.
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
Organizing Committee
Ivica Crnkovic, Mälardalen University, Sweden
Heinz Schmidt,
Monash University, Australia
Judith Stafford, Software Engineering
Institute, USA
Kurt Wallnau, Software Engineering Institute, USA
Jan Bosch, University of Groningen, The Netherlands
Betty Cheng,
Michigan State University, USA
Ivica Crnkovic, Mälardalen University,
Sweden
Elisabetta Di Nitto, Politecnico di Milano, Italy
Jacky
Estublier, LSR-IMAG, France
Kathi Fisler, WPI, USA
Dimitra
Giannakopoulou, NASA Ames, USA
Richard Hall, Freie Universität Berlin,
Germany
Dick Hamlet, Portland State University, USA
George Heineman,
WPI, USA
Shriram Krishnamurthi, Brown University, USA
Marcus Lumpe,
Iowa State University, USA
John Penix, NASA Ames, USA
Otto Preiss,
ABB/CRC, Switzerland
Heinz Schmidt, Monash University, Australia
Judith
Stafford, Software Engineering Institute, USA
Clemens Szyperski, Microsoft
Research, USA
Kurt Wallnau, Software Engineering Institute, USA
Dave
Wile, Teknowledge, Corp., USA
Workshop White Paper:
Containers for Predictable Behavior
of Component-based Software
Gary Vecellio, William M. Thomas, and Rob
Sanders
Correct and automatic assembly of
COTS components: an architectural approach
Paola Inverardi and
Massimo Tivoli
Issues in Predicting the
Reliability of Composed Components
Judith A. Stafford and John D.
McGregor
Iterators Reconsidered
Jason
O. Hallstrom, Scott M. Pike, and Nigamanth Sridhar
Parameterised Contracts and Adapter
Synthesis
Heinz W. Schmidt and Ralf Reussner
Performance Prediction of COTS
Component-based Enterprise Applications
Shiping Chen, Ian Gorton,
Anna Liu, and Yan Liu
Probabilistic Analysis for Component
Reliability Composition
Dave Mason
Specifying Component Method
Properties for Component State Recovery in RAIC
Chang Liu and Debra
J. Richardson
Statistical Models for Empirical
Component Properties and Assembly-Level Property Predictions: Toward Standard
Labeling
Gabriel Moreno, Scott Hissam, and Kurt Wallnau
A Temporal Logic Approach to
Component–Based System Specification and Reasoning
Nazareno
Aguirre and Tom Maibaum
Using Prediction Enabled Technologies
for Embedded Product Line Architectures
Magnus Larsson, Anders Wall,
Christer Norström, and Ivica Crnkovic