Programme of SC at ETAPS 2006

(5th International Symposium on Software Composition)

Saturday, March 25

09:00 - 10:15 SESSION 1 (SC, Saturday, March 25, room: EI 10)

Invited Talk
Semantically Enabled Service-oriented Architectures
Dieter Fensel (DERI Galway, IRL, and DERI Innsbruck, A)

10:15 - 10:30 Coffee

10:30 - 12:30 SESSION 2 (SC, Saturday, March 25, room: EI 10)

Composition Contracts (chair: Alexandre Bergel)
Automatic Checking of Component Protocols in Component-Based Systems
Wolf Zimmermann and Michael Schaarschmidt (Martin-Luther Univ. Halle-Wittenberg, D)
Checking Component Composability
Christian Attiogbé, Pascal André, and Gilles Ardourel (Univ. of Nantes, F)
Static Verification of Indirect Data Sharing in Loosely-coupled Component Systems
Lieven Desmet, Frank Piessens, Wouter Joosen, and Pierre Verbaeten (Katholieke Univ. Leuven, B)
Enforcing Different Contracts in Hierarchical Component-Based Systems
Philippe Collet (Univ. of Nice, Sophia Antipolis, F), Alain Ozanne, and Nicolas Rivierre (France Télécom, F)

12:30 - 14:00 Lunch

14:00 - 15:30 SESSION 3 (SC, Saturday, March 25, room: EI 10)

AOP I (chair: Welf Löwe)
Automated Pattern-Based Pointcut Generation
Mathieu Braem, Kris Gybels, Andy Kellens, and Wim Vanderperren (Vrije Univ. Brussel, B)
An Aspect-Oriented Approach for Developing Self-Adapting Fractal Components
Pierre-Charles David (France Télécom, F) and Thomas Ledoux (École des Mines de Nantes, F)
Aspects of Composition in the Reflex AOP Kernel
Éric Tanter (Univ. of Chile, RCH)

15:30 - 15:45 Coffee

15:45 - 17:15 SESSION 4 (SC, Saturday, March 25, room: EI 10)

Behavioral Semantics (chair: Wolf Zimmermann)
A Component-based Approach to Compose Transaction Standards
Romain Rouvoy (Univ. of Lille, F), Patricia Serrano-Alvarado (Univ. of Nantes, F), and Philippe Merle (Univ. of Lille, F)
A Class-Based Object Calculus of Dynamic Binding: Reduction and Properties
Pawel T. Wojciechowski (Poznán Univ. of Technology, PL)
Tracechecks: Defining Semantic Interfaces with Temporal Logic
Eric Bodden and Volker Stolz (RWTH Aachen Univ., D)

Sunday, March 26

08:45 - 10:45 SESSION 1 (SC, Sunday, March 26, room: EI 10)

Composition Models (chair: Kung-Kiu Lau)
Service Composition with Directories
Ion Constantinescu, Walter Binder, and Boi Faltings (EPFL, Lausanne, CH)
Modeling Composition in Dynamic Programming Environments with Model Transformations
Uwe Zdun and Mark Strembeck (Vienna Univ. of Economics and BA, A)
General Composition of Software Artifacts
William Harrison (Trinity College, IRL), Harold Ossher, Peri Tarr (IBM Thomas J. Watson Research Center, USA)
Dimensions of Composition Models for Supporting Software Evolution?
In-Gyu Kim, Tegegne Marew, Doo-Hwan Bae (KAIST, ROK), Jang-Eui Hong (CBNU, ROK), and Sang-Yoon Min (KAIST Venture Incubator, ROK)

10:45 - 11:00 Coffee

11:00 - 12:30 SESSION 2 (SC, Sunday, March 26, room: EI 10)

AOP II (chair: Wim Vanderperren)
Context-Aware Aspects
Éric Tanter (Univ. of Chile, Santiago, RCH), Kris Gybels (Vrije Univ. Brussel, B), Marcus Denker (Univ. of Bern, CH), and Alexandre Bergel (Trinity College, IRL)
Understanding Design Patterns Density with Aspects - a Case Study in JHotDraw with AspectJ
Simon Denier and Pierre Cointe (École des Mines de Nantes, F)
A Model for Developing Component-Based and Aspect-Oriented Systems
Nicolas Pessemier, Lionel Seinturier (INRIA, F), Thierry Coupaye (France Télécom, F), and Laurence Duchien (INRIA, F)

12:30 - 13:45 Lunch

13:45 - 15:45 SESSION 3 (SC, Sunday, March 26, room: EI 10)

Composition Techniques (chair: Thomas Gschwind)
FROGi: Fractal Components Deployment over OSGi
Mikael Desertot (Domaine Univ., Grenoble, F), Humberto Cervantes (Univ. Autonoma Metropolitana-Iztapalapa, MEX), and Didier Donsez (Domaine Univ., Grenoble, F)
Modular Design of Man-Machine Interfaces with Larissa
K. Altisen, F. Maraninchi, and D. Stauch (Verimag, F)
On the Integration of Classboxes into C#
Markus Lumpe (Iowa State Univ., USA) and Jean-Guy Schneider (Swinburne Univ. of Technology, AUS)
Automatic Control Flow Generation from Software Architectures
Kung-Kiu Lau and Vladyslav Ukis (Univ. of Manchester, UK)

15:45 - 16:00 Coffee

16:00 - 17:00 SESSION 4 (SC, Sunday, March 26, room: EI 10)

Concluding Discussion and Remarks

19:30 SOCIAL EVENT (Sunday, March 26)

Joint Workshops Pre-Conference Dinner
Dinner at the historic restaurant Piaristenkeller, Piaristengasse 45, 1080 Wien

Further ETAPS 2006 Programme Information:

ETAPS 2006 | Top | HTML 4.01 | Last Update: 2006-03-23