04792nam 22009015 450 991076819680332120251226195750.01-280-94380-797866109438073-540-72794-910.1007/978-3-540-72794-1(CKB)1000000000478493(EBL)3061565(SSID)ssj0000130476(PQKBManifestationID)11134407(PQKBTitleCode)TC0000130476(PQKBWorkID)10080726(PQKB)10962961(DE-He213)978-3-540-72794-1(MiAaPQ)EBC3061565(MiAaPQ)EBC6806079(Au-PeEL)EBL6806079(OCoLC)184904531(PPN)123162688(BIP)46092309(BIP)14225297(EXLCZ)99100000000047849320100301d2007 u| 0engur|n|---|||||txtccrCoordination Models and Languages 9th International Conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings /edited by Amy L. Murphy, Jan Vitek1st ed. 2007.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2007.1 online resource (332 p.)Programming and Software Engineering,2945-9168 ;4467Includes index.3-540-72793-0 Includes bibliographical references and index.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.This book constitutes the refereed proceedings of the 9th International Conference on Coordination Models and Languages, COORDINATION 2007, held in Paphos, Cyprus, in June 2007, as one of the federated conferences on Distributed Computing Techniques, DisCoTec 2007. The 17 revised full papers presented were carefully reviewed and selected from 51 submissions. The volume examines how to increase modularity, simplify reasoning, and ultimately enhance today's software development by exploring the spectrum of languages, middleware, services, and algorithms. The papers are organized in topical sections on middleware, logic programming, formal approaches, concurrency, components and services, as well as MANets.Programming and Software Engineering,2945-9168 ;4467Compilers (Computer programs)Computer systemsSoftware engineeringComputers, Special purposeComputer programmingComputer scienceCompilers and InterpretersComputer System ImplementationSoftware EngineeringSpecial Purpose and Application-Based SystemsProgramming TechniquesTheory of ComputationCompilers (Computer programs).Computer systems.Software engineering.Computers, Special purpose.Computer programming.Computer science.Compilers and Interpreters.Computer System Implementation.Software Engineering.Special Purpose and Application-Based Systems.Programming Techniques.Theory of Computation.005.276Murphy Amy L.Vitek JanMiAaPQMiAaPQMiAaPQBOOK9910768196803321Coordination Models and Languages772324UNINA