de
en
Close
Detailsuche
Bibliotheken
Projekt
Imprint
Privacy Policy
Close
Publizieren
Besondere Sammlungen
Digitalisierungsservice
Hilfe
Impressum
Datenschutz
jump to main content
Search Details
Quicksearch:
OK
Result-List
Title
Title
Content
Content
Page
Page
Search Book
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.2.1 The Adaptation Concern's Modeling Dimensions
2.2.2 Adaptation or Application Concern?
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
2.4.1 Model Checking & CTL, LTL
2.4.2 Graph Transformations & Groove
2.4.3 DMM: Language Semantics Specification
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.1.1 Static Analysis of Self-Adaptive Systems
4.1.2 Requirements & Related Work
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
5.1 A SPEM Engineering Process Definition
5.2 Related Work
5.3 Summary & Discussion
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
A.1 Structural Modeling with ACML
A.1.1 Core Elements
A.1.2 Instance Specifications
A.1.3 Knowledge
A.1.4 Versions & Variables
A.2 Behavioral Modeling with ACML
The search-operation requires javascript to be activated.