协调模型与语言：COORDINATION 2006/会议录 Coordination models and languages
点此进入淘宝搜索页搜索分类: 图书,进口原版书,科学与技术 Science & Techology ,
作者： Paolo Ciancarini，Herbert Wiklicky 著
出 版 社： 湖北辞书出版社
出版时间： 2006-12-1字数：版次： 1页数： 297印刷时间： 2006/12/01开本：印次：纸张： 胶版纸I S B N ： 9783540346944包装： 平装编辑推荐
The LNCS series reports state-of-the-art results in computer science research,development,and education,at a high level and in both printed and electronic form.Enjoying tight cooperation with the R&D community,with numerous individuals,as well as with prestigious organizations and societies,LNCS has grown into the most comprehensive computer science resarch forum available.
The scope of LNCS,including its subseries LNAI,spans the whole range of computer science and information technology including interdisciplinary topics in a variety of application fields.The type of material publised traditionally includes.
-proceedings(published in time for the respective conference)
-post-proceedings(consisting of thoroughly revised final full papers)
-research monographs(which may be basde on outstanding PhD work,research projects,technical reports,etc.).
内容简介
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 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
Author Index
