The 9^th International SIGSOFT Symposium on

Component-Based Software Engineering

(CBSE 2006)

 

Future Directions for CBSE

 

Mälardalen University, Västerås near Stockholm, Sweden

June 29^th -1^st July 2006

 

Goals               Scope              Program           Registration/Venue

 

Goals

Component-based Software Engineering (CBSE) is concerned with the development of software intensive systems from reusable parts (components), the development of reusable parts, and system maintenance and improvement by means of component replacement and customization. The CBSE symposium has a track record of bringing together researchers and practitioners from a variety of disciplines to promote a better understanding of CBSE from a diversity of perspectives, and to engage in active discussion and debate.

 

CBSE 2006 is open to all participants interested in CBSE and related areas. The symposium addresses participants from both universities and industry.

Scope

The use of software components is well-established in diverse application domains, including embedded systems, enterprise servers and distributed applications. While the theoretical underpinnings of component specification, composition, analysis and verification continue to pose research challenges, the engineering contexts for component development are slowly maturing. Contemporary developments such as service-oriented architectures and web services, model-driven development and grid technologies are creating new opportunities and challenges for component-based software engineering.

 

CBSE 2006 includes contributions that explore how the nature of component-based software engineering is being influenced by developments in the field of software technology. In addition to presentations of papers, the symposium incorporates working sessions based around these issues. The sessions will examine how component-based development fits within these emerging software engineering approaches and technologies.

 

Topics covered include:

• Generation and adaptation of component-based systems;
• Components and model-driven development;
• Specification, verification, testing and checking of component systems;
• Compositional reasoning techniques for component models;
• 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;
• Components for service-oriented architectures, web services and grid systems
• Development environments and tools for building component-based systems;
• Components for real-time, secure, safety critical and/or embedded systems;
• Case studies and experience reports.

Program

Thursday | Friday | Saturday

Thursday 29^th June

 

08.30 - 09.15    Registration CBSE

09.15 - 09.30    Welcome

09.30 - 10.30    Keynote I (Jan Bosch)

10.30 - 11:00    Coffee

11:00 - 12:30    Industrial session & panel

12.30 - 13.30    Lunch

13.30 - 14.30    Keynote II (Clemens Szyperski)

14:30 - 15:00    Coffee

15:00 - 18:00    Tutorials - with internal coffee break

 

Full details on the keynotes, panel and tutorials are here.

Friday 30^th June

 

8.30-10.00        Analysis of Component-based Systems

(Session Chair – Ian Gorton, NICTA)

 

Defining and Checking Deployment Contracts for Software Components                                      

Kung-Kiu Lau, Vladyslav Ukis

 

Gloo: A Framework for Modeling and Reasoning About Component-Oriented Language Abstractions

Markus Lumpe

 

Behavioral Compatibility without State Explosion: Design and Verification of a Component-based Elevator Control System

Paul Attie, David Lorenz, Aleksandra Portnova, Hana Chockler

 

Verification of Component-Based Software Application Families

Fei Xie, James Browne

 

10.00-10.30      Break

 

10.30-11.30      Design of Component-based Systems

(Session Chair – TBD)

 

Multi Criteria Selection of Components Using the Analytic Hierarchy Process                    

Joao Cangussu, Kendra Cooper, Eric Wong

 

From Specification to the Experimentation: A Software Component Search Engine Architecture     

Vinicius Garcia, Daniel Lucrédio, Frederico Durão, Eduardo Santos, Eduardo Almeida, Renata Fortes, Silvio Meira

 

Architectural Building Blocks for Plug-and-Play System Design

Shangzhu Wang, George Avrunin, Lori Clarke

 

11.30-12.30      Discussion Session (Moderator – TBD)

 

12.30-13.30      Lunch

 

13.30-15.00      Aspects and Components

(Session Chair - Judith Stafford, Tufts)

 

A Symmetric and Unified Approach Towards Combining Aspect-Oriented and Component-Based Software Development   

Davy Suvee, Bruno De Fraine, Wim Vanderperren

 

Designing Software Architectures with an Aspect-Oriented Architecture Description Language       

Jennifer Perez, Nour Ali, Jose Angel Carsi, Isidro Ramos

 

A Component Model Engineered with Components and Aspects               

Lionel Seinturier, Nicolas Pessemier, Laurence Duchien, Thierry Coupaye

 

CBSE in Small and Medium-Sized Enterprise: Experience Report

Kadri Reda, Salah Sadou, François Merciol

 

15.00-15.30      Break

 

15.30-16.30      Discussion Session (Moderator – TBD)

 

16.30-18.00      Parallel Short Paper Presentations

 

Session 1 (Session Chair – TBD)

Defining "Predictable Assembly"

Dick Hamlet

 

MaDcAr: an Abstract Model for Dynamic and Automatic Assembling of Component-Based Applications           

Guillaume Grondin, Noury Bouraqadi, Laurent Vercouter

 

An Enhanced Composition Model for Conversational Enterprise JavaBeans          

Franck Barbier

 

Adaptation of Monolithic Software Components by their Transformation into Composite Configurations Based on Refactoring   

Gautier Bastide

 

Session 2 (Session Chair – Clemens Szyperski, Microsoft)

 

Dynamic Reconfiguration and Access to Services in Hierarchical Component Models

Petr Hnetynka, Frantisek Plasil

 

Towards Encapsulating Data in Component-based Software Systems       

Faris M. Taweel, Kung-Kiu Lau

 

Virtualization of Service Gateways in Multi-provider Environments 

Yvan Royon, Stephane Frenot, Frederic Le Mouel

 

A Tool to Generate an Adapter for the Integration of Web Services Interface         

Juil Kim, Woojin Lee, Kiwon Chong

 

A Quality of Service Driven Development Process Model for Component-based Software Systems  

Heiko Koziolek, Jens Happe

Saturday 1^st July

 

8.30-10.00        Putting Components to Work

(Session Chair – TBD)

 

Supervising Distributed Black Boxes

Philippe Mauran, Gérard Padiou, Xuan Loc Pham Thi

 

Generic Component Lookup

Till Bay, Patrick Eugster, Manuel Oriol

 

Using a lightweight workflow engine in a plugin-based product line architecture

Humberto Cervantes, Sonia Charleston-Villalobos

 

Service Policy Enhancements for the OSGi Service Platform       

Nico Goeminne, Gregory De Jans, Filip De Turck, Bart Dhoedt, Frank Gielen A Formal

 

10.00-10.30      Break

 

10.30-11.30      Performance Issues for Component-based Systems

(Session Chair – Ian Gorton, NICTA)

 

A Process for Resolving Performance Trade-Offs in Component-Based Architectures

Egor Bondarev, Michel Chaudron, Peter de With

 

A Model Transformation Approach for the Early Performance and Reliability Analysis of Component-Based Systems

Vincenzo Grassi, Raffaela Mirandola, Antonino Sabetta

 

Impact of Virtual Memory Managers on Performance of J2EE Applications

Alexander Ufimtsev, Alena Kucharenka, Liam Murphy

 

11.30-12.30      Discussions (Moderator – Ian Gorton, NICTA)

 

12.30-13.30      Lunch

 

13.30-15.00      Component Testing and Embedded Systems

(Session Chair – TBD)

 

A Prototype Tool for Software Component Services in Embedded Real-Time Systems        

Frank Lüders, Daniel Flemström, Anders Wall, Ivica Crnkovic

 

Component Framework for Distributed Embedded Systems

Christo Angelov, Krzysztof Sierszecki, Nicolae Marian, Jinpeng Ma        

 

On-Demand Quality-Oriented Assistance in Component-Based Software Evolution 

Chouki Tibermacine, Régis Fleurquin, Salah Sadou 

 

Components have Test Buddies 

Pankaj Jalote, Rajesh Munshi, Todd Probsting

 

15.00-15.30      Break

 

15.30-16.30      Discussions and Wrap-up (Moderator – TBD)

 

 

Program Chair:

Ian Gorton, National ICT Australia

E-mail: ian.gorton@nicta.com.au

 

Organization Chair

Ivica Crnkovic, Mälardalen University, Sweden

E-mail: ivica.crnkovic@mdh.se

Steering Committee

George Heineman          Worcester Polytechnic Institute, USA

Heinz Schmidt               Monash University, Australia

Judith Stafford               Tufts University, USA

Clemens Szyperski        Microsoft, USA

Kurt Wallnau                 Software Engineering Institute, USA

 

Program Committee

 

Uwe Assmann, Dresden University of Technology, Germany	Jean-Marc Jezequel, IRISA (INRIA & Univ. Rennes 1), France
Mike Barnett,  Microsoft Research, USA	Bengt Jonsson, Uppsala University, Sweden
Judith Bishop, University of Pretoria, South Africa	Dean Kuo, University Of Manchester, UK
Jan Bosch, Nokia Research Center, Finland	Magnus Larsson, ABB, Sweden
Michel Chaudron, University Eindhoven, The Netherlands	Kung-Kiu Lau, University of Manchester, UK
Shiping Chen, CSIRO, Australia	Nenad Medvidovic, University of Southern California, USA
Susan Eisenbach, Imperial College, UK	Rob van Ommering, Philips, The Netherlands
Dimitra Giannakopoulou, RIACS/NASA Ames, USA	Otto Preiss, ABB Switzerland
Lars Grunske, University of Queensland, Austtralia	Ralf Reussner, University of Oldenburg, Germany
Richard Hall, LSR-IMAG, France	Douglas Schmidt, Vanderbilt University, USA
Dick Hamlet, Portland State University, USA	Jean-Guy Schneider, Swinburne University of Tech., Australia
George Heineman, Worcester Polytechnic Institute, USA	Dave Wile, Teknowledge, Corp., USA
Tom Henzinger, EPFL, Switzerland and UC Berkeley, USA	Wolfgang Weck, Independent Software Architect, Switzerland
Paola Inverardi, University of L'Aquila, Italy