Coordination Models and Languages 9th International Conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Murphy, Amy L. (Editor), Vitek, Jan (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
• Series: Lecture Notes in Computer Science, 4467
• Subjects: Computer science.; Special purpose computers.; Architecture, Computer.; Computer programming.; Software engineering.; Programming languages (Electronic computers).; Computers.; Computer Science.; Programming Languages, Compilers, Interpreters.; Computer System Implementation.; Software Engineering.; Special Purpose and Application-Based Systems.; Programming Techniques.; Computation by Abstract Devices.

Table of Contents:

• 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.