8:45 - 9:00
|
|
Opening
|
9:00 - 10:30
|
Session 1
|
9:00 - 10:00
|
L. de Alfaro
Invited talk: Games as Types
for Component-Based Design
|
10:00 - 10:30
|
F. Arbab, C. Baier, J. Rutten,
M. Sirjani
Modeling Component Connectors in
Reo by Constraint Automata
|
10:30 - 11:00
|
Coffee Break
|
11:00 - 13:00
|
Session 2
|
11:00 - 11:30
|
A. Brogi, C. Canal, E. Pimentel
On the specification of software
adaptation
|
11:30 - 12:00
|
M. Viroli
Verifying Properties of Coordination
by Well-Structured Transition Systems
|
12:00 - 12:30
|
R. Menezes, A. Omicini, M. Viroli
On the Semantics of Coordination
Models for Distributed Systems:
The LogOp Case Study
|
12:30 - 13:00
|
I. Linden, J.-M. Jacquet,
K. de Bosschere, A. Brogi
On the Expressiveness of
Relative-Timed Coordination Models
|
13:00 - 14:30
|
Lunch Break
|
14:30 - 16:30
|
Session 3
|
14:30 - 15:00
|
M. Aiguier, F. Barbier, P. Poizat
A Logic with Temporal Glue for
Mixed Specifications
|
15:00 - 15:30
|
E. Bonelli, A. Compagnoni, E. Gunter
Correspondence Assertions for Process
Synchronization in Concurrent
Communications
|
15:30 - 16:00
|
M. Bezem, H. Truong
A Typing System for the Safe
Instantiation of Components
|
16:00 - 16:30
|
V. Cortelessa, A. Di Marco,
P. Inverardi
Three performance models at work: a
software designer perspective
|
16:30 - 17:00
|
Coffee Break
|
17:00 - 18:00
|
Session 4
|
17:00 - 17:30
|
A. Lopes, J. Fiadeiro
Adding Mobility to Software
Architectures
|
17:30 - 18:00
|
C. Julien, J. Payton, G.-C. Roman
Reasoning About Context-Awareness
in the Presence of Mobility
|
18:00 - 18:15
|
Closing
|