Auflistung nach Autor:in "Taentzer, Gabriele"
1 - 10 von 14
Treffer pro Seite
Sortieroptionen
- KonferenzbeitragDeducing model metrics from meta models(Modellierung 2016, 2016) Nassar, Nebras; Arendt, Thorsten; Taentzer, GabrieleThe use of model-based software development has become more and more popular because it aims to increase the quality of software development. Therefore, the number and the size of model instances are cumulatively growing and software quality and quality assurance consequently lead back to the quality and quality assurance of the involved models. For model quality assurance, several quality aspects can be checked by the use of dedicated metrics. However, when using a domain specific modeling language, the manual creation of metrics for each specific domain is a repetitive and tedious process. In this paper, we present an approach to derive basic model metrics for any given modeling language by defining metric patterns typed by the corresponding meta-meta model. We discuss several concrete patterns and present an Eclipse-based tool which automates the process of basic model metrics derivation, generation, and calculation.
- ConferencePaperDetecting Quality Problems in Research Data: A Model-Driven Approach(Software Engineering 2021, 2021) Kesper, Arno; Wenz, Viola; Taentzer, GabrieleThe quality of research data is essential for scientific progress. A major challenge in data quality assurance is the localisation of quality problems that are inherent to data. Based on the observation of a dynamic shift in the database technologies employed, we present a model-driven approach to analyse the quality of research data. It allows a data engineer to formulate anti-patterns that are generic concerning the database format and technology. A domain expert chooses a pattern that has been adapted to a specific database technology and concretises it for a domain-specific database format. The resulting concrete pattern is used by a data analyst to locate quality problems in the database. As a proof of concept, we implemented tool support that realises this approach for XML databases. We evaluated our approach concerning expressiveness and performance. The original paper has been published at the International Conference on Model Driven Engineering Languages and Systems 2020.
- KonferenzbeitragA Formal Framework for Incremental Model Slicing(Software Engineering and Software Management 2019, 2019) Taentzer, Gabriele; Kehrer, Timo; Pietsch, Christopher; Kelter, UdoWe report about a recently developed “Formal Framework for Incremental Model Slicing”, published in [Ta18]. A model slice of a model is a submodel comprising a selected model part, called slicing criterion. In addition to classical use cases from the field of program understanding, model slicing is also motivated by specifying submodels of interest to be further processed more efficiently. Since slicing criteria are often modified during software development tasks, such slices often need to be updated. A slice update can be performed by creating the new slice from scratch or by incrementally updating the existing slice. We present a formal framework for defining model slicers that support incremental slice updates. This framework abstracts from the behavior of concrete slicers as well as from the concrete model modification approach. Incremental slice updates are shown to be equivalent to non-incremental ones. Furthermore, we present a framework instantiation based on the concept of edit scripts defining application sequences of model transformation rules, along with two two concrete model slicers implemented based on this instantiation.
- KonferenzbeitragA Graph-Based Framework for Model-Driven Optimization Facilitating Impact Analysis of Mutation Operator Properties(Software Engineering 2024 (SE 2024), 2024) John, Stefan; Kosiol, Jens; Lambers, Leen; Taentzer, Gabriele
- WorkshopbeitragHow to define the Quality of Data and Software Models? A Data Quality Perspective(Modellierung 2024 Satellite Events, 2024) Taentzer, Gabriele; Kesper, Arno; Matoni, Markus
- ZeitschriftenartikelIntegrating the Specification and Recognition of Changes in Models(Softwaretechnik-Trends: Vol. 32, No. 2, 2012) Kehrer, Timo; Kelter, Udo; Taentzer, GabrieleTimo Kehrer, Udo Kelter Praktische Informatik Universit¨ at Siegen {kehrer,kelter}@informatik.uni-siegen.de Abstract
- KonferenzbeitragModel-driven development of platform-independent mobile applications supporting role-based app variability(Software Engineering 2016, 2016) Vaupel, Steffen; Taentzer, Gabriele; Gerlach, Rene; Guckert, MichaelThe use of mobile applications has become an indispensable part of human interaction and especially of urban life. This will lead to rapidly increasing numbers of applications and users that make the development of mobile applications to one of the most promising fields in software engineering. Due to short time-to-market, differing platforms and fast emerging technologies, mobile application development faces typical challenges where model-driven development (MDD) can help. We present a modeling language and an infrastructure for the model-driven development of native apps in Android and iOS. Our approach allows flexible app development on different abstraction levels: compact modeling of standard app elements such as standard data management and increasingly detailed modeling of individual elements to cover specific behavior. Moreover, a kind of variability modeling is supported such that apps variants for a range of user roles can be developed. Several apps including a mobile learning app, a conference app, and a museum guide with augmented reality functionality demonstrate the usefulness of our approach.
- KonferenzbeitragMulti-Granular Conflict and Dependency Analysis in Software Engineering based on Graph Transformation (Summary)(Software Engineering and Software Management 2019, 2019) Lambers, Leen; Strüber, Daniel; Taentzer, Gabriele; Born, Kristopher; Huebert, Jevgenij
- KonferenzbeitragA Precedence-Driven Approach for Concurrent Model Synchronization Scenarios using Triple Graph Grammars(Software Engineering 2022, 2022) Fritsche, Lars; Kosiol, Jens; Möller, Adrian; Schürr, Andy; Taentzer, GabrieleWe summarize our paper A Precedence-Driven Approach for Concurrent Model Synchronization Scenarios using Triple Graph Grammars that has been published in the proceedings of the 13th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2020).
- KonferenzbeitragRuleMerger: Automatic Construction of Variability-Based Model Transformation Rules(Software Engineering 2017, 2017) Strüber, Daniel; Rubin, Julia; Arendt, Thorsten; Chechik, Marsha; Taentzer, Gabriele; Plöger, JenniferWe present a summary of our paper of the same title, published in the proceedings of the International Conference on Fundamental Approaches to Software Engineering (FASE) 2016. Unifying similar model transformation rules into variability-based ones can improve both the main- tainability and the performance of a model transformation system. Yet, manual identification and unification of such similar rules is a tedious and error-prone task. In this work, we propose a novel merging approach for automating this task. The approach employs clone detection for identifying overlapping rule portions and clustering for selecting groups of rules to be unified. Our instantiation of the approach harnesses state-of-the-art clone detection and clustering techniques and includes a specialized merge construction algorithm. We formally prove correctness of the approach and demonstrate its ability to produce high-quality outcomes in two real-life case-studies.