|
9:35 - 10:45
|
Session 1 : CoOrg
|
| 9:35 - 10:10
|
F. Montesi, C. Guidi, R. Lucchi and G.Zavattaro
JOLIE: a Java Orchestration Language Interpreter Engine
|
| 10:10 - 10:45
|
D. Rossi and E. Turrini
What Your Next Workflow Language Should Look Like
|
|
10:45 - 11:15
|
Coffee Break
|
|
11.15 - 13:00
|
Session 2 : MTCoord
|
| 11:15 - 11:50
|
M. Antonio Barbosa, L. Soares Barbosa
An Orchestrator for Dynamic Interconnection of Software Components
|
| 11:50 - 12:25
|
L. Bettini, R. De Nicola, D. Falassi, M. Loreti
Implementing a distributed mobile calculus using the
IMC framework
|
| 12:25 - 13:00
|
D. Safranek
Architecture Interoperability Checking of Visual Coordination Networks
|
|
13:00 - 14:30
|
Lunch
|
|
14:30 - 15:40
|
Session 3 : CoOrg
|
| 14:30- 15:05
|
O. El-Hassan and J. L. Fiadeiro
Role-based Architectural Modelling of Socio-Technical Systems
|
| 15:05 - 15:40
|
J. Park and K. S. Barber
Collaboration Among Competitive Agents in Information Sharing Networks
|
|
15:40 - 17:20
|
Session 4 : MTCoord
|
| 15:40 - 16:15
|
R. Bakhshi, D. Gurov
Verification of Peer-to-peer Algorithms: A Case Study
|
|
16:15 - 16:45
|
Coffee Break
|
| 16:45 - 17:20
|
C. Talcott
Local and Global Coordination in PAGODA: A Case Study
|