LEADER 06890nam 22008175 450 001 9910143910003321 005 20200702114122.0 010 $a3-540-46000-4 024 7 $a10.1007/3-540-46000-4 035 $a(CKB)1000000000211711 035 $a(SSID)ssj0000322353 035 $a(PQKBManifestationID)11243188 035 $a(PQKBTitleCode)TC0000322353 035 $a(PQKBWorkID)10289931 035 $a(PQKB)11493823 035 $a(DE-He213)978-3-540-46000-8 035 $a(MiAaPQ)EBC3072705 035 $a(PPN)15516368X 035 $a(EXLCZ)991000000000211711 100 $a20121227d2002 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aCoordination Models and Languages $e5th International Conference, COORDINATION 2002, YORK, UK, April 8-11, 2002 Proceedings /$fedited by Farhad Arbab, Carolyn Talcott 205 $a1st ed. 2002. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2002. 215 $a1 online resource (XII, 412 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v2315 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-43410-0 320 $aIncludes bibliographical references and index. 327 $aInvited Presentations -- Playing Games with Software Design -- Coordination and System Design in a Network-Centric Age -- Time, Knowledge, and Cooperation: Alternating-Time Temporal Epistemic Logic and Its Applications -- Accepted Papers -- Coordination for Orchestration -- Concurrent Semantics for the Web Services Specification Language DAML-S -- Coordination through Channel Composition -- Exogenous and Endogenous Extensions of Architectural Types -- Coordinating Mobile Object-Oriented Code -- Formalizing Properties of Mobile Agent Systems -- Dynamically Adapting the Behaviour of Software Components -- An Associative Broadcast Based Coordination Model for Distributed Processes -- State?and Event-Based Reactive Programming in Shared Dataspaces -- Integrating Two Organizational Systems through Communication Genres -- OpenCoLaS a Coordination Framework for CoLaS Dialects -- Coordination in a Reflective Architecture Description Language -- Coordinating Software Evolution via Two-Tier Programming -- Criteria for the Analysis of Coordination in Multi-agent Applications -- Towards a Colimit-Based Semantics for Visual Programming -- The Cost of Communication Protocols and Coordination Languages in Embedded Systems -- Operational Semantics for Coordination in Paradigm -- Service Provision in Ad Hoc Networks -- PN2: An Elementary Model for Design and Analysis of Multi-agent Systems -- A Recovery Technique Using Multi-agent in Distributed Computing Systems -- An Order-Based, Distributed Algorithm for Implementing Multiparty Interactions -- Exploiting Transiently Shared Tuple Spaces for Location Transparent Code Mobility -- Formal Specification of JavaSpaces? Architecture Using ?CRL -- Objective vs. Subjective Coordination in Agent-Based Systems: A Case Study -- Scheduling under Uncertainty: Planning for the Ubiquitous Grid -- Using Logical Operators as an Extended Coordination Mechanism in Linda -- A Framework for Coordinating Parallel Branch and Bound Algorithms -- Policies for Cooperative Virtual Teams -- The Spacetub Models and Framework -- Tuple-Based Models in the Observation Framework -- Extending the Matching Facilities of Linda -- Semantics of Protocol Modules Composition and Interaction. 330 $aThis volume contains the proceedings of the Fifth International Conference on Coordination Models and Languages (Coordination 2002), held in York, UK, 8?11 April 2002. Coordination models and languages close the conceptual gap - tween the cooperation model used by the constituent parts of an application and the lower-level communication model used in its implementation. Coordinati- based methods provide a clean separation between individual software com- nents and their interactions within their overall software organization. This se- ration, together with the higher-level abstractions o?ered by coordination models and languages, improve software productivity, enhance maintainability, advocate modularity, promote reusability, and lead to software organizations and arc- tectures that are more tractable and more amenable to veri?cation and global analysis. Coordination is relevant in design, development, debugging, maintenance, and reuse of all complex concurrent and distributed systems. Speci?cally, - ordination becomes paramount in the context of open systems, systems with mobile entities, and dynamically re-con?gurable evolving systems. Moreover, - ordination models and languages focus on such key issues in Component Based Software Engineering as speci?cation, interaction, and dynamic composition of components. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v2315 606 $aArchitecture, Computer 606 $aProgramming languages (Electronic computers) 606 $aComputer programming 606 $aComputer communication systems 606 $aComputers 606 $aSoftware engineering 606 $aComputer System Implementation$3https://scigraph.springernature.com/ontologies/product-market-codes/I13057 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 606 $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022 606 $aComputation by Abstract Devices$3https://scigraph.springernature.com/ontologies/product-market-codes/I16013 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 615 0$aArchitecture, Computer. 615 0$aProgramming languages (Electronic computers). 615 0$aComputer programming. 615 0$aComputer communication systems. 615 0$aComputers. 615 0$aSoftware engineering. 615 14$aComputer System Implementation. 615 24$aProgramming Languages, Compilers, Interpreters. 615 24$aProgramming Techniques. 615 24$aComputer Communication Networks. 615 24$aComputation by Abstract Devices. 615 24$aSoftware Engineering. 676 $a004/.35 702 $aArbab$b Farhad$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aTalcott$b Carolyn$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aCOORDINATION 2002 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910143910003321 996 $aCoordination Models and Languages$9772324 997 $aUNINA