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.
Author(s): Manuel Mazzara, Sergio Govoni (auth.), Jean-Marie Jacquet, Gian Pietro Picco (eds.)
Series: Lecture Notes in Computer Science 3454 : Information Systems and Applications, incl. Internet/Web, and HCI
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2005
Language: English
Pages: 299
Tags: Software Engineering; Computer Communication Networks; Programming Techniques; Computation by Abstract Devices; Artificial Intelligence (incl. Robotics)
Front Matter....Pages -
A Case Study of Web Services Orchestration....Pages 1-16
A Correct Abstract Machine for Safe Ambients....Pages 17-32
A Process Calculus for QoS-Aware Applications....Pages 33-48
Abstract Interpretation-Based Verification of Non-functional Requirements....Pages 49-62
Coordination Systems in Role-Based Adaptive Software....Pages 63-78
Coordination with Multicapabilities....Pages 79-93
Delegation Modeling with Paradigm....Pages 94-108
Dynamically Adapting Tuple Replication for Managing Availability in a Shared Data Space....Pages 109-124
Enforcing Distributed Information Flow Policies Architecturally: The SAID Approach....Pages 125-139
Experience Using a Coordination-Based Architecture for Adaptive Web Content Provision....Pages 140-156
Global Computing in a Dynamic Network of Tuple Spaces....Pages 157-172
Mobile Agent Based Fault-Tolerance Support for the Reliable Mobile Computing Systems....Pages 173-187
Preserving Architectural Properties in Multithreaded Code Generation....Pages 188-203
Prioritized and Parallel Reactions in Shared Data Space Coordination Languages....Pages 204-219
Synchronized Hyperedge Replacement for Heterogeneous Systems....Pages 220-235
Synthesis of Reo Circuits for Implementation of Component-Connector Automata Specifications....Pages 236-251
Tagged Sets: A Secure and Transparent Coordination Medium....Pages 252-267
Time-Aware Coordination in ReSpecT ....Pages 268-282
Transactional Aspects in Semantic Based Discovery of Services....Pages 283-297
Back Matter....Pages -
