Table of Contents

Program

Saterday 24 March

Invited Talk:

Chair: Markus Lumpe

9h-9h15 Welcome
9h15-10h30 Invited Talk: Farhad Arbab, CWI, The Netherlands: Composition by Anonymous Third Parties
10h30-11h Coffee Break

Composition Contracts:

Chair: Kung-Kiu Lau

11h-11h30 12. Defining Component Protocols with Service Composition: Illustration with the Kmelia Model. Pascal André, Gilles Ardourel, Christian Attiogbé, LINA - University Of Nantes, France
11h30-12h 37. Composite Contract Enforcement in Hierarchical Component Systems. Alain Ozanne, Nicolas Rivierre, France Telecom R&D, Philippe Collet, University of Nice - Sophia Antipolis, I3S Laboratory, Jacques Malenfant, Computer Science Laboratory of University Paris 6 (LIP 6), France
12h-12h30 43. Towards a Unifying Theory for Choreography Conformance and Contract Compliance. Mario Bravetti, Gianluigi Zavattaro, University of Bologna, Italy
12h30-14h Lunch Break

Composition Design & Analysis

Chair: Uwe Aßmann

14h-14h30 5: A Process Algebraic Approach to Workflow Specification and Refinement. Peter Wong, Jeremy Gibbons. University of Oxford, UK
14h30-15h 36: Generic Feature-Based Software Composition. Tijs Van der Storm, CWI, The Netherlands
15h-15h30 7: Composition support based on Behavior Interfaces for a predictable assembly. Xabier Aretxandieta, Goiuria Sagardui, University of Mondragon, Franck Barbier, Pau University, USA
15h30-16h 54: Error propagation analysis in composition of software services. Vittorio Cortellessa, Universita’ dell’Aquila, Pasqualina Potena, Universita’“G. D’Annunzio”, Italy
16h-16h15 Coffee Break

Dynamic Composition:

Chair: Wim Vanderperren

16h15-16h45 19: Dynamically Adaptable Applications with iPOJO Service Components. Clement Escoffier, Richard Hall, Grenoble University, France
16h45-17h15 29: Dynamic Contextual Service Ranking. Andre Bottaro, France Telecom, Richard Hall, Grenoble University, France
17h45-18h Wrap-up

Sunday 25 March

Short Papers Session

Chair: Markus Lumpe

8h45-9h Welcome
9h-9h20 31: Measuring Reactability of Persistent Computing Systems. Takumi Endo, Yuichi Goto, Jingde Cheng, Saitama University, Japan
9h20-9h40 57: Requirements for applying aspect-oriented techniques in webservice composition languages. Mathieu Braem, Niels Joncheere, Vrije Universiteit Brussel, Belgium
9h40-10h 64: Synthesizing Communication Middleware from Explicit Connectors in Component Based Distributed Architectures. Dietmar Schreine, Karl Göschka, Vienna University of Technology, Austria
10h-10h20 10: Streamlining Feature-Oriented Designs. Martin Kuhlemann, Sven Apel, Thomas Leich, University of Magdeburg, Germany
10h20-10h40 67: Requirements for Reusable Aspect Deployment. Bruno De Fraine, Mathieu Braem, Vrije Universiteit Brussel, Belgium
10h40-11h Coffee Break

Aspect-Oriented Programming:

Chair: Wim Vanderperren

11h-11h30 61. Aspect-Oriented Programming: Selecting and Exposing Object Paths. Mohammed Al-Mansari, Stefan Hanenberg, Rainer Unland, University of Duisburg-Essen, Germany
11h30-12h 22: Debugging Aspect-Composed Programs. Marc Eaddy, Alfred Aho, Columbia University, Weiping Hu, Paddy McDonald, Julian Burger, Microsoft Corporation, USA
12h-12h30 51: Unification of Static and Dynamic AOP for Evolution in Embedded Software Systems. Wasif Gilani, Fabian Scheler, Erlangen University Germany
12h30-14h Lunch Break

Structural Composition

Chair: Vittorio Cortellessa

14h-14h30 42: Patterns of Component Evolution. Rajesh Vasa, Faculty of Information & Communication Technologies, Swinburne University of Technology, Markus Lumpe, Iowa State University, Jean-Guy Schneider, Swinburne University of Technology
14h30-15h 15: A Model for Structural Pattern Composition. Imed Hammouda, Kai Koskimies, Tampere University of Technology, Finalnd
15h-15h30 21: Composite Connectors for Composing Software Components. Kung-Kiu Lau, Ling Ling, Perla Velasco, University of Manchester, UK
15h30-16h Wrap-up
16h-16h30 Final Coffee Break