Logo des Repositoriums

Auflistung nach Autor:in "Langhammer, Michael"

1 - 3 von 3
  • Konferenzbeitrag
    Automatically binding variables of invariants to violating elements in an OCL-aligned xbase-language
    (Modellierung 2016, 2016) Fiss, Sebastian; Kramer, Max E.; Langhammer, Michael
    Constraints that have to hold for all models of a modeling language are often specified as invariants using the Object Constraint Language (OCL). If violations of such invariants shall be documented or resolved in a software system, the exact model elements that violate these conditions have to be computed. OCL validation engines provide, however, only a single context element at which a check for a violated invariant originated.Therefore, the computation of elements that caused an invariant violation is often specified in addition to the invariant declaration with redundant information. These redundancies can make it hard to develop and maintain systems that document or resolve invariant violations. In this paper, we present an automated approach and tool for declaring and binding parameters of invariants to violating elements based on boolean invariant expressions that are similar to OCL invariants. The tool computes a transformed invariant that returns violating elements for each iterator variable of the invariant expression that matches an explicitly declared invariant parameter. The approach can be used for OCL invariants and all models of languages conforming to the Meta- Object Facility (MOF) standard. We have evaluated our invariant language and transformation tool by transforming 88 invariants of the Unified Modeling Language (UML).
  • Zeitschriftenartikel
    A Co-evolution Approach for Source Code and Component-based Architecture Models
    (Softwaretechnik-Trends Band 35, Heft 2, 2015) Langhammer, Michael; Krogmann, Klaus
    During the lifecycle of a software system, the software needs to evolve, e.g, through new features or necessary platform adaptions. If architecture and source code are not kept consistent during this software evolution, well-known problems, such as architecture drift and architecture erosion, can occur. To solve these problems, existing approaches usually focus on the consistency between class diagrams and code, or use approaches where the architecture model can completely be generated from the code. In this paper, we present a fully integrated coevolution approach for component-based architecture and source code based on Vitruvius. We also present initial, extendable mapping rules from componentbased architecture to source code.
  • Textdokument
    Reconstructing Development Artifacts for Change Impact Analysis
    (Softwaretechnik-Trends: Vol. 37, No. 2, 2017) Rostami, Kiana; Langhammer, Michael; Busch, Axel; Gleitze, Joshua; Heinrich, Robert; Reussner, Ralf
    Software architectural models are widely used to represent the structure of software systems. Software systems need to evolve continuously during their life time, for instance, to adapt to new requirements. Dur- ing the evolution various change requests have to be implemented. However, analysing the architecture of a system alone does not provide sufficient information for an adequate estimation of the impact resulting by such change requests. In addition, many other development artifacts, such as test cases, have to be considered. Creating models of these artifacts by hand is time-consuming and error-prone. In this paper, we present an approach that automatically extracts de- velopment artifacts and annotates them to a software architectural model.