Skip to main content
  • Conference proceedings
  • © 2006

Coordination Models and Languages

8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006, Proceedings

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 4038)

Part of the book sub series: Programming and Software Engineering (LNPSE)

Conference series link(s): COORDINATION: International Conference on Coordination Models and Languages

Conference proceedings info: COORDINATION 2006.

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (18 papers)

  1. Front Matter

  2. Stochastic Reasoning About Channel-Based Component Connectors

    • Christel Baier, Verena Wolf
    Pages 1-15
  3. Atomic Commit and Negotiation in Service Oriented Computing

    • Laura Bocchi, Roberto Lucchi
    Pages 16-27
  4. Synthesizing Concurrency Control Components from Process Algebraic Specifications

    • Edoardo Bontà, Marco Bernardo, Jeff Magee, Jeff Kramer
    Pages 28-43
  5. Automated Evaluation of Coordination Approaches

    • Tibor Bosse, Mark Hoogendoorn, Jan Treur
    Pages 44-62
  6. Choreography and Orchestration Conformance for System Design

    • Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro
    Pages 63-81
  7. Workflow Patterns in Orc

    • William R. Cook, Sourabh Patwardhan, Jayadev Misra
    Pages 82-96
  8. Evolution On-the-Fly with Paradigm

    • Luuk Groenewegen, Erik de Vink
    Pages 97-112
  9. Formalising Business Process Execution with Bigraphs and Reactive XML

    • Thomas Hildebrandt, Henning Niss, Martin Olsen
    Pages 113-129
  10. Enabling Ubiquitous Coordination Using Application Sessions

    • Christine Julien, Drew Stovall
    Pages 130-144
  11. A WSDL-Based Type System for WS-BPEL

    • Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi
    Pages 145-163
  12. Managing Ad-Hoc Networks Through the Formal Specification of Service Requirements

    • Martín López-Nores, Jorge García-Duque, José J. Pazos-Arias
    Pages 164-178
  13. A Logical View of Choreography

    • Carlo Montangero, Laura Semini
    Pages 179-193
  14. Coordinating Computation with Communication

    • Thomas Nitsche
    Pages 212-227
  15. Distributed Workflow upon Linkable Coordination Artifacts

    • Andrea Omicini, Alessandro Ricci, Nicola Zaghini
    Pages 228-246
  16. Actors, Roles and Coordinators — A Coordination Model for Open Distributed and Embedded Systems

    • Shangping Ren, Yue Yu, Nianen Chen, Kevin Marth, Pierre-Etienne Poirot, Limin Shen
    Pages 247-265
  17. Tuple Space Coordination Across Space and Time

    • Gruia-Catalin Roman, Radu Handorean, Rohan Sen
    Pages 266-280
  18. Compositional Semantics of an Actor-Based Language Using Constraint Automata

    • Marjan Sirjani, Mohammad Mahdi Jaghoori, Christel Baier, Farhad Arbab
    Pages 281-297
  19. Back Matter

Other Volumes

  1. Coordination Models and Languages

Editors and Affiliations

  • CS Dept, University of Bologna, Bologna, Italy

    Paolo Ciancarini

  • Imperial College London, London, UK

    Herbert Wiklicky

Bibliographic Information

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access