ISBN: 3-540-41020-1
TITLE: Coordination Languages and Models
AUTHOR: Porto, Antonio; Roman, Gruia-Catalin (Eds.)
TOC:

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