|
Part I Language and Verification for Collective Autonomic Systems |
|
|
|
|
1 | (2) |
|
The SCEL Language: Design, Implementation, Verification |
|
|
3 | (70) |
|
|
|
|
|
|
|
|
|
|
|
|
3 | (3) |
|
2 The Parametric Language SCEL |
|
|
6 | (15) |
|
|
21 | (6) |
|
|
27 | (8) |
|
5 A Full-Fledged SCEL Instance |
|
|
35 | (9) |
|
6 A Runtime Environment for SCEL |
|
|
44 | (6) |
|
7 Quantitative Variants of SCEL |
|
|
50 | (7) |
|
|
57 | (10) |
|
|
67 | (6) |
|
Reconfigurable and Software-Defined Networks of Connectors and Components |
|
|
73 | (34) |
|
|
|
|
|
73 | (1) |
|
2 Software-Defined and Overlay Networks |
|
|
74 | (1) |
|
3 Network Conscious π-Calculus (NCPi) |
|
|
75 | (8) |
|
4 Formal Definition and Properties of the PASTRY Distributed Hash Table System |
|
|
83 | (2) |
|
5 Networks of Connectors and Components |
|
|
85 | (2) |
|
6 Connector Algebras for Petri Nets |
|
|
87 | (4) |
|
7 From BI(P) to Petri Nets and Vice Versa |
|
|
91 | (3) |
|
8 Reconfigurable and Dynamic BIP |
|
|
94 | (10) |
|
|
104 | (3) |
|
Correctness of Service Components and Service Component Ensembles |
|
|
107 | (54) |
|
|
|
|
|
|
|
|
107 | (2) |
|
2 Verification Techniques for BIP Models |
|
|
109 | (26) |
|
3 Alternative Approaches to Ensure System Correctness |
|
|
135 | (19) |
|
|
154 | (7) |
|
Part II Modeling and Theory of Adaptive and Self-aware Systems |
|
|
|
|
161 | (2) |
|
Reconciling White-Box and Black-Box Perspectives on Behavioral Self-adaptation |
|
|
163 | (22) |
|
|
|
|
|
|
|
|
|
163 | (2) |
|
2 A Robot Rescue Case Study |
|
|
165 | (1) |
|
3 Black-Box and White-Box Adaptation |
|
|
166 | (7) |
|
4 Reconciling Black-Box and White-Box Adaptation |
|
|
173 | (8) |
|
|
181 | (1) |
|
|
182 | (3) |
|
From Local to Global Knowledge and Back |
|
|
185 | (36) |
|
|
Giacoma Valentina Monreale |
|
|
|
|
|
|
186 | (2) |
|
2 Constraints Programming |
|
|
188 | (4) |
|
3 E-mobility Optimization Problems |
|
|
192 | (11) |
|
4 Smart GRIDS for Renewable Electrical Power Production/Consumption |
|
|
203 | (14) |
|
5 Conclusion and Future Work |
|
|
217 | (4) |
|
Knowledge Representation for Adaptive and Self-aware Systems |
|
|
221 | (28) |
|
|
|
|
221 | (1) |
|
2 KnowLang -- Language for Knowledge Representation of Self-adaptive Systems |
|
|
222 | (12) |
|
|
234 | (3) |
|
4 Awareness in Software-Intensive Systems |
|
|
237 | (6) |
|
|
243 | (1) |
|
|
244 | (5) |
|
Reasoning and Learning for Awareness and Adaptation |
|
|
249 | (42) |
|
|
|
|
249 | (3) |
|
2 Awareness and Self-expression |
|
|
252 | (5) |
|
3 Extended Behavior Trees |
|
|
257 | (11) |
|
|
268 | (14) |
|
5 Passing Knowledge to Other Components: Teacher-Student Learning |
|
|
282 | (3) |
|
|
285 | (1) |
|
7 Conclusions and Future Work |
|
|
286 | (5) |
|
Supporting Performance Awareness in Autonomous Ensembles |
|
|
291 | (32) |
|
|
|
|
|
|
|
|
|
|
|
291 | (2) |
|
2 Instrumentation for Performance Monitoring |
|
|
293 | (2) |
|
3 Expressing Performance Properties |
|
|
295 | (8) |
|
4 Coding for Performance Awareness |
|
|
303 | (4) |
|
|
307 | (4) |
|
6 Performance Aware Ensembles |
|
|
311 | (4) |
|
7 Designing Performance-Based Adaptation |
|
|
315 | (8) |
|
Part III Engineering Techniques for Collective Autonomic Systems |
|
|
|
|
323 | (2) |
|
The Ensemble Development Life Cycle and Best Practices for Collective Autonomic Systems |
|
|
325 | (30) |
|
|
|
|
|
|
|
325 | (2) |
|
2 Software Development Life Cycle for Ensembles |
|
|
327 | (1) |
|
3 Engineering Feedback Control Loops |
|
|
328 | (11) |
|
4 A Pattern Language for Ensemble Development |
|
|
339 | (9) |
|
|
348 | (1) |
|
|
349 | (6) |
|
Methodological Guidelines for Engineering Self-organization and Emergence |
|
|
355 | (24) |
|
|
|
|
355 | (2) |
|
2 Emergence, Engineering and Decomposition |
|
|
357 | (5) |
|
3 Following the Problem Organisation |
|
|
362 | (6) |
|
4 Engineering a Swarm of Bots |
|
|
368 | (4) |
|
5 Related Works and Discussion |
|
|
372 | (3) |
|
|
375 | (4) |
|
Engineering Requirements for Autonomy Features |
|
|
379 | (26) |
|
|
|
|
379 | (1) |
|
2 ARE -- Autonomy Requirements Engineering |
|
|
380 | (6) |
|
3 Capturing Autonomy Requirements for Science Clouds |
|
|
386 | (12) |
|
|
398 | (2) |
|
|
400 | (5) |
|
The Invariant Refinement Method |
|
|
405 | (24) |
|
|
|
|
|
|
|
|
405 | (1) |
|
|
406 | (3) |
|
3 The Need for a Tailored Design Method for ACEs |
|
|
409 | (2) |
|
4 Invariant Refinement Method |
|
|
411 | (5) |
|
5 IRM Abstraction Levels and Invariant Patterns |
|
|
416 | (10) |
|
|
426 | (3) |
|
Tools for Ensemble Design and Runtime |
|
|
429 | (20) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
429 | (2) |
|
|
431 | (9) |
|
|
440 | (4) |
|
|
444 | (5) |
|
Part IV Case Studies: Challenges and Feedback |
|
|
|
|
449 | (2) |
|
The ASCENS Case Studies: Results and Common Aspects |
|
|
451 | (20) |
|
|
|
451 | (3) |
|
|
454 | (4) |
|
|
458 | (3) |
|
4 Generic Set of Common Tools |
|
|
461 | (1) |
|
5 Application Deployments |
|
|
462 | (4) |
|
|
466 | (5) |
|
Adaptation and Awareness in Robot Ensembles: Scenarios and Algorithms |
|
|
471 | (24) |
|
|
|
|
|
|
471 | (2) |
|
2 Scenario: Disaster Recovery |
|
|
473 | (6) |
|
3 The Robotics Scenario and the EDLC |
|
|
479 | (3) |
|
4 Implementation and Demonstration |
|
|
482 | (10) |
|
|
492 | (3) |
|
|
495 | (18) |
|
|
|
|
|
|
|
|
|
|
|
495 | (1) |
|
2 Influencing Areas of Computing |
|
|
496 | (2) |
|
3 Handling Awareness and Adaptation |
|
|
498 | (8) |
|
|
506 | (2) |
|
5 Evaluation and Demonstrator |
|
|
508 | (2) |
|
|
510 | (3) |
|
The E-mobility Case Study |
|
|
513 | (22) |
|
|
|
|
|
|
|
514 | (1) |
|
|
515 | (4) |
|
3 Goal-Oriented Requirements Engineering for Self-adaptive Autonomic Systems |
|
|
519 | (7) |
|
4 Implementation and Deployment |
|
|
526 | (2) |
|
|
528 | (3) |
|
|
531 | (4) |
Author Index |
|
535 | |