Auflistung nach Schlagwort "model transformation"
1 - 8 von 8
Treffer pro Seite
Sortieroptionen
- KonferenzbeitragClone Detection for Rule-Based Model Transformation Languages(Software Engineering und Software Management 2018, 2018) Strüber, Daniel; Acrețoaie, Vlad; Plöger, JenniferWe present our paper that was accepted for publication in the SoSyM journal on September 03, 2017. Cloning is a convenient mechanism to enable reuse across and within software artifacts. On the downside, it is also a practice related to longterm maintainability impediments, thus generating a need to identify clones in affected artifacts. A large variety of clone detection techniques has been proposed for programming and modeling languages; yet no specific ones have emerged for model transformations. We explore clone detection for rule-based model transformation languages, including graph-based and hybrid ones. We introduce use cases for such techniques in the context of quality assurance, and a set of key requirements derived from these use cases. To address these requirements, we describe our customization of existing model clone detection techniques. We compare these techniques in a comprehensive experimental evaluation, based on three realistic Henshin rule sets, and a body of examples from the ATL transformation zoo. Our results indicate that our customization of ConQAT enables the efficient detection of the considered clones, without sacrificing accuracy. With our contributions, we pave the way for future research efforts at the intersection of clone detection and model transformation.
- ZeitschriftenartikelDescribing Modeling Deltas by Model Transformation(Softwaretechnik-Trends: Vol. 32, No. 4, 2012) Kuryazov, Dilshodbek; Jelschen, Jan; Winter, AndreasDilshodbek Kuryazov, Jan Jelschen, Andreas Winter Carl von Ossietzky Universität, Oldenburg, Germany
- ZeitschriftenartikelEmpirical Assessment of Advantages and Disadvantages of Model Transformation Languages(Softwaretechnik-Trends Band 44, Heft 2, 2024) Höppner, Stefan; Tichy, MatthiasModel-driven software engineering envisages the use of model transformations to evolve models. The main objective of our work was to aggregate all necessary data to set up proper evaluation and use this data to asses the most prevalent claims about model transformation languages empirically. We aim to provide evidence on whether those claims withstand rigorous empirical scrutiny. Our work contributes much needed systematisation and empirical ground work to the body of knowledge on model transformation languages. We demonstrate that empirical evaluation of model transformation languages is feasible and necessary. Efforts to provide more empirical substance need to be undergone, and lacklustre language capabilities and tooling need to be improved. The results of this thesis can provide a basis for these further actions.
- KonferenzbeitragHenshin: A Model Transformation Language and its Use for Search-Based Model Optimisation in MDEOptimiser(Modellierung 2018, 2018) Strüber, Daniel; Burdusel, Alexandru; John, Stefan; Zschaler, SteffenThis tutorial presents Henshin, a versatile model transformation language increasingly used in academic and industrial applications. Henshin is based on the paradigm of graph transformation and provides a comprehensive tool set that supports largely declarative transformation specifications as well as various formal analyses. We present the application of Henshin in a search-based model optimisation scenario, where the goal is to find an optimal model regarding a given fitness function. Using Henshin, we specify evolutionary operators for MDEOptimiser, a novel search-based model optimisation tool.
- KonferenzbeitragIntegrating BPMN- and UML-based Security Engineering via Model Transformation(Software Engineering und Software Management 2018, 2018) Ramadan, Qusai; Salnitri, Mattia; Strüber, Daniel; Jürjens, Jan; Giorgini, PaoloWe present our paper from the proceedings of 2017 edition of the MODELS conference. Tracing and integrating security requirements throughout the development process is a key challenge in security engineering. In socio-technical systems, security requirements for the organizational and technical aspects of a system are currently dealt with separately, giving rise to substantial misconceptions and errors. In this paper, we present a model-based security engineering framework for supporting the system design on the organizational and technical level. The key idea is to allow the involved experts to specify security requirements in the languages they are familiar with: business analysts use BPMN for procedural system descriptions; system developers use UML to design and implement the system architecture. Security requirements are captured via the language extensions SecBPMN2 and UMLsec. We provide a model transformation to bridge the conceptual gap between SecBPMN2 and UMLsec. Using UMLsec policies, various security properties of the resulting architecture can be verified. In a case study featuring an air traffic management system, we show how our framework can be practically applied.
- KonferenzbeitragMonitoring the Execution of Declarative Model Transformations(Softwaretechnik-Trends Band 39, Heft 3, 2019) Groner, Raffaela; Gylstorff, Sophie; Tichy, MatthiasModel transformations, applied at design and run time, are key artifacts in Model-Driven Software Engineering. The monitoring of a transformation’s execution is a prerequisite to enable a software engineer to identify performance bottlenecks and improve transformations. Monitoring is particularly relevant for declarative model transformations since the order of execution is not explicitly defined but instead the result of internal heuristics of the transformation engine. In this paper, we present how we monitor the execution of Henshin model transformations using Kieker as well as the resulting monitoring overhead. We show that the monitoring overhead depends on the size of the input model and that it is between 17.03% and 28.44%.
- KonferenzbeitragSupporting Semi-Automatic Co-Evolution of Architecture and Fault Tree Models(Software Engineering and Software Management 2019, 2019) Getir, Sinem; van Hoorn, André; Kehrer, Timo; Noller, Yannic; Tichy, MatthiasIn this work, we report about recent research results on “Supporting Semi-Automatic Co-Evolution of Architecture and Fault Tree Models”, published in [Ge18]. During the whole life-cycle of software-intensive systems in safety-critical domains, system models must consistently co-evolve with quality evaluation models. However, performing the necessary synchronization steps is a cumbersome and often manual task prone to errors. To understand this problem in detail, we have analyzed the evolution of two representatives of system models and quality evaluation models, namely architecture and fault tree models, for a set of evolution scenarios of a factory automation system called Pick and Place Unit. We designed a set of intra- and inter-model transformation rules which fully cover the evolution scenarios of the case study and which offer the potential to semi-automate the co-evolution process. In particular, we validated these rules with respect to completeness and evaluated them by a comparison to typical visual editor operations. Our results show a significant reduction of the amount of required user interactions in order to realize the co-evolution.
- KonferenzbeitragTransformation of Software Product Lines(Software Engineering und Software Management 2018, 2018) Taentzer, Gabriele; Salay, Rick; Strüber, Daniel; Chechik, MarshaWe present our paper from the proceedings of the 2017 edition of the MODELS conference. Software product lines are used to manage the development of highly complex software with many variants. In the literature, various forms of rule-based product line modifications have been considered. However, when considered in isolation, their expressiveness for specifying combined modifications of feature models and domain models is limited. In this paper, we present a formal framework for product line transformations that is able to combine several kinds of product line modifications presented in the literature. Moreover, it defines new forms of product line modifications supporting various forms of product lines and transformation rules. Our formalization of product line transformations is based on category theory, and concentrates on properties of product line relations instead of their single elements. Our framework provides improved expressiveness and flexibility of software product line transformations while abstracting from the considered type of model.