News About the workshop Program Registration & Camera ready submission Accommodation and local info Program Committee Call for Papers

Program

[Workshop format] [Workshop program] [Invited talks] [Accepted papers]

Workshop Format

Workshop Program

Day 1: Wednesday, September 20th

 9:15- 9:30     Welcome

 9:30-10:30     Invited talk 1: Peter Van Roy: Self Management and the Future of Software Design

10:30-11:00     Coffeebreak

11:00-12:30     Session 1: Component Model Checking
                Chair: Eric Madelaine
                Pavel Parizek, Frantisek Plasil: Modeling Environment for Component Model Checking from Hierarchical Architecture
                Heike Wehrheim, Ralf Reussner: Towards more Realistic Component Protocol Modelling

12:30-14:00     Lunch

14:00-15:30     Session 2: Component Composition: Performance and Adaptation
                Chair: Petr Tuma
                Jens Happe, Heiko Koziolek, Ralf Reussner: Parametric Performance Contracts for Software Components with Concurrent Behaviour
                Pascal Poizat, Gwen Salaün, Massimo Tivoli: An Adaptation-based Approach to Incrementally Build Component Systems 

15:30-16:00     Coffeebreak

16:00-17:30     Session 3: Boolean-oriented Formal Models
                Chair: Bernhard Schaetz
                Alexander Stuckenholz: Component updates as a Boolean Optimization Problem
                Stephanie Kemper, Andre Platzer: SAT-based Abstraction Refinement for Real-time Systems

19:00- ....     Workshop dinner: U svabu

Day 2: Thursday, September 21st

 9:00-10:30     Session 4: Formal views of Component Composition
                Chair: Markus Lumpe
                Tomas Barros, Antonio Cansado, Eric Madelaine: Model-checking distributed components: The Vercors platform
                Ivana Cerna, Pavlina Varekova, Barbora Zimmerova: Component substitutability via equivalencies of Component-interaction automata

10:30-11:00     Coffeebreak

11:00-12:30     Session 5: Tool Support for Application from Components
                Chair: Frantisek Plasil
                Meriem Belguidoum, Fabien Dagnat: Dependencies management in software component deployment
                Markus Lumpe: Applications = Components Gloo

12:30-14:00     Lunch

14:00-15:30     Session 6: Model-based Development in Automotive Industry
                Chair: Ralf Reussner
                Bernhard Schätz: Combining Product Lines and Model-Based Development
                Jonas Elmqvist, Simin Nadjm-Tehrani: Safety Oriented Design of Component Assemblies using Safety Interfaces 

15:30-16:00     Coffeebreak
                Practical demonstration: Model-checking distributed components: The Vercors platform
		(Tomas Barros, Antonio Cansado, Eric Madelaine) 
		room S6


16:00-17:30     Session 7: Formal Views of Components
                Chair: Zhiming Liu
                Bernhard Schätz: Combining Product Lines and Model-Based Development
                Sonia Fagorzi, Elena Zucca: A Calculus of Components with Dynamic Type-Checking
                Chouali Samir: Cooperation between the B method and the automata theory to check the component interoperability

19:00- ....     Workshop dinner: Petrinske terasy

Day 3: Friday, September 22nd

 8:30- 9:30     Invited talk 2: Denis Caromel: From Theory to Practice in Distributed Component Systems

 9:30-10:00     Coffeebreak

10:00-11:30     Session 8: Algebraic Component Modeling
                Chair: Frank de Boer
                Artur Zawlocki: Diagram Models for Interacting Concurrent Components
                Seyyed Vahid Hashemian, Farhad Mavaddat: Composition Algebra: Process Composition Using Algebraic Rules

11:30-12:30     Discussion session with refreshments

12:30-14:00     Lunch
14:00-          Workshop ends

Invited speakers

Peter Van Roy
Department of Computing Science and Engineering, Catholic University of Louvain, Belgium

Talk title: Self Management and the Future of Software Design

Abstract:
Most software is fragile: even the slightest error, such as changing a single bit in memory, can make it crash. As software complexity has increased, development techniques, from structured programming to object-oriented programming and leading to recent programming methodologies, have kept pace to manage this fragility. But today there is a new challenge. Complexity is increasing rapidly as a result of two factors: the increasing use of distributed systems as a result of the sufficient reliability and bandwidth of the Internet, and the increasing scale of these systems as a result of the addition of many new computers to the Internet (e.g., mobile phones and other small devices). To manage this new complexity, we propose an approach based on self-managing systems: systems that can maintain useful functionality despite changes in their environment. The paper motivates this approach and gives some ideas on how to build general self-managing software systems.

Denis Caromel
Departement d'Informatique, University of Nice - Sophia Antipolis, France

Talk title: From Theory to Practice in Distributed Component Systems

Abstract:
This talk will start by presenting theoretical results on determinism for asynchronous distributed components. It will then shows how to apply those results in a practical implementation, available as Open Source within the ObjectWeb Open Source community. Further, current work aiming at defining a joint European component model for Grid computing (GCM) will be summarized. Finally, it will conclude with challenges at hand with component systems.

Related references:

[1] Caromel D., Henrio L., Serpette B., Asynchronous and Deterministic Objects, pp. 123--134 in Proceedings of the POPL'04, 31st ACM Symposium on Principles of Programming Languages, ACM Press, POPL, 2004.

[2] Caromel D., Henrio L., A Theory of Distributed Objects, Springer-Verlag, 2005, 378 pages, hardcover, ISBN 3-540-20866-6.

[3] GCM: Grid Component Model NoE, CoreGrid deliverable, 2006, Towards a European Standard Component Model for Grid Computing

[4] Object ProActive, http://ProActive.ObjectWeb.org

Accepted papers: