Logo des Repositoriums

Auflistung nach Autor:in "Motika, Christian"

1 - 3 von 3
  • Konferenzbeitrag
    Interactive transformations for visual models
    (INFORMATIK 2011 – Informatik schafft Communities, 2011) Rüegg, Ulf; Motika, Christian; Hanxleden, Reinhard von
    Model transformations are an essential and integral concept of Model Driven Engineering (MDE). However, when using state of the art modeling tools, transformations are typically executed silently and at once in the background. This entails three main limitations. First, there is a lack of flexibility. This includes the transformation itself as well as the overall tooling. It is hardly possible to add further visualizations to the execution in a generic and re-usable way, or to react to an executed transformation. Second, no insights of the transformation process are revealed, which makes it both hard for the user to understand and hard for the developer to debug and verify without tooling that supports further debugging facilities. Third, there is few potential for further interactivity. Transformations can be applied but not, i. e., executed in smaller chunks, where the execution of a chunk can be undone. We present a flexible concept to define arbitrary model transformations combined with graphical visualization and user interactivity. In our paper, we focus on applying this concept to monolithic transformations by breaking them up into steps of a certain granularity. The key idea is the integration into a view management, which then serves as a layer on top of the actual transformation execution. The view management maintains generic re-usable visualizations, e. g., highlighting, or automatic layout, and executable fine-granular, or modularized transformations. The visualizations and transformations can be combined in a flexible way while obeying user-interaction. Furthermore, we discuss the question of how interaction can be introduced for a certain transformation and which criteria this transformation has to fulfill. To provide first evaluations, an implementation of the approach has been based on and integrated into the Eclipse platform as part of the Kiel Integrated Environment for Layout Eclipse Rich Client (KIELER) project1. Thus, the implementation can be re-used by EMF-based Eclipse projects. A case-study presents an interactive and visualized transformation implementation of the synchronous textual language Esterel to SyncCharts, a synchronous Statecharts dialect. The decision whether to transform atomic Esterel elements one-by-one, undo applied transformations, or to transform the whole model at once, is left to the user. It is also possible to start with one-by-one transformations and then apply the rest of the overall transformation. Besides, we present a prototype of a structurebased editing implementation. Regarding possible future work, it would be desirable to have a framework that allows the user to easily define explicit model transformations during runtime and combine them with arbitrary visualizations. This would enable users to adapt or create transformations according to their needs. Additionally, further practicability tests should be performed, especially concerning user experiences, to provide profound evaluations.
  • Konferenzbeitrag
    Semantics and execution of domain specific models
    (INFORMATIK 2010. Service Science – Neue Perspektiven für die Informatik. Band 1, 2010) Motika, Christian; Fuhrmann, Hauke; Hanxleden, Reinhard von
    In this paper we present a two-level approach to extend the abstract syntax of models with concrete semantics in order to execute such models. First, a light-weight execution infrastructure for iteratable models with a generic user interface allows the tool smith to provide arbitrary execution and visualization engine implementations for his or her Domain Specific Language (DSL). Second, as a concrete but nevertheless generic implementation of a simulation engine for behavior models, we present semantic model specifications and a runtime interfacing to the Ptolemy II tool suite as a formally founded backbone for model execution. We present our approach as an open source Eclipse integration to be an extension to the Eclipse modeling projects.
  • Konferenzbeitrag
    Sequential constructiveness, sccharts for safety-critical applications
    (Software-engineering and management 2015, 2015) Hanxleden, Reinhard Von; Duderstadt, Björn; Fuhrmann, Insa; Motika, Christian; Smyth, Steven; Mendler, Michael; Aguado, Joaquń; Loftus-Mercer, Stephen; O'brien, Owen
    We present a new visual language, SCCharts, designed for the model-driven engineering of safety-critical reactive systems. SCCharts provide determinate concurrency based on a synchronous model of computation (MoC), without restrictions common to previous synchronous MoCs.