+612 9045 4394
 
CHECKOUT
Coordination Languages and Models : Second International Conference, Coordination'97, Berlin, Germany, September 1-3, 1997, Proceedings - David Garlan

Coordination Languages and Models

Second International Conference, Coordination'97, Berlin, Germany, September 1-3, 1997, Proceedings

By: David Garlan (Editor), Daniel le Metayer (Editor)

Paperback

Published: 13th August 1997
Ships: 5 to 9 business days
5 to 9 business days
$135.51
or 4 easy payments of $33.88 with Learn more

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.

From weaving threads to untangling the web: A view of coordination from Linda's perspectivep. 1
Exposing the skeleton in the coordination closetp. 18
Design for open systems in Javap. 32
Checking assumptions in component dynamics at the architectural levelp. 46
Security benefits from software architecturep. 64
Regulated coordination in open distributed systemsp. 81
Debugging distributed applications using a coordination architecturep. 98
Coordinating durative actionsp. 115
Communication-passing style for coordination languagesp. 131
Software architecture for large control systems: A case study descriptionp. 150
Evaluation of software architectures for a control system: A case studyp. 157
Modeling railway control systems using graph grammars: A case studyp. 172
On what Linda is: Formal description of Linda as a reactive systemp. 187
Three semantics of the output operation for generative communicationp. 205
Coordinating mobile agents via blackboards and access rightsp. 220
Modeling coordination via asynchronous communicationp. 238
Partial order and SOS semantics for linear constraint programsp. 256
Programmable coordination Mediap. 274
Safer tuple spacesp. 289
Coordinating actions systemsp. 302
Approximating UNITYp. 320
Mobile UNITY coordination constructs applied to packet forwarding for mobile hostsp. 338
From layer to layer: Object-oriented protocol refinement in Kannelp. 355
An asynchronous model of locality, failure, and process mobilityp. 374
A component calculus for modeling the Olan configuration languagep. 392
A coordination model for distributed object systemsp. 410
Coordination patterns for parallel computingp. 414
Concurrent MetateM as a coordination languagep. 418
Control-based coordination of human and other activities in cooperation information systemsp. 422
Using asynchronous tuple-space access primitives (BONITA primitives) for process co-ordinationp. 426
Berlinda: An object-oriented platform for implementing coordination languages in Javap. 430
Author Indexp. 435
Table of Contents provided by Blackwell. All Rights Reserved.

ISBN: 9783540633839
ISBN-10: 3540633839
Series: Lecture Notes in Computer Science
Audience: General
Format: Paperback
Language: English
Number Of Pages: 435
Published: 13th August 1997
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 23.39 x 15.6  x 2.31
Weight (kg): 0.63