de
en
Schliessen
Detailsuche
Bibliotheken
Projekt
Impressum
Datenschutz
Schliessen
Publizieren
Besondere Sammlungen
Digitalisierungsservice
Hilfe
Impressum
Datenschutz
zum Inhalt
Detailsuche
Schnellsuche:
OK
Ergebnisliste
Titel
Titel
Inhalt
Inhalt
Seite
Seite
Im Werk suchen
Luckey, Markus: Adaptivity engineering : Modeling and quality assurance for self-adaptive software systems. 2014
Inhalt
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
Die detaillierte Suchanfrage erfordert aktiviertes Javascript.