|
|
Coordination
06
8th International Conference on
Coordination Models and Languages
Preliminary program:
Wednesday 14
June
Registration: 8:00-8:45
(P.zza San Giovanni in Monte, 2)
Welcome: 8:45-9:00
(Aula Absidale)
Invited speaker: 9:00-10:00
(Aula Absidale)
Coffee
break: 10:00 - 10:30
Session I: 10:30-12:30
(Aula Prodi)
-
Using
Lime to Support Replication for Availability in Mobile Ad Hoc
Networks
Amy Murphy, Gian Pietro Picco
-
Managing
ad-hoc networks through the formal specification of service
requirements
Martin Lopez-Nores, Jorge Garcia-Duque, Jose Pazos-Arias
-
Tuple
Space Coordination Across Space and Time
Gruia-Catalin Roman, Radu Handorean, Rohan Sen
Lunch: 12:30-14:00
Invited speaker: 14:00-15:00
(Aula Prodi)
Coffee break: 15:00-15:30
Joint session I: 15:30-17:30
(Aula Prodi) - FMOODS/COORDINATION
-
Synchronizing
Behavioural Mismatch in Software Composition
Carlos Canal, Pascal Poizat, Gwen Salaün (FMOODS)
-
Evolution
on-the-fly with Paradigm
Luuk Groenewegen, Erik de Vink (COORDINATION)
-
Workflow
Patterns in Orc
William R. Cook, Sourabh Patwardhan, Jayadev Misra (COORDINATION)
-
Actors,
Roles, and Coordinators - A Coordination Model for Open Distributed
Embedded Systems
Shangping Ren, Yue Yu, Nianen Chen, Kevin Marth, Pierre-Etienne
Poirot, Limin Shen (COORDINATION)
Thursday 15
June
Invited speaker: 9:00-10:00
(Aula Absidale)
-
Separating
Distribution from Coordination and Computation as Architectural
Dimensions
José Luiz Fiadeiro (Department of Computer Science
- University of Leicester - UK)
Coffee break: 10:00 -
10:30
Joint session II:
10:30-12:30 (Aula Prodi) - FMOODS/COORDINATION
-
Static
Safety for an Actor Dedicated Process Calculus by Abstract Interpretation
Pierre-Loïc Garoche, Marc Pantel, Xavier Thirioux (FMOODS)
-
Temporal
Superimposition of Aspects for Dynamic Software Architecture
Carlos E. Cuesta, M. Pilar Romay, Pablo de la Fuente, Manuel
Barrio-Solorzano (FMOODS)
-
Compositional
Semantics of an Actor-Based Language using Constraint Automata
Marjan Sirjani, Mohammad Mahdi Jaghoori, Christel Baier, Farhad
Arbab (COORDINATION)
-
Synthesizing
Concurrency Control Components from Process Algebrai Specifications
Edoardo Bonta`, Marco Bernardo, Jeff Magee, Jeff Kramer (COORDINATION)
Lunch: 12:30-14:00
Invited speaker: 14:00-15:00
(Aula Prodi)
Coffee break: 15:00-15:30
Session II: 15:30-17:00
(Aula Prodi)
-
Enabling
Ubiquitous Coordination Using Application Sessions
Christine Julien, Drew Stovall
-
Atomic
Commit and Negotiation in Service Oriented Computing
Laura Bocchi, Roberto Lucchi
-
Automated
Evaluation of Coordination Approaches
Tibor Bosse, Mark Hoogendoorn, Jan Treur
Social
dinner: 19:30
Friday 16 June
Invited speaker:
9:00-10:00 (Aula Absidale)
Coffee break: 10:00 -
10:30
Session III: 10:30-12:30
(Aula Prodi)
-
Stochastic
reasoning about channel-based component connectors
Christel Baier, Verena Wolf
-
Choreography
and Orchestration conformance for system design
Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi,
Gianluigi Zavattaro
- A Logical view
of Choreography
Carlo Montangero, Laura Semini
- Coordinating
Computation and Communication
Thomas Nitsche
Lunch: 12:30-14:00
Session IV: 14:00-15:30
(Aula Prodi)
-
Distributed
Workflow upon Linkable Coordination Artifacts
Andrea Omicini, Alessandro Ricci, Nicola Zaghini
-
A
WSDL-based type system for WS-BPEL
Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi
-
Formalising
Business Process Execution with Bigraphs and Reactive XML
Thomas Hildebrandt, Henning Niss, Martin Olsen
Coffee break: 15:30-16:00
Joint closing: 16:00-17:00
(Aula Absidale)
|
|
