Logo des Repositoriums

Auflistung nach Autor:in "Hilken, Frank"

1 - 5 von 5
  • Konferenzbeitrag
    Employing Classifying Terms for Testing Model Transformations
    (Software Engineering 2017, 2017) Gogolla, Martin; Vallecillo, Antonio; Burgueno, Loli; Hilken, Frank
  • Konferenzbeitrag
    From Application Models to Filmstrip Models: An Approach to Automatic Validation of Model Dynamics
    (Modellierung 2014, 2014) Gogolla, Martin; Hamann, Lars; Hilken, Frank; Kuhlmann, Mirco; France, Robert
    Efficient model validation and verification techniques are strong in the analysis of systems describing static structures, for example, UML class diagrams and OCL invariants. However, general UML and OCL models can involve dynamic aspects in form of OCL preand postconditions for operations. This paper describes the automatic transformation of a UML and OCL model with invariants and preand postconditions into an equivalent model with only invariants. We call the first model (with preand postconditions) the application model and the second model (with invariants only) the filmstrip model, because a sequence of system states in the application model becomes a single system state in the filmstrip model. This single system state can be thought of as being a filmstrip presenting snapshots from the application model with different logical time stamps. Preand postconditions from the application model become invariants in the filmstrip model. Providing a proper context, the text of the preand postconditions can be used in the filmstrip model nearly unchanged. The filmstrip model can be employed for automatically constructing dynamic test scenarios and for checking temporal properties.
  • Konferenzbeitrag
    Model validation and verification options in a contemporary UML and OCL analysis tool
    (Modellierung 2016, 2016) Gogolla, Martin; Hilken, Frank
    Modern systems and their architectures are getting more complex than ever. Development strategies, like model-driven engineering (MDE), help to abstract architectures and provide a promising way to deal with the complexity. Thus, the importance for the underlying models to be correct arises. Today's validation and verification tools should support the developer in generating test cases and provide good concepts for fault detection. In this contribution, we introduce and structure essential use cases for model exploration, validation and verification that help developers find faults in model descriptions. Along with the use cases, we demonstrate the model validator of the USE tool, a modern instance finder for UML and OCL models based on an implementation of relational logic and present the results and findings from the tool.
  • Konferenzbeitrag
    Modeling Low-Level Network Configurations for Analysis, Simulation and Testing
    (Modellierung 2020, 2020) Schuster, Marcel; Germeier, Markus; Hilken, Frank; Gogolla, Martin; Sohr, Karsten
    In this paper, we present an approach to specifying a network configuration model based on the ISO/OSI reference model. The network configuration model is capable of modeling the lower layers of networks enabling several use cases: (a) analyze existing network configurations, e.g., to find configuration errors and identify which components contribute to the error; (b) simulate changes made to the configuration and predict their consequences; (c) serve as documentation for the network; and (d) visualize the network in order to better understand it and to make clear its structure to everyday users. These analysis techniques were applied to essential parts of a professional network center.
  • Konferenzbeitrag
    Towards a catalog of structural and behavioral verification tasks for UML/OCL models
    (Modellierung 2016, 2016) Hilken, Frank; Niemann, Philipp; Gogolla, Martin; Wille, Robert
    Verification tasks for UML and OCL models can be classified into structural and behavioral tasks. For both task categories a variety of partly automatic solving approaches exist. But up to now, different interpretations of central notions as, for example, `consistency' or `reachability' can be found in current approaches and tools. This paper is designed to clarify central verification notions and to establish a collection of typical verification tasks that are common to multiple approaches and tools. In addition, the verification tasks are categorized with the aim of creating a central catalog of tasks, providing a common understanding of the terms used in model verifications.