Programme of SC at ETAPS 2006
Saturday, March 25
09:00 - 10:15 SESSION 1 (SC, Saturday, March 25, room: EI 10)
- Welcome
- 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:
- Programme Overview
- Main Conferences:
Complete Programme,
CC,
ESOP,
FASE,
FOSSACS,
TACAS
- Workshops:
ACCAT,
AVIS,
CMCS,
COCV,
DCC,
EAAI,
FESCA,
FRCSS,
GT-VMT,
LDTA,
MBT,
QAPL,
SLAP,
SPIN,
TERMGRAPH,
WITS,
WRLA
- Tutorials:
Phoenix,
QuantComp
ETAPS 2006 |
Top |
HTML 4.01 |
Last Update: 2006-03-23