Luckey, Markus: Adaptivity engineering : Modeling and quality assurance for self-adaptive software systems. 2014
Content
1 Introduction
1.1 Background
1.2 Motivation
1.3 Solution Overview and Research Contribution
1.4 Thesis Approach
1.5 Scope and Non-Objectives
1.6 Publication Overview
1.7 Structure of this Thesis
2 Foundations
2.1 bCMS – The Running Example
2.2 The System Class of Self-Adaptive Systems
2.3 Model-driven Software Engineering (MDSE)
2.3.1 Multi-View Modeling & Concern-Specific Modeling Languages (CSML)
2.3.2 Unified Modeling Language (UML)
2.3.3 Adaptivity Concerns in the UML
2.3.4 Concern-Specific Modeling Language Definition
2.4 Semantics & Static Quality Assurance in MDSE
3 Modeling of Self-Adaptive Systems
3.1 Language Engineering Approach
3.2 Analysis
3.2.1 Adaptivity in the Development Cycle
3.2.2 Notion of Adaptivity
3.2.3 Requirements & Related Work
3.3 ACML: A CSML for Self-Adaptive Systems
3.3.1 ACML in the Engineering Process
3.3.2 ACML Core Principles and Modeling Concepts
3.3.3 ACML Language Features
3.3.4 ACML on Meta-Model Layers
3.4 Summary & Discussion
4 Quality Assurance for Self-Adaptive Systems
4.1 Analysis
4.2 Quality Assurance for Adaptive Systems (QUAASY)
4.2.1 Semantics Definition for the ACML
4.2.2 Quality Property Formalization
4.2.3 Model Checking and User Feedback
4.3 Optimizing QUAASY
4.3.1 Adapt Case Intermediate Language (ACIL)
4.3.2 Multi-Staged Model Checking
4.3.3 Performance Evaluation
4.3.4 Discussion
4.4 Summary & Discussion
5 Engineering Self-Adaptive Systems
6 Evaluation
6.1 Evaluation Approaches
6.1.1 Formative Assessment: Language Features
6.1.2 Experiment: Usability & Expressiveness
6.1.3 Case Study CWI: Extensibility & Applicability
6.1.4 Experiment bCMS: Applicability & Comprehensibility
6.1.5 Illustrative Assessment: Composition Techniques
6.2 Threats to Validity
6.3 Discussion & Future Work
7 Tool Support
7.1 Modeling of Self-Adaptive Systems
7.2 Quality Assurance for Self-Adaptive Systems
7.3 Conclusions
8 Conclusions & Outlook
8.1 General Remarks
8.2 Modeling Approach for Self-Adaptive Systems
8.3 Quality Assurance for Self-Adaptive Systems
8.4 Future Work
List of Figures
List of Tables
List of Definitions
Bibliography
A Meta Model Definitions of the ACML