This volume contains the Proceedings of the Fourth International Conference on Coordination Models and Languages, Coordination 2000. It was held in the wake of three successful earlier conferences whose proceedings were also p- lished in this series, in volumes 1061, 1282 and 1594. The need for increased programmer productivity and rapid development of complex systems provides pragmatic motivation for the development of coordination languages and m- els. The intellectual excitement associated with such endeavors is rooted in the decades-old desire to cope with increasingly higher levels of abstraction. Coordination-based methods provide a clean separation between individual so- ware components and their interactions within the overall software organization. This separation promises to make application development more tractable, to support global analysis, and to enhance software reuse. These are indeed major concerns in the information age, at a time when all aspects of society are relying, to an ever increasing degree, on software systems of unprecedented complexity. Research on coordination methods is likely to play a central role in addressing these technological concerns by changing the software culture around us and by leading to the development of e?ective technical solutions for a broad range of important problems.
Author(s): Stéphane Ducasse, Thomas Hofmann, Oscar Nierstrasz (auth.), António Porto, Gruia-Catalin Roman (eds.)
Series: Lecture Notes in Computer Science 1906
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2000
Language: English
Pages: 355
Tags: Programming Techniques; Computer Communication Networks; Computation by Abstract Devices; Software Engineering; Artificial Intelligence (incl. Robotics)
OpenSpaces: An Object-Oriented Framework for Reconfigurable Coordination Spaces....Pages 1-18
Scripting Coordination Styles....Pages 19-35
Coordination Technology for Workflows on the Web: Workspaces....Pages 36-50
A Principled Semantics for inp....Pages 51-65
Proving the Correctness of Optimising Destructive and Non-destructive Reads over Tuple Spaces....Pages 66-80
On Timed Coordination Languages....Pages 81-98
Coordination and Access Control in Open Distributed Agent Systems: The TuCSoN Approach....Pages 99-114
Distributed Splitting of Constraint Satisfaction Problems....Pages 115-132
Law-Governed Internet Communities....Pages 133-147
Reconfiguration of Software Architecture Styles with Name Mobility....Pages 148-163
An Agent Mediated Approach to Dynamic Change in Coordination Policies....Pages 164-181
Coordination Models for Dynamic Resource Allocation....Pages 182-197
MobileML: A Programming Language for Mobile Computation....Pages 198-215
Hybrid Models for Mobile Computing....Pages 216-231
Mobile Agents Coordination in Mob adtl ....Pages 232-248
A Logical Interface Description Language for Components....Pages 249-266
A Formalization of the IWIM Model....Pages 267-283
GCCS: A Graphical Coordination Language for System Specification....Pages 284-298
A Timed Linda Language....Pages 299-304
The LuCe Coordination Technology for MAS Design and Development on the Internet....Pages 305-310
Scoped Coordination in Open Distributed Systems....Pages 311-316
Patterns for Coordination....Pages 317-322
Coordination Models and Software Architectures in a Unified Software Development Process....Pages 323-328
Wilde: Supporting Change in Groupware....Pages 329-334
On the Verification of Coordination....Pages 335-340
Guaranteing Coherent Software Systems when Composing Coordinated Components....Pages 341-346
Coordination-Based Design of Distributed Systems....Pages 347-352
