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.
Author(s): Rocco De Nicola (auth.), Paolo Ciancarini, Alexander L. Wolf (eds.)
Series: Lecture Notes in Computer Science 1594
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 1999
Language: English
Pages: 426
Tags: Programming Techniques; Computer Communication Networks; Computation by Abstract Devices; Software Engineering; Artificial Intelligence (incl. Robotics)
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
