"The book targets intermediate to advanced programmers interested in mastering the complexities of concurrent programming. Taking a design pattern approach, the book offers standard design techniques for creating and implementing components that solve common concurrent programming challenges. The numerous code examples throughout help clarify the subtleties of the concurrent programming concepts discussed."--BOOK JACKET.
InhaltsverzeichnisSession 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.