PROGRAMME Day 1 9:30-9:45 Opening 9:45-10:45 Invited talk 1 Component-based design for avionics systems Gert Doehmen (AIRBUS Deutschland GmbH, Germany) 10:45-11:15 Coffee break 11:15-12:15 Session 1: Component Interaction Action Prefixes: Reified Synchronization Paths in Minimal Component Interaction Automata Markus Lumpe Behaviour Protocols for Interacting Stateful Components with Ports Sebastian S. Bauer, Rolf Hennicker and Stephan Janisch 12:15-14:00 Lunch 14:00-15:30 Session 2: Verification A Boolean algebra of contracts for assume-guarantee reasoning Yann Glouche, Paul Le Guernic, Jean-Pierre Talpin and Thierry Gautier Automated formalisation for verification of diagrammatic models James Williams and Fiona Polack Model Checking of Component Protocol Conformance - Optimizations by Reducing False Negatives Andreas Both and Wolf Zimmermann 15:30-16:00 Coffee break 16:00-17:30 Session 3: Components and Services Reachability in Tree-Like Component Systems is PSPACE-Complete Nils Semmelrock and Mila Majster-Cederbaum Composition of Services with Constraints Philippe Balbiani, Fahima Cheikh, Pierre-Cyrille Heam and Olga Kouchnarenko Using Assertions to Enhance the Correctness of Kmelia Components and their Assemblies Pascal Andre, Gilles Ardourel, Christian Attiogbe and Arnaud Lanoix 17:30-18:00 PC/SC meeting 19:00 Workshop dinner Day 2 9:30-10:30 Invited talk 2 Coalgebraic Methods for Component Connectors Jan Rutten (CWI, the Netherlands) 10:30-11:00 Coffee break 11:00-12:00 Session 4: Reconfiguration and Adaptation A Formal Framework for Structural Reconfiguration of Components under Behavioural Adaptation Antonio Cansado, Carlos Canal, Javier Cubo and Gwen Salaun PobSAM: Policy-based Managing of Actors in Self-Adaptive Systems Narges Khakpour, Saeed Jalili, Carolyn Talcott, Marjan Sirjani and MohammadReza Mousavi 12:00-14:00 Lunch 14:00-15:30 Session 5: Composition and Deployment A systematic approach to construct compositional behaviour models for network-structured safety-critical systems Johannes Kloos and Robert Eschbach A lightweight approach to customizable composition operators for Java-like classes Giovanni Lagorio, Marco Servetto and Elena Zucca Integrating extra-functional properties in component deployment dependencies Meriem Belguidoum and Fabien Dagnat 15:30-16:00 Coffee break 16:00-17:20 Demonstration session TBA 17:20-17:30 Closing session