Coordination Models and Languages

9th International Conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings

Buch | Softcover

X, 325 Seiten

2007
Springer Berlin (Verlag)
978-3-540-72793-4 (ISBN)

Artikel merken

lt;p>This book constitutes the refereed proceedings of the 9th International Conference on Coordination Models and Languages, COORDINATION 2007, held in Paphos, Cyprus, June 2007, as one of the federated conferences on Distributed Computing Techniques. It examines how to increase modularity, simplify reasoning, and ultimately enhance today's software development by exploring the spectrum of languages, middleware, services, and algorithms.

Session 1. Middleware.- A Coordination Model for Triplespace Computing.- Requirements for Routing in the Application Layer.- Context-Aware Publish Subscribe in Mobile Ad Hoc Networks.- Session 2. Logic Programming.- A Prolog-Based Language for Workflow Programming.- Reactors: A Data-Oriented Synchronous/Asynchronous Programming Model for Distributed Applications.- Session 3. Formal Approaches.- A Theory for Strong Service Compliance.- Towards a Theory of Refinement in Timed Coordination Languages.- A Calculus for Mobile Ad Hoc Networks.- Session 4. Concurrency.- A Theory of Nested Speculative Execution.- Actors That Unify Threads and Events.- Generalized Committed Choice.- Session 5. Components and Services I.- Combining Formal Methods and Aspects for Specifying and Enforcing Architectural Invariants.- Session 6. Manet.- Object-Oriented Coordination in Mobile Ad Hoc Networks.- Coordinating Workflow Allocation and Execution in Mobile Environments.- Fact Spaces: Coordination in the Face of Disconnection.- Session 7. Components and Services II.- Component Connectors with QoS Guarantees.- Context-Based Adaptation of Component Behavioural Interfaces.

Erscheint lt. Verlag	31.5.2007
Reihe/Serie	Lecture Notes in Computer Science
Reihe/Serie	Programming and Software Engineering
Zusatzinfo	X, 325 p.
Verlagsort	Berlin
Sprache	englisch
Maße	155 x 235 mm
Gewicht	481 g
Themenwelt	Mathematik / Informatik ► Informatik ► Programmiersprachen / -werkzeuge
Schlagworte	algorithm • algorithms • Communication • component interaction • Component Systems • Concurrency • constraint automata • Context Awareness • Coordination • coordination-based architectures • coordination languages • coordination middleware • Coordination Models • Distributed Computing • distributed workflow • Hardcover, Softcover / Informatik, EDV/Informatik • HC/Informatik, EDV/Informatik • Logic • Logic Programming • Middleware • Modularity • process calculi • programming • publish-subscribe systems • QoS • reduction semantics • service-oriented systems • transition semantics • XML
ISBN-10	3-540-72793-0 / 3540727930
ISBN-13	978-3-540-72793-4 / 9783540727934
Zustand	Neuware