LEADER 05814nam 22008535 450 001 9910483787403321 005 20200704093926.0 010 $a3-319-16310-8 024 7 $a10.1007/978-3-319-16310-9 035 $a(CKB)3710000000379638 035 $a(SSID)ssj0001465720 035 $a(PQKBManifestationID)11919385 035 $a(PQKBTitleCode)TC0001465720 035 $a(PQKBWorkID)11477856 035 $a(PQKB)10391531 035 $a(DE-He213)978-3-319-16310-9 035 $a(MiAaPQ)EBC6281797 035 $a(MiAaPQ)EBC5592484 035 $a(Au-PeEL)EBL5592484 035 $a(OCoLC)904755634 035 $a(PPN)184894921 035 $a(EXLCZ)993710000000379638 100 $a20150303d2015 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aSoftware Engineering for Collective Autonomic Systems $eThe ASCENS Approach /$fedited by Martin Wirsing, Matthias Hölzl, Nora Koch, Philip Mayer 205 $a1st ed. 2015. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2015. 215 $a1 online resource (XIV, 535 p. 159 illus.) 225 1 $aProgramming and Software Engineering ;$v8998 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-319-16309-4 327 $aThe SCEL Language: Design, Implementation, Verification -- Reconfigurable and Software-Defined Networks of Connectors and Components -- Correctness of Service Components and Service Component Ensembles -- Reconciling White-Box and Black-Box Perspectives on Behavioral Self-adaptation -- From Local to Global Knowledge and Back -- Knowledge Representation for Adaptive and Self-aware Systems -- Reasoning and Learning for Awareness and Adaptation -- Supporting Performance Awareness in Autonomous Ensembles -- The Ensemble Development Life Cycle and Best Practices for Collective Autonomic Systems -- Methodological Guidelines for Engineering Self-organization and Emergence -- Engineering Requirements for Autonomy Features -- The Invariant Refinement Method -- The ASCENS Case Studies: Results and Common Aspects -- Adaptation and Awareness in Robot Ensembles: Scenarios and Algorithms -- The Autonomic Cloud -- The E-mobility Case Study. 330 $aA collective autonomic system consists of collaborating autonomic entities which are able to adapt at runtime, adjusting to the state of the environment and incorporating new knowledge into their behavior. These highly dynamic systems are also known as ensembles. To ensure correct behavior of ensembles it is necessary to support their development through appropriate methods and tools which can guarantee that an autonomic system lives up to its intended purpose; this includes respecting important constraints of the environment. This State-of-the-Art Survey addresses the engineering of such systems by presenting the methods, tools and theories developed within the ASCENS project. ASCENS was an integrated project funded in the period 2010-2015 by the 7th Framework Programme (FP7) of the European Commission as part of the Future Emerging Technologies Proactive Initiative (FET Proactive). The 17 contributions included in this book are organized in four parts corresponding to the research areas of the project and their concrete applications: (I) language and verification for self-awareness and self-expression, (II) modeling and theory of self-aware and adaptive systems, (III) engineering techniques for collective autonomic systems, and last but not least, (IV) challenges and feedback provided by the case studies of the project in the areas of swarm robotics, cloud computing and e-mobility. 410 0$aProgramming and Software Engineering ;$v8998 606 $aSoftware engineering 606 $aComputer logic 606 $aProgramming languages (Electronic computers) 606 $aComputer programming 606 $aMathematical logic 606 $aArtificial intelligence 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 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 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 615 0$aSoftware engineering. 615 0$aComputer logic. 615 0$aProgramming languages (Electronic computers). 615 0$aComputer programming. 615 0$aMathematical logic. 615 0$aArtificial intelligence. 615 14$aSoftware Engineering. 615 24$aLogics and Meanings of Programs. 615 24$aProgramming Languages, Compilers, Interpreters. 615 24$aProgramming Techniques. 615 24$aMathematical Logic and Formal Languages. 615 24$aArtificial Intelligence. 676 $a005.1 702 $aWirsing$b Martin$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aHölzl$b Matthias$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aKoch$b Nora$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aMayer$b Philip$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483787403321 996 $aSoftware Engineering for Collective Autonomic Systems$92830234 997 $aUNINA