Logo des Repositoriums

Auflistung nach Schlagwort "model-driven development"

1 - 4 von 4
  • Zeitschriftenartikel
    Building Transformation Networks for Consistent Evolution of Interrelated Models
    (Softwaretechnik-Trends Band 42, Heft 2, 2022) Klare, Heiko
    In model-driven development, models and constitute central units of the development process, from which also parts of the program code can be derived. A common means to preserve consistency between models are transformations, which adapt the other models after one of them was changed. Existing research is focused on bidirectional transformations that preserve consistency between pairs of models. Actual software systems are, however, usually described with more than two models, and the languages used to specify them vary between projects. In this thesis, we research how developers can combine multiple transformations to a network that is able to execute these transformations in an order such that all resulting models are consistent. We consider the problem from a software engineer’s perspective and make the central assumption that each transformation between two languages is developed independently and that the transformations are not and cannot be aligned with each other, in order to support independent development and reuse. We base mathematically founded as well as empirical considerations from case studies on these assumptions. Our contributions are separated into those concerning the correctness and those concerning the optimization of quality properties of such a combination of transformations to a network.
  • Konferenzbeitrag
    Experiences on Traceability and Consistency Checking across Engineering Tools in an Automation Solution Company
    (Software Engineering und Software Management 2018, 2018) Demuth, Andreas; Kretschmer, Roland; Tröls, Michael; Kanakis, Georgios; Maes, Davy; Egyed, Alexander
    The engineering of systems is unimaginable without software tools. Engineers use them to capture and analyze engineering problems; specify, implement, test, and maintain engineering solutions, and manage engineering processes. Yet, there is a gap between the capabilities of independently working engineers and the needs of a collaborative engineering team. The existing tool landscape emphasizes the former. Most engineering tools are single-user applications – often of excellent quality but limited in that they support the works of individual engineers and not that of a group of engineers. And herein lies one of the most fundamental problems of software and systems engineering. Engineers know well the engineering knowledge they capture but they often lack awareness of the many implications their work has on other engineers and/or other engineering domains. This is a problem because in today’s engineering projects, companies continuously have to adapt their systems to changing customer or market requirements. This requires a flexible, iterative development process in which different parts of the system under construction are built and updated concurrently. However, concurrent engineering is quite problematic in domains where different engineering domains and different engineering tools come together. In this paper, we discuss experiences with Van Hoecke Automation, a leading company in the areas of production automation and product processing, in maintaining the consistency between electrical models and the corresponding software controller when both are subject to continuous change. The paper discusses how we let engineers describe the relationships between electrical model and software code in form of links and consistency rules; and how through continuous consistency checking our approach then notified those engineers of the erroneous impact of changes in either electrical model or code.
  • Konferenzbeitrag
    Model-driven Development of Virtual Network Embedding Algorithms with Model Transformation and Linear Optimization Techniques
    (Modellierung 2018, 2018) Tomaszek, Stefan; Leblebici, Erhan; Wang, Lin; Schürr, Andy
    Enhancing the scalability and utilization of data centers, virtualization is a promising technology to manage, develop and operate network functions in a flexible way. For the placement of virtual networks in the data center, many approaches and algorithms are discussed in the literature to optimize solving the so-called virtual network embedding problem with respect to various optimization goals. This paper presents a new approach for the model-driven specification, simulation-based evaluation, and implementation of possible mapping algorithms that respect a set of given constraints and using linear optimization solving techniques to select one almost optimal mapping. Rule-based model transformation techniques are used to translate a given mapping problem into a linear optimization problem by taking domain specific knowledge into account. The resulting framework thus supports the design and evaluation of (correct-by-construction) virtual network embedding algorithms on a high level of abstraction. Well-defined model transformation rule refinement strategies can be used to reduce the search space for the employed linear optimization techniques.
  • Konferenzbeitrag
    A Theory for Event-Driven Specifications Using Focus and MontiArc on the Example of a Data Link Uplink Feed System
    (Software Engineering 2023 Workshops, 2023) Kausch, Hendrik; Pfeiffer, Mathias; Raco, Deni; Rath, Amelie; Rumpe, Bernhard; Schweiger, Andreas
    The development of avionics message communication systems is expensive due to their complexity and the need to get them accepted by the certification authorities. We need to develop high-integrity software, but we also face cost pressure. For managing complex large systems, several time-synchronous modeling languages have been proposed. While these are appropriate for hardware specifications, when it comes to specifying distributed software systems, an event-based specification style is better suited. We present an event-based specification theory based on the framework Focus by giving the signatures and data types for specifications using event automata. For this, we capture message processing order as a further dimension of non-determinism by specifying a general timed merge component. These event automata can represent underspecification of behavior, and a refinement calculus can be applied to these for a stepwise reduction of non-determinism. Furthermore, we present the necessary concepts for enabling a user-friendly specification and simulation of event-based systems by using the architecture description language MontiArc. Finally, we evaluate our approach by performing a top-down architecture design of an avionics case study and demonstrating event-based specifications of requirements in MontiArc. The presented methodology improves the management of complexity, reduces costs, and increases the system quality.