Coordination Languages and Models: Third International Conference, COORDINATION'99, Amsterdam, The Netherlands, April 26-28, 1999, Proceedings (Lecture Notes in Computer Science, 1594)

We welcome you to Coordination ’99, the third in a series of conferences d- icated to an important perspective on the development of complex software systems. That perspective is shared by a growing community of researchers - terested in models, languages, and implementation techniques for coordination. The last decade has seen the emergence of a class of models and languages variously termed “coordination languages”, “con?guration languages”, “arc- tectural description languages”, and “agent-oriented programming languages”. Theseformalismsprovideacleanseparationbetweenindividualsoftwarecom- nents and their interaction within the overall software organization. This se- ration makes complex applications more tractable, supports global analysis,and enhances the reuse of software components. The proceedings of the previous two conferences on this topic were published by Springer as Lecture Notes in Computer Science 1061 and 1282. This issue of LNCS containing the papers presented at Coordination ’99 continues the tradition of carefully selected and high quality papers representing the state of the artin coordinationtechnology.In responseto thecallfor papers,wereceived 67 submissions, from which 26 papers were accepted. These proceedings also contain abstracts for posters presented at the conference. This year’s program features invited talks by Rocco De Nicola and Danny B. Lange. Reading through the papers, we expect that you may be surprised by the variety of disciplines within computer science that have embraced the notion of coordination. In fact, we expect this trend to continue, and hope that you will contribute to the on-going exploration of its strengths, weaknesses, and applications. Coordination and Access Control of Mobile Agents....Pages 1-2 Characteristics of an Agent Scripting Language and its Execution Environment....Pages 3-3 A Coordination Model for Agents based on Secure Spaces....Pages 4-20 Coordination with Attributes....Pages 21-36 MobiS: A Specification Language for Mobile Systems....Pages 37-52 Coordinated Roles: Promoting Re-usability of Coordinated Active Objects Using Event Notification Protocols....Pages 53-68 Pipelining the Molecule Soup: A Plumber’s Approach to Gamma....Pages 69-84 Erratic Fudgets: A Semantic Theory for an Embedded Coordination Language....Pages 85-102 Coordination of Synchronous Programs....Pages 103-117 Composing Specications for Coordination....Pages 118-133 On the Expressiveness of Coordination Models....Pages 134-149 Comparing Software Architectures for Coordination Languages....Pages 150-165 A Hierarchical Model for Coordination of Concurrent Activities....Pages 166-182 A Self-Deploying Election Service for Active Networks....Pages 183-195 Mobile Co-ordination: Providing Fault Tolerance in Tuple Space Based Co-ordination Languages....Pages 196-210 A Simple Extension of Java Language for Controllable Transparent Migration and its Portable Implementation....Pages 211-226 Coordination Among Mobile Objects....Pages 227-242 Simulation of Conference Management using an Event-Driven Coordination Language....Pages 243-258 Internet-Based Coordination Environments and Document-Based Applications: a Case Study....Pages 259-274 Coordination of a Parallel Proposition Solver....Pages 275-290 CLAM: Composition Language for Autonomous Megamodules....Pages 291-306 Modeling Resources for Activity Coordination and Scheduling....Pages 307-322 Static Analysis of Real-Time Component-based Systems Congurations....Pages 323-339 Acme-based Software Architecture Interchange....Pages 340-354 A Group Based Approach for Coordinating Active Objects....Pages 355-370 Introducing Connections Into Classes With Static Meta-Programming....Pages 371-383 TRUCE: Agent Coordination Through Concurrent Interpretation of Role-Based Protocols....Pages 384-398 The STL++ Coordination Language: A Base for Implementing Distributed Multi-agent Applications....Pages 399-414 A Distributed Semantics for a IWIM-Based Coordination Language....Pages 415-415 Coordination in Context: Authentication, Authorisation and Topology in Mobile Agent Applications....Pages 416-416 Presence and Instant Messaging via HTTP/1.1: A Coordination Perspective....Pages 417-417 Towards a Periodic Table of Connectors....Pages 418-418

This book constitutes the refereed proceedings of the Third International Conference on Coordination Models and Languages, COORDINATION '99, held in Amsterdam, The Netherlands, in April 1999.
The 26 revised full papers presented were carefully selected from a total of 67 submissions. The book is devoted to the recently established class of models and languages variously termed coordination languages, configuration languages, architectural description languages, or agent-oriented programming languages. These formalisms provide a clean separation between individual software components and their interaction within the overall software organization and thus make complex applications more tractable, support global analysis, and enhance the reuse of software components.

This book constitutes the refereed proceedings of the Third International Conference on Coordination Models and Languages, COORDINATION '99, held in Amsterdam, The Netherlands, in April 1999. The 26 revised full papers presented were carefully selected from a total of 67 submissions. The book is devoted to the recently established class of models and languages variously termed coordination languages, configuration languages, architectural description languages, or agent-oriented programming languages. These formalisms provide a clean separation between individual software components and their interaction within the overall software organization and thus make complex applications more tractable, support global analysis, and enhance the reuse of software components