Coordination Models and Languages
5th International Conference, COORDINATION 2002, YORK, UK, April 8-11, 2002 Proceedings
Editors: Arbab, Farhad, Talcott, Carolyn (Eds.)
Free PreviewBuy this book
- 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)
-
-
Playing Games with Software Design
Pages 1-1
-
Coordination and System Design in a Network-Centric Age
Pages 2-3
-
Time, Knowledge, and Cooperation: Alternating-Time Temporal Epistemic Logic and Its Applications
Pages 4-4
-
Coordination for Orchestration
Pages 5-13
-
Concurrent Semantics for the Web Services Specification Language DAML-S
Pages 14-21
-
Table of contents (35 chapters)
- Download Sample pages 1 PDF (34.3 KB)
- Download Table of contents PDF (42.6 KB)
Recommended for you
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
