Coordination Models and Languages: 5th International Conference, COORDINATION 2002 York, UK, April 8–11, 2002 Proceedings

✍ Scribed by Perdita Stevens (auth.), Farhad Arbab, Carolyn Talcott (eds.)

• Publisher: Springer-Verlag Berlin Heidelberg
• Year: 2002
• Tongue: English
• Leaves: 416
• Series: Lecture Notes in Computer Science 2315
• Edition: 1
• Category: Library

✦ Synopsis

This volume contains the proceedings of the Fifth International Conference on Coordination Models and Languages (Coordination 2002), held in York, UK, 8–11 April 2002. Coordination models and languages close the conceptual gap - tween the cooperation model used by the constituent parts of an application and the lower-level communication model used in its implementation. Coordinati- based methods provide a clean separation between individual software com- nents and their interactions within their overall software organization. This se- ration, together with the higher-level abstractions o?ered by coordination models and languages, improve software productivity, enhance maintainability, advocate modularity, promote reusability, and lead to software organizations and arc- tectures that are more tractable and more amenable to veri?cation and global analysis. Coordination is relevant in design, development, debugging, maintenance, and reuse of all complex concurrent and distributed systems. Speci?cally, - ordination becomes paramount in the context of open systems, systems with mobile entities, and dynamically re-con?gurable evolving systems. Moreover, - ordination models and languages focus on such key issues in Component Based Software Engineering as speci?cation, interaction, and dynamic composition of components.

✦ Table of Contents

Playing Games with Software Design....Pages 1-1
Coordination and System Design in a Network-Centric Age....Pages 2-3
Time, Knowledge, and Cooperation: Alternating-Time Temporal Epistemic Logic and Its Applications....Pages 4-4
Coordination for Orchestration....Pages 5-13
Concurrent Semantics for the Web Services Specification Language DAML-S....Pages 14-21
Coordination through Channel Composition....Pages 22-39
Exogenous and Endogenous Extensions of Architectural Types....Pages 40-55
Coordinating Mobile Object-Oriented Code....Pages 56-71
Formalizing Properties of Mobile Agent Systems....Pages 72-87
Dynamically Adapting the Behaviour of Software Components....Pages 88-95
An Associative Broadcast Based Coordination Model for Distributed Processes....Pages 96-110
State—and Event-Based Reactive Programming in Shared Dataspaces....Pages 111-124
Integrating Two Organizational Systems through Communication Genres....Pages 125-132
OpenCoLaS a Coordination Framework for CoLaS Dialects....Pages 133-140
Coordination in a Reflective Architecture Description Language....Pages 141-148
Coordinating Software Evolution via Two-Tier Programming....Pages 149-157
Criteria for the Analysis of Coordination in Multi-agent Applications....Pages 158-165
Towards a Colimit-Based Semantics for Visual Programming....Pages 166-173
The Cost of Communication Protocols and Coordination Languages in Embedded Systems....Pages 174-190
Operational Semantics for Coordination in Paradigm....Pages 191-206
Service Provision in Ad Hoc Networks....Pages 207-219
PN 2 : An Elementary Model for Design and Analysis of Multi-agent Systems....Pages 220-235
A Recovery Technique Using Multi-agent in Distributed Computing Systems....Pages 236-249
An Order-Based, Distributed Algorithm for Implementing Multiparty Interactions....Pages 250-257
Exploiting Transiently Shared Tuple Spaces for Location Transparent Code Mobility....Pages 258-273
Formal Specification of JavaSpaces™ Architecture Using μ CRL....Pages 274-290
Objective vs. Subjective Coordination in Agent-Based Systems: A Case Study....Pages 291-299
Scheduling under Uncertainty: Planning for the Ubiquitous Grid....Pages 300-316
Using Logical Operators as an Extended Coordination Mechanism in Linda....Pages 317-331
A Framework for Coordinating Parallel Branch and Bound Algorithms....Pages 332-339
Policies for Cooperative Virtual Teams....Pages 340-347
The Spacetub Models and Framework....Pages 348-363
Tuple-Based Models in the Observation Framework....Pages 364-379
Extending the Matching Facilities of Linda....Pages 380-388
Semantics of Protocol Modules Composition and Interaction....Pages 389-404

✦ Subjects

Programming Techniques; Computer Communication Networks; Computation by Abstract Devices; Software Engineering; Artificial Intelligence (incl. Robotics)