Logo des Repositoriums

Auflistung nach Autor:in "Kuhlmann, Mirco"

1 - 4 von 4
  • 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.
  • Zeitschriftenartikel
    LerM – Lehrsystem für Kontrapunkt-Kompositionen im Stile Palestrinas
    (Informatik-Spektrum: Vol. 28, No. 5, 2005) Kuhlmann, Mirco; Scholz, Florian; Barann, Marcus; Grathwohl, Paul; Gündoğan, Aysun; Hildebrandt, Sonja; Kaspuhl, Dennis; Seewaldt, Andreas
    Der Palestrina-Kontrapunkt nimmt in der Musiktheorie-Ausbildung eine wichtige Stellung ein.
  • Konferenzbeitrag
    Optimierte Suche von Modellinstanzen für UML/OCL-Beschreibungen in USE
    (Modellierung 2012, 2012) Hamann, Lars; Büttner, Fabian; Kuhlmann, Mirco; Gogolla, Martin
    Konzeptuelle 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.
  • Konferenzbeitrag
    Zur Validierung von Kompositionsstrukturen in UML mit USE
    (Modellierung 2010, 2010) Hamann, Lars; Gogolla, Martin; Kuhlmann, Mirco
    In der Softwareentwicklung rücken Modelle zunehmend in den Fokus des Entwicklungsprozesses. Dadurch steigen auch die Anforderungen an deren Qualität. Mit dem an der Universität Bremen entwickelten UML/OCL-Werkzeug USE können bereits bestimmte Qualitätsaspekte von Modellen statisch und dynamisch analysiert werden. Dieser Artikel beschreibt neue Modellierungselemente der UML 2 und zeigt, welchen Beitrag eine Weiterentwicklung von USE auf dem Weg zu einer integrierten Semantik der UML 2 Kompositionsstrukturen leisten kann.