This book constitutes the refereed proceedings of the Second International Conference on Coordination Models and Languages, COORDINATION '97, held in Berlin, Germany, in September 1997.
The 22 revised full papers and 6 posters presented in the book were carefully reviewed and selected from a total of 69 submissions. Also included are three invited papers. The papers are devoted to an emerging class of languages and models, which have been variously termed coordination languages, configuration languages, and architectural description languages. These formalisms provide a clean separation between software components and their interaction in the overall software organization, which is particularly important for large-scale applications and open systems.
Author(s): Robert Bjornson, Nicholas Carriero, David Gelernter (auth.), David Garlan, Daniel Le Métayer (eds.)
Series: Lecture Notes in Computer Science 1282
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 1997
Language: English
Pages: 435
Tags: Programming Techniques; Computer Communication Networks; Computation by Abstract Devices; Software Engineering; Programming Languages, Compilers, Interpreters
From weaving threads to untangling the web: A view of coordination from Linda's perspective....Pages 1-17
Exposing the skeleton in the coordination closet....Pages 18-31
Design for open systems in Java....Pages 32-45
Checking assumptions in component dynamics at the architectural level....Pages 46-63
Security benefits from software architecture....Pages 64-80
Regulated coordination in open distributed systems....Pages 81-97
Debugging distributed applications using a coordination architecture....Pages 98-114
Coordinating durative actions....Pages 115-130
Communication-passing style for coordination languages....Pages 131-149
Software architecture for large control systems: A case study description....Pages 150-156
Evaluation of software architectures for a control system: A case study....Pages 157-171
Modeling railway control systems using graph grammars: A case study....Pages 172-186
On what Linda is: Formal description of Linda as a reactive system....Pages 187-204
Three semantics of the output operation for generative communication....Pages 205-219
Coordinating mobile agents via blackboards and access rights....Pages 220-237
Modeling coordination via asynchronous communication....Pages 238-255
Partial order and SOS semantics for linear constraint programs....Pages 256-273
Programmable coordination media....Pages 274-288
Safer tuple spaces....Pages 289-301
Coordinating action systems....Pages 302-319
Approximating unity....Pages 320-337
Mobile UNITY coordination constructs applied to packet forwarding for mobile hosts....Pages 338-354
From layer to layer — object-oriented protocol refinement in kannel....Pages 355-373
An asynchronous model of locality, failure, and process mobility....Pages 374-391
A component calculus for modeling the Olan configuration language....Pages 392-409
A coordination model for distributed object systems....Pages 410-413
Coordination patterns for parallel computing....Pages 414-417
Concurrent Metatem as a coordination language....Pages 418-421
Control-based coordination of human and other activities in cooperative information systems....Pages 422-425
Using asynchronous tuple-space access primitives (Bonita primitives) for process co-ordination....Pages 426-429
Berlinda: An object-oriented platform for implementing coordination languages in Java....Pages 430-433
