http://dl.gi.de/handle/20.500.12116/24219 2026-07-22T20:35:34Z 2026-07-22T20:35:34Z Knapp, Alexander Zhang, Gefei http://dl.gi.de/handle/20.500.12116/24248 2019-08-12T13:25:17Z 2006-01-01T00:00:00Z

Model transformations for integrating and validating web application models Knapp, Alexander; Zhang, Gefei Mayr, Heinrich C.; Breu, Ruth While most current Web Engineering methodologies model the separate aspects, content, navigation, business logic, and presentation, of Web systems in separate models, integration of the different models and in particular the validation of their interaction is not yet sufficiently supported. We propose a systematic approach of building a UML state machine that integrates the separate concerns content, navigation, and business logic of a Web system into a big picture, which can then be validated formally for consistency and behavioural properties.

2006-01-01T00:00:00Z Hennicker, Rolf Ludwig, Matthias http://dl.gi.de/handle/20.500.12116/24246 2019-08-12T13:25:16Z 2006-01-01T00:00:00Z

Design and implementation of a coordination model for distributed simulations Hennicker, Rolf; Ludwig, Matthias Mayr, Heinrich C.; Breu, Ruth The coordination of time-dependent simulation models is an important problem in environmental systems engineering. We propose a design model based on a formal specification using the CSP-like language FSP of Magee and Kramer. The heart of our design model is a global timecontroller which coordinates distributed simulation models according to their local time scales. We show how a systematic transition from the design model to a Java implementation can be derived from the design model. The strong practical relevance of the approach is ensured by the fact that our strategy is used to produce the kernel of the integrative simulation system DANUBIA developed within the GLOWA-Danube project.

2006-01-01T00:00:00Z Hesse, Wolfgang http://dl.gi.de/handle/20.500.12116/24247 2019-08-12T13:25:16Z 2006-01-01T00:00:00Z

Modelle - Janusköpfe der Software-Entwicklung - oder: Mit Janus von der A- zur S-Klasse Hesse, Wolfgang Mayr, Heinrich C.; Breu, Ruth Modelle spielen heute eine hervorragende Rolle in der Software-Entwicklung. Sie haben sowohl deskriptiven Charakter (als Nachbilder eines 'realen' Weltausschnitts) als auch präskriptiven (als Vorbilder und Baupläne für zu konstruierende Systeme). Software-Entwicklung lässt sich als Folge von Mo- delltransformationen auffassen, die von Objekten der Anwendungswelt über Modell-Objekte zu Software-Objekten (den Bausteinen unserer Systeme) führt und deskriptive sowie präskriptive Elemente miteinander verbindet. Eine deutlichere Trennung dieser drei Welten und der darin liegenden Objekte und Klassen kann für mehr terminologische Klarheit, durchsichtigere Transformationsprozesse und eine bessere Wiederverwendbarkeit der Ergebnisse sorgen. Ein entsprechend erweitertes Metamodell bietet Platz für Glossar-artige Beschreibungen von Anwendungs- Objekten und damit auch für Ontologien in der Softwaretechnik.

2006-01-01T00:00:00Z Grönniger, Hans Krahn, Holger Rumpe, Bernhard Schindler, Martin http://dl.gi.de/handle/20.500.12116/24245 2019-08-12T13:25:16Z 2006-01-01T00:00:00Z

Integration von Modellen in einen codebasierten Softwareentwicklungsprozess Grönniger, Hans; Krahn, Holger; Rumpe, Bernhard; Schindler, Martin Mayr, Heinrich C.; Breu, Ruth Dieses Artikel beschreibt Konstellationen, unter denen Modelle und Quellcode innerhalb eines Projekts integrativ genutzt werden können. Ähnlich wie die in den Frühzeiten des Compilerbaus notwendige Integration von Hochsprachen und Assembler stellt ein solches Vorgehen einen wichtigen Zwischenschritt zu einer im Kern modellbasierten Softwareentwicklung dar. Anhand einer Fallstudie zu Statecharts wird beschrieben, wie das an der TU Braunschweig in Entwicklung befindliche Modellierungswerkzeug MontiCore genutzt werden kann, um Modelle effizient in einen agilen Softwareentwicklungsprozess zu integrieren.

2006-01-01T00:00:00Z