FACS 2008. Fith International Workshop on Formal Aspect of Component Software

Program


From the twenty three high-quality submissions received, the international Program Committee of FACS08 has selected thirteen for presentation during the workshop.
 
Wednesday 10th Thursday 11th Friday 12th
9:00 Registration and Opening session
9:30 Session 1
Composite and Distributed Components
Session 3
Coordination Policies and Patterns
Session 6
Reconfiguration and Substitutability
11:00 Coffee break Coffee break Coffee break
11:30 Invited Talk: Jeff Magee
Software Architecture for Self Managing systems
Invited Talk: Ralf Reussner
Software Industrialisation: the use of components
for certification and quality prediction
Session 7
Calculi
13:00 Lunch Lunch Lunch
14:30 Session 4
Testing
16:00 Coffee break Coffee break
16:30 Tool Demos Session Session 5
Distributed Components
18:30
Guided Tour: Alcazaba
 
19:00
Welcome Reception
 
21:00 Social Dinner
 

Detailed Program


Wednesday 10th
 
9:00 Registration and Opening Session
9:30 Session 1 : Composite and Distributed Components
    Chair: Zhiming Liu
 
On the Observable Behaviour of Composite Components
    Rolf Hennicker, Stephan Janisch, and Alexander Knapp
    Ludwig-Maximilians-Universität München (Germany)
10:15
Unifying Architectural and Behavioural Specifications of Distributed Components
    Antonio Cansado, Ludovic Henrio, and Eric Madelaine
    INRIA Sophia-Antipolis (France)
11:00

Coffee break

11:30 Invited talk
    Chair: Carlos Canal

Software Architecture for Self Managing systems

    Jeff Magee
    Imperial College London (United Kingdom)
13:00

Lunch

14:30 Session 2 : Verification and Slicing
    Chair: Jeff Magee
 
Automated Computing of the Maximal Number of Handled Clients for Client-Server Systems
    Pavlina Varekova, Ivana Varekova, and Ivana Cerna
    Masaryk University (Czech Republic)
15:15
Slicing-based Reductions for Rebeca
    Hamideh Sabouri, and Marjan Sirjani
    University of Tehran (Iran)
16:00

Coffee break

16:30 Tool demos session
    Chair: Gwen Salaün

The CoIn Tool: Modelling and Verification of Interactions in Component-Based Systems
    N. Benes, L. Brim, I. Cerna, J. Sochor, P. Varekove, B. Zimmerova
    Masaryk University (Czech Republic)
17:00
VCE: A Graphical Tool for Architectural Definitions of GCM Components
    Antonio Cansado, Eric Madelaine and Pablo Valenzuela
    INRIA Sophia-Antipolis (France), and Universidad Diego-Portales (Chile)
17:30
COMDES Development Toolset
    Yu Guo, Krzysztof Sierszecki, Christo Angelov
    University of Southern Denmark (Denmark)
18:00
Modeling, Testing and Executing Reo Connectors with the Eclipse Coordination Tools
    F. Arbab, C. Koehler, Z. Maraikar, Y.-J. Moon, J. Proenca
    CWI (The Netherlands)
19:00

Welcome Reception


Thursday 11
 
9:30 Session 3 : Coordination Policies and Patterns
    Chair: Bernhard Schaetz
 
Global coordination policies for services
    Vincenzo Ciancia, Gianluigi Ferrari, Roberto Guanciale, and Daniele Strollo
    Università di Pisa, and Istituto Alti Studi IMT Lucca (Italy)
10:15
Discovering Coordination Patterns
    Nuno Rodrigues
    Universidade do Minho (Portugal)
11:00

Coffee break

11:30 Invited talk
    Chair: Corina Pasareanu

Software Industrialisation: The Use of Components for Certification and Quality Prediction

    Ralf Reussner
    Universität Karlsruhe (Germany)
13:00

Lunch

14:30 Session 4 : Testing
    Chair: Eric Madelaine

Integrating Component Tests to System Tests
    Bernhard Schaetz, and Christian Pfaller
    Technische Universität München (Germany)
15:15
State Based Robustness Testing for Components
    Bin Lei, Zhiming Liu, Charles Morisset, and Xuandong Li
    United Nations University (UNU-IIST), and Nanjing University (China)
16:00

Coffee break

16:30 Session 5 : Distributed Components
    Chair: Ralf Reussner
 
Transparent First-class Futures and Distributed Components
    Antonio Cansado, Ludovic Henrio and Eric Madelaine
    INRIA Sophia-Antipolis (France)
18:30

Guided Tour: Alcazaba

21:00

Social Dinner
Palacio de la Lira
Paseo de Limonar, 40


Friday 12
 
9:30 Session 6 : Reconfiguration and Substitutability
    Chair: Frantisek Plasil
 
Correct Execution of Reconfiguration for Stateful Components
    Moritz Hammer, and Alexander Knapp
    Ludwig-Maximilians-Universität München (Germany)
10:15
Component Simulation-based Substitutivity Managing QoS Aspects
    Pierre-Cyrille Heam, Olga Kouchnarenko, and Jérôme Voinot
    LIFC, University of Franche-Compte, and INRIA/CASSIS (France)
11:00

Coffee break

11:30 Session 7 : Calculi
    Chair: Rolf Hennicker
 
Compositional Specification of Parallel Programs Using Circus
    Francisco Carvalho-Junior, and Rafael Lins
    Universidade Federal do Ceará, and Universidade Federal de Pernambuco (Brazil)
12:15
Formal Specification of Correlation Sets in WS Orchestrations using BP-calculus
    Faisal Abouzaid, and John Mullins
    Ecole Polytechnique de Montreal (Canada)
13:00

Lunch