Flexible debugging of behavior models

Krasnogolowy, Alexander; Hildebrandt, Stephan; Wätzoldt, Sebastian

doi:10.1109/icit.2012.6209959

Cited by 8 publications

(20 citation statements)

References 6 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Due to the focus on adaptive behavior, the modeling of reconfiguration, adaptation, and meta-adaptation in Deurema are described in Section 5. 6. Finally, this chapter closes with a discussion about design decisions and the coverage of modeling language requirements in Section 5.…”

Section: Deurema Modeling Languagementioning

confidence: 99%

“…A comprehensive discussion about graph transformation approaches can be found in [154]. Own former work in [6,12,13] uses graph transformation for the definition of the execution semantic of models, which allows the direct execution of the modeled system by means of a model interpreter. Furthermore, graph transformation facilitates the mapping of models from one modeling language to models in another modeling language as shown in own former work for an industrial case study in the automotive domain in [2].…”

Section: Model Manipulationmentioning

confidence: 99%

“…The difference between both runtime model types is explained with the help of Figure 5. 6. Conceptually, there are two layers depicted.…”

Section: System Modelsmentioning

confidence: 99%

“…Deurema integrates all these single specified parts towards a description of the adaptive SoS architecture as depicted in Figure 4. 6. Typically, an adaptive SoS architecture consists of multiple layers as exemplarily visualized for the SmartCity in the figure.…”

Section: Modeling the Adaptive Sos Architecturementioning

confidence: 99%

“…Furthermore, runtime models can be used to describe system evolution or adaptation of the running system. In former own research, different MDE techniques such as model transformation [2,3,7,14] or model verification techniques [6,8] are applied. Additionally, with respect to the goals of this thesis as motivated in Chapter 1, the Deurema modeling language is developed that uses different MDE techniques to enable system analysis and simulation capabilities.…”

Section: Model-driven Engineeringmentioning

confidence: 99%

See 4 more Smart Citations

Modeling Collaborations in Adaptive Systems of Systems

Wätzoldt

Giese

2015

Proceedings of the 2015 European Conference on Software Architecture Workshops

View full text Add to dashboard Cite

Recently, due to an increasing demand on functionality and flexibility, beforehand isolated systems have become interconnected to gain powerful adaptive System of Systems (SoS) solutions with an overall robust, flexible and emergent behavior. The adaptive SoS comprises a variety of different system types ranging from small embedded to adaptive cyber-physical systems. On the one hand, each system is independent, follows a local strategy and optimizes its behavior to reach its goals. On the other hand, systems must cooperate with each other to enrich the overall functionality to jointly perform on the SoS level reaching global goals, which cannot be satisfied by one system alone. Due to difficulties of local and global behavior optimizations conflicts may arise between systems that have to be solved by the adaptive SoS.This thesis proposes a modeling language that facilitates the description of an adaptive SoS by considering the adaptation capabilities in form of feedback loops as first class entities. Moreover, this thesis adopts the Models@runtime approach to integrate the available knowledge in the systems as runtime models into the modeled adaptation logic. Furthermore, the modeling language focuses on the description of system interactions within the adaptive SoS to reason about individual system functionality and how it emerges via collaborations to an overall joint SoS behavior. Therefore, the modeling language approach enables the specification of local adaptive system behavior, the integration of knowledge in form of runtime models and the joint interactions via collaboration to place the available adaptive behavior in an overall layered, adaptive SoS architecture.Beside the modeling language, this thesis proposes analysis rules to investigate the modeled adaptive SoS, which enables the detection of architectural patterns as well as design flaws and pinpoints to possible system threats. Moreover, a simulation framework is presented, which allows the direct execution of the modeled SoS architecture. Therefore, the analysis rules and the simulation framework can be used to verify the interplay between systems as well as the modeled adaptation effects within the SoS. This thesis realizes the proposed concepts of the modeling language by mapping them to a state of the art standard from the automotive domain and thus, showing their applicability to actual systems. Finally, the modeling language approach is evaluated by remodeling up to date research scenarios from different domains, which demonstrates that the modeling language concepts are powerful enough to cope with a broad range of existing research problems.-I - Zusammenfassung

show abstract

Section: Deurema Modeling Languagementioning

confidence: 99%

Section: Model Manipulationmentioning

confidence: 99%

“…The difference between both runtime model types is explained with the help of Figure 5. 6. Conceptually, there are two layers depicted.…”

Section: System Modelsmentioning

confidence: 99%

Section: Modeling the Adaptive Sos Architecturementioning

confidence: 99%

Section: Model-driven Engineeringmentioning

confidence: 99%

See 3 more Smart Citations

Modeling Collaborations in Adaptive Systems of Systems

Wätzoldt

Giese

2015

Proceedings of the 2015 European Conference on Software Architecture Workshops

View full text Add to dashboard Cite

show abstract

Graph Transformations for MDE, Adaptation, and Models at Runtime

Giese

Lambers

Becker

et al. 2012

Formal Methods for Model-Driven Engineering

View full text Add to dashboard Cite

Abstract. Software evolution and the resulting need to continuously adapt the software is one of the main challenges for software engineering. The model-driven development movement therefore aims at improving the longevity of software by keeping the development artifacts more consistent and better changeable by employing models and to a certain degree automated model operations. Another trend are systems that tackle the challenge at runtime by being able to adapt their structure and behavior to be more flexible and operate in more dynamic environments (e.g., context-aware software, autonomic computing, self-adaptive software). Finally, models at runtime, where the benefits of model-driven development are employed at runtime to support adaptation capabilities, today lead towards a unification of both ideas. In this paper, we present graph transformations and show that they can be employed to engineer solutions for all three outlined cases. Furthermore, we will even be able to demonstrate that graph transformation based technology has the potential to also unify all three cases in a single scenario where models at runtime and runtime adaptation is linked with classical MDE. Therefore, we at first provide an introduction in graph transformations, then present the related techniques of Story Pattern and Triple Graph Grammars, and demonstrate how with the help of both techniques model transformations, adaptation behavior and runtime model framework work. In addition, we show that due to the formal underpinning analysis becomes possible and report about a number of successful examples.

show abstract

Systematic literature review of the objectives, techniques, kinds, and architectures of models at runtime

Szvetits

Zdun

2013

Softw Syst Model

View full text Add to dashboard Cite

Flexible debugging of behavior models

Cited by 8 publications

References 6 publications

Modeling Collaborations in Adaptive Systems of Systems

Modeling Collaborations in Adaptive Systems of Systems

Graph Transformations for MDE, Adaptation, and Models at Runtime

Systematic literature review of the objectives, techniques, kinds, and architectures of models at runtime

Contact Info

Product

Resources

About