Coordination Models and Languages: 5th International Conference, COORDINATION 2002, YORK, UK, April 8-11, 2002 Proceedings (Lecture Notes in Computer Science, 2315)

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. Playing Games With Software Design / Perdita Stevens -- Coordination And System Design In A Network-centric Age / Jim Waldo -- Time, Knowledge, And Cooperation: Alternating-time Temporal Epistemic Logic And Its Applications / Michael Wooldridge And Wiebe Van Der Hoek -- Coordination For Orchestration / Luis F. Andrade, Jose L. Fiadeiro And Joao Gouveia / [and Others] -- Concurrent Semantics For The Web Services Specification Language Daml-s / Anupriya Ankolekar, Frank Huch And Katia Sycara -- Coordination Through Channel Composition / Farhad Arbab And Farhad Mavaddat -- Exogenous And Endogenous Extensions Of Architectural Types / Marco Bernardo And Francesco Franze. Farhad Arbab, Carolyn Talcott (eds.). Includes Bibliographical References And Index. 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 JavaSpacesTM 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 This volume contains the proceedings of the Fifth International Conference on Coordination Models and Languages (Coordination 2002), held in York, UK, 8{u2013}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 This book constitutes the refereed proceedings of the 5th International Conference on Coordination Models and Languages, COORDINATION 2002, held in York, UK, in April 2002. The 18 revised full papers and 14 short papers presented were carefully reviewed and selected from 55 submissions. Among the topics addressed are network-centric systems design, concurrent semantics, mobile object systems, mobile agent systems, software components, distributed processes, coordination frameworks, reflective architectures, multi-agent systems engineering, communication protocols, formal specification, and cooperative virtual teams Modern software development processes openly acknowledge what software designers have always whispered: software design is not done as a monolithic phase between analysis and implementation.