Coordination Models and Languages

5th International Conference, COORDINATION 2002 York, UK, April 8–11, 2002 Proceedings

  • Farhad Arbab
  • Carolyn Talcott
Conference proceedings COORDINATION 2002

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

Table of contents

  1. Front Matter
    Pages I-XI
  2. Invited Presentations

  3. Accepted Papers

    1. Luis F. Andrade, Jose L. Fiadeiro, Joao Gouveia, Georgios Koutsoukos, Michael Wermelinger
      Pages 5-13
    2. Anupriya Ankolekar, Frank Huch, Katia Sycara
      Pages 14-21
    3. Farhad Arbab, Farhad Mavaddat
      Pages 22-39
    4. Marco Bernardo, Francesco Franzè
      Pages 40-55
    5. Lorenzo Bettini, Viviana Bono, Betti Venneri
      Pages 56-71
    6. Lorenzo Bettini, Rocco De Nicola, Michele Loreti
      Pages 72-87
    7. Andrea Bracciali, Antonio Brogi, Carlos Canal
      Pages 88-95
    8. James C. Browne, Kevin Kane, Hongxia Tian
      Pages 96-110
    9. Nadia Busi, Antony Rowstron, Gianluigi Zavattaro
      Pages 111-124
    10. Carlos J. Costa, Pedro Antunes, João Ferreira Dias
      Pages 125-132
    11. Carlos E. Cuesta, Pablo de la Fuente, Manuel Barrio-Solórzano, Encarnación Beato
      Pages 141-148
    12. Amnon H. Eden, Jens Jahnke
      Pages 149-157
    13. Rejane Frozza, Luis Otávio Alvares
      Pages 158-165
    14. Kees G. W. Goossens, Om Prakash Gangwal
      Pages 174-190
    15. Luuk Groenewegen, Erik de Vink
      Pages 191-206
    16. Radu Handorean, Gruia-Catalin Roman
      Pages 207-219
    17. Hwa-Min Lee, Kwang-Sik Chung, Sang-Chul Shin, Dae-Won Lee, Won-Gyu Lee, Heon-Chang Yu
      Pages 236-249
    18. José Antonio Pérez, Rafael Corchuelo, David Ruiz, Miguel Toro
      Pages 250-257
    19. Jaco van de Pol, Miguel Valero Espada
      Pages 274-290
    20. Alessandro Ricci, Andrea Omicini, Enrico Denti
      Pages 291-299
    21. Neal Sample, Pedram Keyani, Gio Wiederhold
      Pages 300-316
    22. Samir Tata
      Pages 340-347
    23. Robert Tolksdorf, Gregor Rojec-Goldmann
      Pages 348-363
    24. Mirko Viroli, Andrea Omicini
      Pages 364-379
    25. George Wells, Alan Chalmers, Peter Clayton
      Pages 380-388
    26. Paweł T. Wojciechowski, Sergio Mena, André Schiper
      Pages 389-404
  4. Back Matter
    Pages 405-406

About these proceedings


This volume contains the proceedings of the Fifth International Conference on Coordination Models and Languages (Coordination 2002), held in York, UK, 8–11 April 2002. Coordination models and languages close the conceptual gap - tween the cooperation model used by the constituent parts of an application and the lower-level communication model used in its implementation. Coordinati- based methods provide a clean separation between individual software com- nents and their interactions within their overall software organization. This se- ration, together with the higher-level abstractions o?ered by coordination models and languages, improve software productivity, enhance maintainability, advocate modularity, promote reusability, and lead to software organizations and arc- tectures that are more tractable and more amenable to veri?cation and global analysis. Coordination is relevant in design, development, debugging, maintenance, and reuse of all complex concurrent and distributed systems. Speci?cally, - ordination becomes paramount in the context of open systems, systems with mobile entities, and dynamically re-con?gurable evolving systems. Moreover, - ordination models and languages focus on such key issues in Component Based Software Engineering as speci?cation, interaction, and dynamic composition of components.


Coordination Coordination models agent-based software engineering component-based systems coordination languages distributed systems formal specification high-level abstraction multi-agent system object reconfigurable evolving systems semantics separation multi-agent systems soft software architecture

Editors and affiliations

  • Farhad Arbab
    • 1
  • Carolyn Talcott
    • 2
  1. 1.Software Engineering DepartmentCentre for Mathematics and Computer ScienceSJ AmsterdamThe Netherlands
  2. 2.SRI InternationalMenlo ParkUSA

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2002
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-43410-8
  • Online ISBN 978-3-540-46000-8
  • Series Print ISSN 0302-9743
  • Buy this book on publisher's site
Industry Sectors
IT & Software
Energy, Utilities & Environment