协调模型与语言

作者简介

This book constitutes the refereed proceedings of the 8th International Conference on Coordination Models and Languages, COORDINATION 2006, held in Bologna, Italy in June 2006.    The 17 revised full papers presented were carefully reviewed and selected from 50 submissions. Among the topics addressed are component connectors, negotiation in service-oriented computing, process algebraic specification, workflow patterns, reactive XML, ubiquitous coordination, type systems, ad-hoc network coordination, choreography, communication coordination, and distributed embedded systems.

书籍目录

Stochastic Reasoning About Channel-Based Component ConnectorsAtomic Commit and Negotiation in Service Oriented ComputingSynthesizing Concurrency Control Components from Process Algebraic SpecificationsAutomated Evaluation of Coordination ApproachesChoreography and Orchestration Conformance for System DesignWorkflow Patterns in OrcEvolution On-the-Fly with ParadigmFormalising Business Process Execution with Bigraphs and Reactive XMLEnabling Ubiquitous Coordination Using Application SessionsA WSDL-Based Type System for WS-BPELManaging Ad-Hoc Networks Through the Formal Specification of Service RequirementsA Logical View of ChoreographyUsing LIME to Support Replication for Availability in Mobile Ad Hoc NetworksCoordinating Computation with CommunicationDistributed Workflow upon Linkable Coordination ArtifactsActors, Roles and Coordinators -- A Coordination Model for Open Distributed and Embedded SystemsTuple Space Coordination Across Space and TimeCompositional Semantics of an Actor-Based Language Using Constraint AutomataAuthor Index

 协调模型与语言下载