Coordination Languages and Models: 4th International Conference, Coordination 2000, Limassol, Cyprus, September 11-13, 2000 : Proceedings

by Coordination 200 (2000 Limassol, Cyprus); Roman, Gruia-Catalin

• ISBN13: 9783540410201
• ISBN10: 3540410201
• Format: Paperback
• Copyright: 2000-12-01
• Publisher: Springer Verlag

Summary

This book constitutes the refereed proceedings of the 4th International Conference on Coordination Languages and Models, COORDINATION 2000, held in Limassol, Cyprus in September 2000.The 18 revised full papers and nine short papers presented were carefully reviewed and selected from 52 submissions. The papers are organized in topical sections on coordination styles and trends, tuple space semantics and implementation, coordination policies, dynamics of coordination, mobility, semantic models, shifting Linda perspectives, directions in software architecture, achieving software dependability.

Table of Contents

Regular Papers
Coordination Styles and Trends
OpenSpaces: An Object-Oriented Framework for Reconfigurable Coordination Spaces	1	(18)
S. Ducasse
T. Hofmann
O. Nierstrasz
Scripting Coordination Styles	19	(17)
F. Achermann
S. Kneubuehl
O. Nierstrasz
Coordination Technology for Workflows on the Web: Workspaces	36	(15)
R. Tolksdorf
Tuple Space Semantics and Implementation
A Principled Semantics for inp	51	(15)
J.L. Jacob
A.M. Wood
Proving the Correctness of Optimising Destructive and Non-destructive Reads over Tuple Spaces	66	(15)
R. De Nicola
R. Pugliese
A. Rowstron
On Timed Coordination Languages	81	(18)
J.-M. Jacquet
K. De Bosschere
A. Brogi
Coordination Policies
Coordination and Access Control in Open Distributed Agent Systems: The TuCSoN Approach	99	(16)
M. Cremonini
A. Omicini
F. Zambonelli
Distributed Splitting of Constraint Satisfaction Problems	115	(18)
F. Arbab
E. Monfroy
Law-Governed Internet Communities	133	(15)
X. Ao
N. Minsky
T.D. Nguyen
V. Ungureanu
Dynamics of Coordination
Reconfiguration of Software Architecture Styles with Name Mobility	148	(16)
D. Hirsch
P. Inverardi
U. Montanari
An Agent Mediated Approach to Dynamic Change in Coordination Policies	164	(18)
P. Bose
M.G. Matthews
Coordination Models for Dynamic Resource Allocation	182	(16)
S. Johansson
P. Davidsson
B. Carlsson
Mobility
MobileML: A Programming Language for Mobile Computation	198	(18)
M. Hashimoto
A. Yonezawa
Hybrid Models for Mobile Computing	216	(16)
M. Katara
Mobile Agents Coordination in Mobadtl	232	(17)
G. Ferrari
C. Montangero
L. Semini
S. Semprini
Semantic Models
A Logical Interface Description Language for Components	249	(18)
F. Arbab
F.S. de Boer
M.M. Bonsangue
A Formalization of the IWIM Model	267	(17)
P. Katis
N. Sabadini
R.F.C. Walters
GCCS: A Graphical Coordination Language for System Specification	284	(15)
R. Cleaveland
X. Du
S.A. Smolka
Short papers
Shifting Linda Perspectives
A Timed Linda Language	299	(6)
F.S. de Boer
M. Gabbrielli
M.C. Meo
The LuCe Coordination Technology for MAS Design and Development on the Internet	305	(6)
E. Denti
A. Omicini
V. Toschi
Scoped Coordination in Open Distributed Systems	311	(6)
I. Merrick
A. Wood
Directions in Software Architecture
Patterns for Coordination	317	(6)
L.F. Andrade
J.L. Fiadeiro
J. Gouveia
A. Lopes
M. Wermelinger
Coordination Models and Software Architectures in a Unified Software Development Process	323	(6)
P. Inverardi
H. Muccini
Wilde: Supporting Change in Groupware	329	(6)
S. Barrett
B. Tangney
Achieving Software Dependability
On the Verification of Coordination	335	(6)
P. Dechering
I. van Langevelde
Guaranteing Coherent Software Systems when Composing Coordinated Components	341	(6)
M. Sanchez
J.L. Herrero
J.M. Murillo
J. Hernandez
Coordination-Based Design of Distributed Systems	347	(6)
J.N. Kok
K. Sere
Author Index	353