Embedding model specifications in object-oriented program code

a bottom-up approach for model-based software development

Dipl.-Wirt.-Inf. Balz, Moritz

Dateibereich 29358

2,91 MB in einer Datei, zuletzt geändert am 18.01.2012

Dateiliste / Details

DateiDateien geändert amGröße
DissertationMoritzBalz.pdf18.01.2012 22:58:332,91 MB

Dateibereich 29361

1537,75 MB in einer Datei, zuletzt geändert am 24.01.2012

Dateiliste / Details

DateiDateien geändert amGröße
Beil_CD.iso19.01.2012 10:49:471537,75 MB
Models in software engineering are descriptive structures so that transformations can connect their contents at a semantic level. In model-based software development, algorithmic program code usually exists alongside models - derived from them or with the purpose to amend them. While thus both kinds of notations must be considered by developers, no consistent mapping is given since transformations between models and code are usually unidirectional for code generation. This impedes a continuous integration of both, limits the applicability of models, and prevents error tracking and monitoring at run time with respect to models. In this thesis, the approach of embedded models is introduced. Embedded models define patterns in program code whose elements have formal relations to models and can be executed by reflection at the same time. Model specifications are thus embedded in implementations and can be accessed by bidirectional transformations for design, verification, execution, and monitoring. The thesis focuses on the development of such patterns and their precise description as well as on the connection to other program code surrounding embedded models. Implementations are described for two modeling domains, state machines and process models, including tools for design, verification, execution, monitoring, and design recovery. The approach is evaluated with two case studies, the modeling of a real-world load generator for performance tests and the development of model-based educational graphical scenarios for university teaching. Both case studies show that the approach is valid and fulfills its purpose for a certain class of applications. Focusing on the integration in implementations, embedded models are thus a bottom-up approach for model-based software development.
Permalink | Teilen/Speichern
Wissenschaftliche Abschlussarbeiten » Dissertation
Fakultät / Institut:
Fakultät für Wirtschaftswissenschaften » Fachgebiet Informatik » Specification of Software Systems
Dewey Dezimal-Klassifikation:
000 Informatik, Informationswissenschaft, allgemeine Werke » 000 Informatik, Wissen, Systeme » 000 Informatik, Informationswissenschaft, allgemeine Werke
Prof. Dr. Goedicke, Michael [Betreuer(in), Doktorvater]
Prof. Dr. Müller-Clostermann, Bruno [Gutachter(in), Rezensent(in)]
Kollektion / Status:
Dissertationen / Dokument veröffentlicht
Promotionsantrag am:
Dokument erstellt am:
Dateien geändert am:
Datum der Promotion: