Coordination Models and Languages 协同模型与语言/会议录

书籍目录

A Case Study of Web Services OrchestrationA Correct Abstract Machine for Safe AmbientsA Process Calculus for QoS-Aware ApplicationsAbstract Interpretation-Based Verification of Non-functional RequirementsCoordination Systems in Role-Based Adaptive SoftwareCoordination with MulticapabilitiesDelegation Modeling with ParadigmDynamically Adapting Tuple Replication for Managing Availability in a Shared Data SpaceEnforcing Distributed Information Flow Policies Architecturally The SAID ApproachExperience Using a Coordination-Based Architecture for Adaptive Web Content ProvisionGlobal Computing in a Dynamic Network of Tuple SpacesMobile Agent Based Fault-Tolerance Support for the Reliable Mobile Computing SystemsPreserving Architectural Properties in Multithreaded Code GenerationPrioritized and Parallel Reactions in Shared Data Space Coordination LanguagesSynchronized Hyperedge Replacement for Heterogeneous SystemsSynthesis of Reo Circuits for Implementation of Component-Connector Automata SpecificationsTagged Sets: A Secure and Transparent Coordination MediumTime-Aware Coordination in ReSpecTTransactional Aspects in Semantic Based Discovery of ServicesAuthor Index

作者简介

This book constitutes the refereed proceedings of the 7th International Conference on Coordination Models and Languages, COORDINATION 2005, held in Namur, Belgium in April 2005.    The 19 revised full papers presented were carefully reviewed and selected from 88 submissions. Among the topics addressed are Web services, safe ambients, process calculus, abstract verification, role-based software, delegation modeling, distributed information flow, adaptive Web content provision, global computing, mobile agents, mobile computing, multithreaded code generation, shared data space coordination languages, automata specifications, time aware coordination, and service discovery.

 Coordination Models and Languages 协同模型与语言/会议录下载