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

May 3, 2003: EXECUTION-BASED VERIFICATION

7:15 Program Committee Breakfast

9:00 Welcome, Opening and Community Issues

9:15 Session 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

10:30 - 11:00 Morning Break

11:00 Session 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

12:30 - 14:00 Lunch

14:00 Working Sessions on Measurement and Prediction

Topics to be announced

15:30 - 16:00 Afternoon Break

16:00 Working Sessions on Runtime Verification

Topics to be announced

17:30 Closing Day 1

May 4, 2003: MODELLING AND SYNTHESIS

9:00 Summary and Open Issues of Day 1 Sessions

9:15 Session III. Analysis, Design and Patterns

Design for Verification: Using Design Patterns to Build Reliable Systems
Peter C. Mehlitz and John J. Penix

Generating Configurable Containers for Component-Based Software
Nigamanth Sridhar and Jason O. Hallstrom

Modeling and Analysis of Architectural Styles Based on Graph Transformation
Luciano Baresi, Reiko Heckel, Sebastian Thöne and Dániel Varró

Infrastructure Support for Predictable Policy Enforcement
Gary Vecelli and William Thomas

10:30 - 11:00 Morning Break

11:00 Session IV. Compositionality Issues for Extra-Functional Properties

Experiments with composing component properties
Dick Hamlet, Milan Andric and Zheng Tu

Expressiveness Issues in Compositional Performance Reasoning
Bruce W. Weide, William F. Ogden and Murali Sitaraman

11:40 Session V. Generative Modelling and Synthesis

Automating Service Dependency Management in a Service-Oriented Component Model
Humberto Cervantes and Richard S. Hall

A compositional synthesis of failure-free connectors for correct components assembly
Paola Inverardi and Massimo Tivoli

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

12:30 - 14:00 Lunch

14:00 Working Sessions on Analysis, Design and Patterns

Topics to be announced

15:30 - 16:00 Afternoon Break

16:00 Working Session on Compositionality, Generation and Synthesis

16:30 Workshop Summary and Report

17:00 Closing Workshop