Paolo Ciancarini / Herbert Wiklicky (eds.)

Coordination Models and Languages

8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006, Proceedings
Herausgegeben:Ciancarini, Paolo; Wiklicky, Herbert

• Broschiertes Buch

Produktbeschreibung

Stochastic Reasoning About Channel-Based Component Connectors.- Atomic Commit and Negotiation in Service Oriented Computing.- Synthesizing Concurrency Control Components from Process Algebraic Specifications.- Automated Evaluation of Coordination Approaches.- Choreography and Orchestration Conformance for System Design.- Workflow Patterns in Orc.- Evolution On-the-Fly with Paradigm.- Formalising Business Process Execution with Bigraphs and Reactive XML.- Enabling Ubiquitous Coordination Using Application Sessions.- A WSDL-Based Type System for WS-BPEL.- Managing Ad-Hoc Networks Through the Formal Specification of Service Requirements.- A Logical View of Choreography.- Using Lime to Support Replication for Availability in Mobile Ad Hoc Networks.- Coordinating Computation with Communication.- Distributed Workflow upon Linkable Coordination Artifacts.- Actors, Roles and Coordinators - A Coordination Model for Open Distributed and Embedded Systems.- Tuple Space Coordination Across Space and Time.- Compositional Semantics of an Actor-Based Language Using Constraint Automata.

Produktdetails

• Lecture Notes in Computer Science 4038
• Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
• Artikelnr. des Verlages: 11767954, 978-3-540-34694-4
• Seitenzahl: 312
• Erscheinungstermin: 9. Juni 2006
• Englisch
• Abmessung: 235mm x 155mm x 17mm
• Gewicht: 440g
• ISBN-13: 9783540346944
• ISBN-10: 3540346945
• Artikelnr.: 20946943

Autorenporträt

Paolo Ciancarini, University of Bologna, Italy / Herbert Wiklicky, Imperial College, London, UK

Inhaltsangabe

Stochastic Reasoning About Channel-Based Component Connectors.- Atomic Commit and Negotiation in Service Oriented Computing.- Synthesizing Concurrency Control Components from Process Algebraic Specifications.- Automated Evaluation of Coordination Approaches.- Choreography and Orchestration Conformance for System Design.- Workflow Patterns in Orc.- Evolution On-the-Fly with Paradigm.- Formalising Business Process Execution with Bigraphs and Reactive XML.- Enabling Ubiquitous Coordination Using Application Sessions.- A WSDL-Based Type System for WS-BPEL.- Managing Ad-Hoc Networks Through the Formal Specification of Service Requirements.- A Logical View of Choreography.- Using Lime to Support Replication for Availability in Mobile Ad Hoc Networks.- Coordinating Computation with Communication.- Distributed Workflow upon Linkable Coordination Artifacts.- Actors, Roles and Coordinators - A Coordination Model for Open Distributed and Embedded Systems.- Tuple Space Coordination Across Space and Time.- Compositional Semantics of an Actor-Based Language Using Constraint Automata.