Book Volume 8998 2015

Software Engineering for Collective Autonomic Systems

The ASCENS Approach

Editors:

ISBN: 978-3-319-16309-3 (Print) 978-3-319-16310-9 (Online)

Table of contents (17 chapters)

  1. Front Matter

    Pages -

  2. Language and Verification for Collective Autonomic Systems

    1. Front Matter

      Pages 1-1

    2. No Access

      Chapter

      Pages 3-71

      The SCEL Language: Design, Implementation, Verification

    3. No Access

      Chapter

      Pages 73-106

      Reconfigurable and Software-Defined Networks of Connectors and Components

    4. No Access

      Chapter

      Pages 107-159

      Correctness of Service Components and Service Component Ensembles

  3. Modeling and Theory of Adaptive and Self-aware Systems

    1. Front Matter

      Pages 161-161

    2. No Access

      Chapter

      Pages 163-184

      Reconciling White-Box and Black-Box Perspectives on Behavioral Self-adaptation

    3. No Access

      Chapter

      Pages 185-220

      From Local to Global Knowledge and Back

    4. No Access

      Chapter

      Pages 221-247

      Knowledge Representation for Adaptive and Self-aware Systems

    5. No Access

      Chapter

      Pages 249-290

      Reasoning and Learning for Awareness and Adaptation

    6. No Access

      Chapter

      Pages 291-322

      Supporting Performance Awareness in Autonomous Ensembles

  4. Engineering Techniques for Collective Autonomic Systems

    1. Front Matter

      Pages 323-323

    2. No Access

      Chapter

      Pages 325-354

      The Ensemble Development Life Cycle and Best Practices for Collective Autonomic Systems

    3. No Access

      Chapter

      Pages 355-378

      Methodological Guidelines for Engineering Self-organization and Emergence

    4. No Access

      Chapter

      Pages 379-403

      Engineering Requirements for Autonomy Features

    5. No Access

      Chapter

      Pages 405-428

      The Invariant Refinement Method

    6. No Access

      Chapter

      Pages 429-448

      Tools for Ensemble Design and Runtime

  5. Case Studies: Challenges and Feedback

    1. Front Matter

      Pages 449-449

    2. No Access

      Chapter

      Pages 451-469

      The ASCENS Case Studies: Results and Common Aspects

    3. No Access

      Chapter

      Pages 471-494

      Adaptation and Awareness in Robot Ensembles: Scenarios and Algorithms

    4. No Access

      Chapter

      Pages 495-512

      The Autonomic Cloud

    5. No Access

      Chapter

      Pages 513-533

      The E-mobility Case Study

  6. Back Matter

    Pages -