LEADER 06306nam 22007935 450 001 996465388603316 005 20200701062221.0 010 $a3-540-45263-X 024 7 $a10.1007/3-540-45263-X 035 $a(CKB)1000000000211309 035 $a(SSID)ssj0000322350 035 $a(PQKBManifestationID)11247770 035 $a(PQKBTitleCode)TC0000322350 035 $a(PQKBWorkID)10288131 035 $a(PQKB)10364881 035 $a(DE-He213)978-3-540-45263-8 035 $a(MiAaPQ)EBC3073122 035 $a(PPN)155199196 035 $a(EXLCZ)991000000000211309 100 $a20121227d2000 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aCoordination Languages and Models$b[electronic resource] $e4th International Conference, COORDINATION 2000 Limassol, Cyprus, September 11-13, 2000 Proceedings /$fedited by Antonio Porto, Gruia-Catalin Roman 205 $a1st ed. 2000. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2000. 215 $a1 online resource (IX, 355 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v1906 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-41020-1 320 $aIncludes bibliographical references at the end of each chapters and index. 327 $aRegular Papers -- OpenSpaces: An Object-Oriented Framework for Reconfigurable Coordination Spaces -- Scripting Coordination Styles -- Coordination Technology for Workflows on the Web: Workspaces -- Regular Papers -- A Principled Semantics for inp -- Proving the Correctness of Optimising Destructive and Non-destructive Reads over Tuple Spaces -- On Timed Coordination Languages -- Regular Papers -- Coordination and Access Control in Open Distributed Agent Systems: The TuCSoN Approach -- Distributed Splitting of Constraint Satisfaction Problems -- Law-Governed Internet Communities -- Regular Papers -- Reconfiguration of Software Architecture Styles with Name Mobility -- An Agent Mediated Approach to Dynamic Change in Coordination Policies -- Coordination Models for Dynamic Resource Allocation -- Regular Papers -- MobileML: A Programming Language for Mobile Computation -- Hybrid Models for Mobile Computing -- Mobile Agents Coordination in Mobadtl -- Regular Papers -- A Logical Interface Description Language for Components -- A Formalization of the IWIM Model -- GCCS: A Graphical Coordination Language for System Specification -- Short papers -- A Timed Linda Language -- The LuCe Coordination Technology for MAS Design and Development on the Internet -- Scoped Coordination in Open Distributed Systems -- Short papers -- Patterns for Coordination -- Coordination Models and Software Architectures in a Unified Software Development Process -- Wilde: Supporting Change in Groupware -- Short papers -- On the Verification of Coordination -- Guaranteing Coherent Software Systems when Composing Coordinated Components -- Coordination-Based Design of Distributed Systems. 330 $aThis volume contains the Proceedings of the Fourth International Conference on Coordination Models and Languages, Coordination 2000. It was held in the wake of three successful earlier conferences whose proceedings were also p- lished in this series, in volumes 1061, 1282 and 1594. The need for increased programmer productivity and rapid development of complex systems provides pragmatic motivation for the development of coordination languages and m- els. The intellectual excitement associated with such endeavors is rooted in the decades-old desire to cope with increasingly higher levels of abstraction. Coordination-based methods provide a clean separation between individual so- ware components and their interactions within the overall software organization. This separation promises to make application development more tractable, to support global analysis, and to enhance software reuse. These are indeed major concerns in the information age, at a time when all aspects of society are relying, to an ever increasing degree, on software systems of unprecedented complexity. Research on coordination methods is likely to play a central role in addressing these technological concerns by changing the software culture around us and by leading to the development of e?ective technical solutions for a broad range of important problems. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v1906 606 $aComputer programming 606 $aSoftware engineering 606 $aComputer communication systems 606 $aComputers 606 $aArtificial intelligence 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 606 $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002 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 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 615 0$aComputer programming. 615 0$aSoftware engineering. 615 0$aComputer communication systems. 615 0$aComputers. 615 0$aArtificial intelligence. 615 14$aProgramming Techniques. 615 24$aSoftware Engineering/Programming and Operating Systems. 615 24$aComputer Communication Networks. 615 24$aComputation by Abstract Devices. 615 24$aSoftware Engineering. 615 24$aArtificial Intelligence. 676 $a004/.35 702 $aPorto$b Antonio$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aRoman$b Gruia-Catalin$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aCoordination 2000 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996465388603316 996 $aCoordination Languages and Models$91930083 997 $aUNISA