Programming and Software Engineering

Software Engineering for Collective Autonomic Systems

The ASCENS Approach

Editors: Wirsing, M., Hölzl, M., Koch, N., Mayer, P. (Eds.)

  • State-of-the-art contents
  • Presents methods, tools and theories developed within the ASCENS project
  • Contributions by international experts
see more benefits

Buy this book

eBook $69.99
price for USA in USD (gross)
  • ISBN 978-3-319-16310-9
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $89.99
price for USA in USD
  • ISBN 978-3-319-16309-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

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.

Table of contents (17 chapters)

  • The SCEL Language: Design, Implementation, Verification

    Nicola, Rocco (et al.)

    Pages 3-71

  • Reconfigurable and Software-Defined Networks of Connectors and Components

    Bruni, Roberto (et al.)

    Pages 73-106

  • Correctness of Service Components and Service Component Ensembles

    Combaz, Jacques (et al.)

    Pages 107-159

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

    Bruni, Roberto (et al.)

    Pages 163-184

  • From Local to Global Knowledge and Back

    Hoch, Nicklas (et al.)

    Pages 185-220

Buy this book

eBook $69.99
price for USA in USD (gross)
  • ISBN 978-3-319-16310-9
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $89.99
price for USA in USD
  • ISBN 978-3-319-16309-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Software Engineering for Collective Autonomic Systems
Book Subtitle
The ASCENS Approach
Editors
  • Martin Wirsing
  • Matthias Hölzl
  • Nora Koch
  • Philip Mayer
Series Title
Programming and Software Engineering
Series Volume
8998
Copyright
2015
Publisher
Springer International Publishing
Copyright Holder
Springer International Publishing Switzerland
eBook ISBN
978-3-319-16310-9
DOI
10.1007/978-3-319-16310-9
Softcover ISBN
978-3-319-16309-3
Edition Number
1
Number of Pages
XIV, 535
Number of Illustrations and Tables
159 b/w illustrations
Topics