000 04530nam a22006135i 4500
001 978-3-319-16310-9
003 DE-He213
005 20200420221302.0
007 cr nn 008mamaa
008 150303s2015 gw | s |||| 0|eng d
020 _a9783319163109
_9978-3-319-16310-9
024 7 _a10.1007/978-3-319-16310-9
_2doi
050 4 _aQA76.758
072 7 _aUMZ
_2bicssc
072 7 _aCOM051230
_2bisacsh
082 0 4 _a005.1
_223
245 1 0 _aSoftware Engineering for Collective Autonomic Systems
_h[electronic resource] :
_bThe ASCENS Approach /
_cedited by Martin Wirsing, Matthias H�olzl, Nora Koch, Philip Mayer.
264 1 _aCham :
_bSpringer International Publishing :
_bImprint: Springer,
_c2015.
300 _aXIV, 535 p. 159 illus.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v8998
505 0 _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.
520 _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.
650 0 _aComputer science.
650 0 _aComputer programming.
650 0 _aSoftware engineering.
650 0 _aProgramming languages (Electronic computers).
650 0 _aComputer logic.
650 0 _aMathematical logic.
650 0 _aArtificial intelligence.
650 1 4 _aComputer Science.
650 2 4 _aSoftware Engineering.
650 2 4 _aLogics and Meanings of Programs.
650 2 4 _aProgramming Languages, Compilers, Interpreters.
650 2 4 _aProgramming Techniques.
650 2 4 _aMathematical Logic and Formal Languages.
650 2 4 _aArtificial Intelligence (incl. Robotics).
700 1 _aWirsing, Martin.
_eeditor.
700 1 _aH�olzl, Matthias.
_eeditor.
700 1 _aKoch, Nora.
_eeditor.
700 1 _aMayer, Philip.
_eeditor.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783319163093
830 0 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v8998
856 4 0 _uhttp://dx.doi.org/10.1007/978-3-319-16310-9
912 _aZDB-2-SCS
912 _aZDB-2-LNC
942 _cEBK
999 _c53276
_d53276