Get 40% off select print & eBooks in Engineering & Materials or 50% off eBooks in Medicine & Psychology!

Lecture Notes in Computer Science

Coordination Models and Languages

5th International Conference, COORDINATION 2002, YORK, UK, April 8-11, 2002 Proceedings

Editors: Arbab, Farhad, Talcott, Carolyn (Eds.)

Free Preview

Buy this book

eBook $89.00
price for USA in USD (gross)
  • ISBN 978-3-540-46000-8
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $119.00
price for USA in USD
  • ISBN 978-3-540-43410-8
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

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.

Table of contents (35 chapters)

Table of contents (35 chapters)
  • Playing Games with Software Design

    Pages 1-1

    Stevens, Perdita

  • Coordination and System Design in a Network-Centric Age

    Pages 2-3

    Waldo, Jim

  • Time, Knowledge, and Cooperation: Alternating-Time Temporal Epistemic Logic and Its Applications

    Pages 4-4

    Wooldridge, Michael (et al.)

  • Coordination for Orchestration

    Pages 5-13

    Andrade, Luis F. (et al.)

  • Concurrent Semantics for the Web Services Specification Language DAML-S

    Pages 14-21

    Ankolekar, Anupriya (et al.)

Buy this book

eBook $89.00
price for USA in USD (gross)
  • ISBN 978-3-540-46000-8
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $119.00
price for USA in USD
  • ISBN 978-3-540-43410-8
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Coordination Models and Languages
Book Subtitle
5th International Conference, COORDINATION 2002, YORK, UK, April 8-11, 2002 Proceedings
Editors
  • Farhad Arbab
  • Carolyn Talcott
Series Title
Lecture Notes in Computer Science
Series Volume
2315
Copyright
2002
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-46000-8
DOI
10.1007/3-540-46000-4
Softcover ISBN
978-3-540-43410-8
Series ISSN
0302-9743
Edition Number
1
Number of Pages
XII, 412
Topics