[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to main content
Springer Nature Link
Log in

Coordination Languages and Models

4th International Conference, COORDINATION 2000 Limassol, Cyprus, September 11-13, 2000 Proceedings

  • Conference proceedings
  • © 2000

Overview

Editors:
  1. António Porto

    1. Departamento de Informática, Universidade Nova de Lisboa, Caparica, Portugal

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Gruia-Catalin Roman

    1. Department of Computer Science, Washington University in St. Louis, St. Louis, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 1906)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution

Subscribe and save

Springer+ Basic
£29.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

eBook GBP 35.99
Price includes VAT (United Kingdom)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book GBP 44.99
Price includes VAT (United Kingdom)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

About this book

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.

Keywords

Table of contents (27 papers)

  1. Front Matter

    Pages I-IX
    Download chapter PDF

  2. Regular Papers

    1. OpenSpaces: An Object-Oriented Framework for Reconfigurable Coordination Spaces

      • Stéphane Ducasse, Thomas Hofmann, Oscar Nierstrasz
      Pages 1-18

    2. Scripting Coordination Styles

      • Franz Achermann, Stefan Kneubuehl, Oscar Nierstrasz
      Pages 19-35

    3. Coordination Technology for Workflows on the Web: Workspaces

      • Robert Tolksdorf
      Pages 36-50

  3. Regular Papers

    1. A Principled Semantics for inp

      • Jeremy L. Jacob, Alan M. Wood
      Pages 51-65

    2. Proving the Correctness of Optimising Destructive and Non-destructive Reads over Tuple Spaces

      • Rocco De Nicola, Rosario Pugliese, Antony Rowstron
      Pages 66-80

    3. On Timed Coordination Languages

      • J. -M. Jacquet, K. De Bosschere, A. Brogi
      Pages 81-98

  4. Regular Papers

    1. Coordination and Access Control in Open Distributed Agent Systems: The TuCSoN Approach

      • Marco Cremonini, Andrea Omicini, Franco Zambonelli
      Pages 99-114

    2. Distributed Splitting of Constraint Satisfaction Problems

      • Farhad Arbab, Eric Monfroy
      Pages 115-132

    3. Law-Governed Internet Communities

      • Xuhui Ao, Naftaly Minsky, Thu D. Nguyen, Victoria Ungureanu
      Pages 133-147

  5. Regular Papers

    1. Reconfiguration of Software Architecture Styles with Name Mobility

      • Dan Hirsch, Paola Inverardi, Ugo Montanari
      Pages 148-163

    2. An Agent Mediated Approach to Dynamic Change in Coordination Policies

      • Prasanta Bose, Mark G. Matthews
      Pages 164-181

    3. Coordination Models for Dynamic Resource Allocation

      • Stefan Johansson, Paul Davidsson, Bengt Carlsson
      Pages 182-197

  6. Regular Papers

    1. MobileML: A Programming Language for Mobile Computation

      • Masatomo Hashimoto, Akinori Yonezawa
      Pages 198-215

    2. Hybrid Models for Mobile Computing

      • Mika Katara
      Pages 216-231

    3. Mobile Agents Coordination in Mobadtl

      • Gianluigi Ferrari, Carlo Montangero, Laura Semini, Simone Semprini
      Pages 232-248

  7. Regular Papers

    1. A Logical Interface Description Language for Components

      • F. Arbab, F. S. de Boer, M. M. Bonsangue
      Pages 249-266

    2. A Formalization of the IWIM Model

      • P. Katis, N. Sabadini, R. F. C. Walters
      Pages 267-283

    3. GCCS: A Graphical Coordination Language for System Specification

      • Rance Cleaveland, Xiaoqun Du, Scott A. Smolka
      Pages 284-298

  8. Short papers

    1. A Timed Linda Language

      • Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo
      Pages 299-304
Back to top

Editors and Affiliations

  • Departamento de Informática, Universidade Nova de Lisboa, Caparica, Portugal

    António Porto

  • Department of Computer Science, Washington University in St. Louis, St. Louis, USA

    Gruia-Catalin Roman

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation