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