LEADER 04792nam 22009015 450 001 9910768196803321 005 20251226195750.0 010 $a1-280-94380-7 010 $a9786610943807 010 $a3-540-72794-9 024 7 $a10.1007/978-3-540-72794-1 035 $a(CKB)1000000000478493 035 $a(EBL)3061565 035 $a(SSID)ssj0000130476 035 $a(PQKBManifestationID)11134407 035 $a(PQKBTitleCode)TC0000130476 035 $a(PQKBWorkID)10080726 035 $a(PQKB)10962961 035 $a(DE-He213)978-3-540-72794-1 035 $a(MiAaPQ)EBC3061565 035 $a(MiAaPQ)EBC6806079 035 $a(Au-PeEL)EBL6806079 035 $a(OCoLC)184904531 035 $a(PPN)123162688 035 $a(BIP)46092309 035 $a(BIP)14225297 035 $a(EXLCZ)991000000000478493 100 $a20100301d2007 u| 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aCoordination Models and Languages $e9th International Conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings /$fedited by Amy L. Murphy, Jan Vitek 205 $a1st ed. 2007. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2007. 215 $a1 online resource (332 p.) 225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v4467 300 $aIncludes index. 311 08$a3-540-72793-0 320 $aIncludes bibliographical references and index. 327 $aSession 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. 330 $aThis 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. 410 0$aProgramming and Software Engineering,$x2945-9168 ;$v4467 606 $aCompilers (Computer programs) 606 $aComputer systems 606 $aSoftware engineering 606 $aComputers, Special purpose 606 $aComputer programming 606 $aComputer science 606 $aCompilers and Interpreters 606 $aComputer System Implementation 606 $aSoftware Engineering 606 $aSpecial Purpose and Application-Based Systems 606 $aProgramming Techniques 606 $aTheory of Computation 615 0$aCompilers (Computer programs). 615 0$aComputer systems. 615 0$aSoftware engineering. 615 0$aComputers, Special purpose. 615 0$aComputer programming. 615 0$aComputer science. 615 14$aCompilers and Interpreters. 615 24$aComputer System Implementation. 615 24$aSoftware Engineering. 615 24$aSpecial Purpose and Application-Based Systems. 615 24$aProgramming Techniques. 615 24$aTheory of Computation. 676 $a005.276 702 $aMurphy$b Amy L. 702 $aVitek$b Jan 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910768196803321 996 $aCoordination Models and Languages$9772324 997 $aUNINA