Logo des Repositoriums

Auflistung nach Autor:in "Balz, Moritz"

1 - 4 von 4
  • Konferenzbeitrag
    Embedding behavioral models into object-oriented source code
    (Software Engineering 2009, 2009) Balz, Moritz; Striewe, Michael; Goedicke, Michael
    In this paper we address the inevitable problem of aligning a software model with its respective code in such a way that the synchronization between both views of the system can be effectively maintained. In traditional approaches to model-driven software development (MDSD) it is at least necessary to annotate the source code in order to mark its origin for round-trip engineering and to prevent it from being overridden when regenerating code from other models. Instead of just maintaining references to models, we suggest to embed full model semantics into source code. To realize this approach we modify the earlier concept of ViewPoints, so that the necessary configuration of ViewPoints happens inside the source code by using selected constructs of object-oriented programming languages. Our contribution presents the approach to maintain models and source code simultaneously by means of behavioral models.
  • Konferenzbeitrag
    Enriching OSGI service interfaces with formal sequential contracts
    (Software Engineering 2011 – Workshopband, 2011) Müller, Marco; Balz, Moritz; Goedicke, Michael
    Architecture description languages define component interfaces with sequential contracts, which allow for static analysis of method call sequences in component or service interactions. However, component and service platforms like OSGi for Java do not provide mechanisms for the specification or enforcement of such sequential contracts. Thus the contracts are only defined in the documentation which might be outdated when long-living systems evolve at the implementation level. This vision paper proposes to attach formal sequential models, in our case interface automata, to the interface definition of OSGi services, so that the modeling information is permanently and tightly coupled to the implementation. This enables consistent documentation, static analysis of component interactions at design time, and real-time enforcement of behavioural contracts at run time. By this means, component interactions can be seamlessly verified in long-living systems when components and their connections are added or changed over time.
  • Konferenzbeitrag
    Representing formal component models in OSGi
    (Software Engineering 2010, 2010) Müller, Marco; Balz, Moritz; Goedicke, Michael
    Formal component models have been subject to research for decades, but current component frameworks hardly reflect their capabilities with respect to composition, dependency management and interaction modeling. Thus the frameworks don't exploit the benefits of formal component models like understandability and ease of maintenance, which are enabled when software is composed of hierarchical and reusable components that are loosely coupled, self-describing and self-contained. In this contribution, we try to examine the discrepancies between the state of research and the capabilities of an existing module framework, the widely-used OSGi bundle management framework for the Java platform. Based on this we propose modifications and enhancements to the OSGi framework that allow to exploit the benefits of formal component models in OSGi-based applications.
  • Konferenzbeitrag
    UPPAAL-Modelle als ausführbare Spezifikation in Java
    (Software Engineering 2008, 2008) Goedicke, Michael; Balz, Moritz; Striewe, Michael