DisCoTec 06

        Federated Conferences:
             Coordination 06
             DAIS 06
             FMOODS 06
        Invited speakers
        Satellite events
        Location
        Registration
        Contact us

   Coordination 06

        Call for papers
        Important dates
        Committees
        Past conferences
        Contact
        Submission
        Program

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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)

  • Mobile Service Oriented Architectures (MOSOA)
    Jan Bosch (Software and Application Technologies Lab. - Nokia Research Center - Finland)

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)

  • The Bisimulation Proof Method: Enhancements and Open Problems
    Davide Sangiorgi (Department of Computer Science - Università degli Studi di Bologna- Italy)

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)

  • Security Issues in Service Composition
    Pierpaolo Degano (Department of Computer Science - Università di Pisa - Italy)

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)

  • From Gamma to the Probabilistic Chemical Abstract Machine
     Chris Hankin (Department of Computing - Imperial College - UK)

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)