Auflistung nach Autor:in "Gogolla, Martin"
1 - 10 von 12
Treffer pro Seite
Sortieroptionen
- KonferenzbeitragEmploying Classifying Terms for Testing Model Transformations(Software Engineering 2017, 2017) Gogolla, Martin; Vallecillo, Antonio; Burgueno, Loli; Hilken, Frank
- KonferenzbeitragEndogene metamodellierung der semantik von neueren UML 2 sprachmitteln(Software-engineering and management 2015, 2015) Hamann, Lars; Gogolla, MartinSeit dem Aufkommen der Unified Modeling Language (UML) wurden unterschiedliche Ansätze vorgestellt diese formal zu spezifizieren. Eine wohldefinierte formale Semantik der UML führt unter anderem zu einer höheren Interoperabilität zwischen verschiedenen Modellierungswerkzeugen, da Intepretationsspielräume verringert werden. Die hier zusammengefasste Arbeit beschreibt einen endogenen Ansatz zur Metamodellierung der Semantik von zentralen UML Elementen. Eine wohldefinierte formale Semantik der UML führt zum einen zu einer verbesserten Austauschbarkeit von Werkzeugen, was die Flexibilität eines modellgetriebenen Entwicklungsprozesses erhöht, zum anderen können Werkzeugketten aufgebaut werden, die verschiedene spezialisierte Werkzeuge, z. B. für Modell-zu-Modellund Modell-zu-Text- Transformationen, verwenden. Die Semantik von zentralen Konzepten der UML, wie Klassen, Assoziationen und Generalisierung, wurden z. B. mit mengentheoretischen oder graphbasierten Methoden definiert. Diesen Ansätzen ist gemein, dass sie den Sprachraum der UML verlassen und somit zusätzliche (formale) Beschreibungsmittel benötigen. Die in hier vorgestellte Arbeit [HG13] stellt einen endogenen, werkzeuggestützten An- satz vor, der die Laufzeitsemantik der UML ausschließlich mit den Mitteln der im UML- Kontext bekannten Sprachmitteln beschreibt. Der Ansatz basiert dabei auf den Grundlagen der endogenen Metamodellierung von Semantik aus [Kle09]. Dabei werden zwei Metamodelle für eine Modellierungssprache definiert: das der abstrakten Syntax (Abstact Syntax Model - ASM) und das der Semantik (Semantic Domain Model - SDM). Das ASM definiert die gültigen Strukturen eines Modells der Sprache, während das SDM die Bedeutung dieser Strukturen festlegt. Bei einer endogenen Metamodellierung wird dabei die zu beschreibende Sprache selbst für die Beschreibung verwendet. Die Spezifikation der UML verwendet bereits einen endogenen Ansatz bestehend aus Klassendiagrammen und zusätzlichen Einschränkungen in OCL (Object Constraint La- nugage), um die abstrakte Syntax der Sprache (das ASM), zu definieren, klammert aber explizit die Definition der Laufzeitsemantik (das SDM) aus. Aus unserer Sicht bedarf es aber zumindest für zentrale Modellierungselemente einer wohl definierten Semantik. So wird z. B. für die Definition der abstrakten Syntax der UML die subsets-Beziehungen zwischen Assoziationsenden häufig verwendet. Die Bedeutung dieser Beziehung ist allerdings nur informell beschrieben. Intuitiv lässt sich die Bedeutung dieser Beziehung am Beispiel aus Abb. 1 erläutern. Die Markierung des Assoziationsendes front als eine Teilmenge 31 part {union} Vehicle VehiclePart inVehicle {union} 1..*
- KonferenzbeitragExtending a UML and OCL Tool for Meta-Modeling: Applications towards Model Quality Assessment(Modellierung 2018, 2018) Doan, Khanh-Hoang; Gogolla, MartinFor developing software in a model-driven style, meta- and multi-level modeling is currently gaining more and more attention. In this contribution, we propose an approach to extend a two-level modeling tool to three-level modeling by adding a meta-model at the topmost level. Standard OCL does not support reflective constraints, i.e., constraints concerning properties of the model like the depth of inheritance. By adding an auto-generated instance of the topmost level to the middle level, we can offer an option for writing reflective constraints and queries. We apply the extension to demonstrate the usefulness of meta-modeling for model querying and model quality assessment. A first proposal towards level-crossing constraints is also put forward.
- KonferenzbeitragFrom 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, RobertEfficient 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.
- KonferenzbeitragModel validation and verification options in a contemporary UML and OCL analysis tool(Modellierung 2016, 2016) Gogolla, Martin; Hilken, FrankModern 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.
- KonferenzbeitragModeling Low-Level Network Configurations for Analysis, Simulation and Testing(Modellierung 2020, 2020) Schuster, Marcel; Germeier, Markus; Hilken, Frank; Gogolla, Martin; Sohr, KarstenIn 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.
- KonferenzbeitragEine multimediale Erweiterung eines UML-Tools für Lehrzwecke(DeLFI 2004: Die 2. e-Learning Fachtagung Informatik, Tagung der Fachgruppe e-Learning der Gesellschaft für Informatik e.V. (GI) 6.-8. September 2004 in Paderborn, 2004) Lindow, Arne; Gogolla, Martin
- KonferenzbeitragOptimierte Suche von Modellinstanzen für UML/OCL-Beschreibungen in USE(Modellierung 2012, 2012) Hamann, Lars; Büttner, Fabian; Kuhlmann, Mirco; Gogolla, MartinKonzeptuelle Modelle sind ein wichtiges Element modellgetriebener Softwareentwicklung, sowohl in der Beschreibung von Systemen als auch in der Metamodellierung domänenspezifischer Sprachen. Zu ihrer Beschreibung haben sich UML und OCL (und angelehnte Sprachen) als ein de facto Standard durchgesetzt. Validierung und Verifikation der Modelle sind hierbei wichtige Instrumente zur Sicherstellung der Modellqualität. Die Sprache ASSL (A Snapshot Sequence Language) bietet die Möglichkeit durch imperative Programmierung auf Modellebene und Backtracking konforme Instanzen systematisch zu erzeugen. Der White-Box-Ansatz ASSL ergänzt Black-Box-Ansätze, welche die Modellinstanziierung durch Abbildung auf (bspw.) ein Problem der relationalen Logik lösen. Dieser Beitrag beschreibt, wie die durch ASSL-Programme aufgespannten Suchräume durch Ausnutzung der Modellabdeckung der OCL-Constraints und der Modellstruktur erheblich verkleinert werden können und gibt einen Ausblick darauf, wie bestehende Black-Box-Ansätze in ASSL integriert werden können, um innerhalb eines imperativen Rahmens Teilinstanziierungen deklarativ beschreiben zu können.
- KonferenzbeitragTowards a catalog of structural and behavioral verification tasks for UML/OCL models(Modellierung 2016, 2016) Hilken, Frank; Niemann, Philipp; Gogolla, Martin; Wille, RobertVerification 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.
- KonferenzbeitragWerkzeugunterstützung für die Validierung von UML- und OCL-Modellen durchautomatische Snapshot-Generierung(Modellierung 2004, 2004) Gogolla, Martin; Richters, Mark; Bohling, Jörn; Lindow, Arne; Büttner, Fabian; Ziemann, Paul