國立虎尾科技大學 |

Software Engineering for Collective Autonomic Systems = The ASCENS Approach /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Software Engineering for Collective Autonomic Systems/ edited by Martin Wirsing, Matthias Hölzl, Nora Koch, Philip Mayer.
其他題名:	The ASCENS Approach /
其他作者:	Wirsing, Martin.
面頁冊數:	XIV, 535 p. 159 illus.online resource. :
Contained By:	Springer Nature eBook
標題:	Software engineering. -
電子資源:	https://doi.org/10.1007/978-3-319-16310-9
ISBN:	9783319163109

Software Engineering for Collective Autonomic Systems = The ASCENS Approach /
Software Engineering for Collective Autonomic SystemsThe ASCENS Approach /[electronic resource] :edited by Martin Wirsing, Matthias Hölzl, Nora Koch, Philip Mayer. - 1st ed. 2015. - XIV, 535 p. 159 illus.online resource. - Programming and Software Engineering ;8998. - Programming and Software Engineering ;8987.

The 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.

A 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.

ISBN: 9783319163109

Standard No.: 10.1007/978-3-319-16310-9doiSubjects--Topical Terms:

562952
Software engineering.

LC Class. No.: QA76.758

Dewey Class. No.: 005.1

Software Engineering for Collective Autonomic Systems = The ASCENS Approach /
LDR:03776nam a22004095i 4500 001 960914
003 DE-He213
005 20200704093926.0
007 cr nn 008mamaa
008 201211s2015 gw | s |||| 0|eng d
020 $a 9783319163109 $9 978-3-319-16310-9
024 7 $a 10.1007/978-3-319-16310-9 $2 doi
035 $a 978-3-319-16310-9
050 4 $a QA76.758
072 7 $a UMZ $2 bicssc
072 7 $a COM051230 $2 bisacsh
072 7 $a UMZ $2 thema
082 0 4 $a 005.1 $2 23
245 1 0 $a Software Engineering for Collective Autonomic Systems $h [electronic resource] : $b The ASCENS Approach / $c edited by Martin Wirsing, Matthias Hölzl, Nora Koch, Philip Mayer.
250 $a 1st ed. 2015.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2015.
300 $a XIV, 535 p. 159 illus. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
490 1 $a Programming and Software Engineering ; $v 8998
505 0 $a The 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 $a A 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 $a Software engineering. $3 562952
650 0 $a Computer logic. $3 786340
650 0 $a Programming languages (Electronic computers). $3 1127615
650 0 $a Computer programming. $3 527822
650 0 $a Mathematical logic. $2 bicssc $3 810627
650 0 $a Artificial intelligence. $3 559380
650 1 4 $a Software Engineering. $3 669632
650 2 4 $a Logics and Meanings of Programs. $3 670058
650 2 4 $a Programming Languages, Compilers, Interpreters. $3 669782
650 2 4 $a Programming Techniques. $3 669781
650 2 4 $a Mathematical Logic and Formal Languages. $3 670059
650 2 4 $a Artificial Intelligence. $3 646849
700 1 $a Wirsing, Martin. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 673623
700 1 $a Hölzl, Matthias. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1255071
700 1 $a Koch, Nora. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 890532
700 1 $a Mayer, Philip. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1255072
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783319163116
776 0 8 $i Printed edition: $z 9783319163093
830 0 $a Programming and Software Engineering ; $v 8987 $3 1253476
856 4 0 $u https://doi.org/10.1007/978-3-319-16310-9
912 $a ZDB-2-SCS
912 $a ZDB-2-SXCS
912 $a ZDB-2-LNC
950 $a Computer Science (SpringerNature-11645)
950 $a Computer Science (R0) (SpringerNature-43710)