osnaDocs: Verknüpfung von formaler Verifikation und modellgetriebener Entwicklung

Verknüpfung von formaler Verifikation und modellgetriebener Entwicklung

Please use this identifier to cite or link to this item:
https://osnadocs.ub.uni-osnabrueck.de/handle/urn:nbn:de:gbv:700-2015042913177

Full metadata record

DC Field	Value	Language
dc.contributor.advisor	Prof. Dr. Elke Pulvermüller
dc.creator	Ammann, Christian
dc.date.accessioned	2015-04-29T12:16:51Z
dc.date.available	2015-04-29T12:16:51Z
dc.date.issued	2015-04-29T12:16:51Z
dc.identifier.uri	https://osnadocs.ub.uni-osnabrueck.de/handle/urn:nbn:de:gbv:700-2015042913177	-
dc.description.abstract	Die modellgetriebene Entwicklung (MDD) ist ein Ansatz, um formale Modelle automatisiert in ausführbare Software zu übersetzen. Obwohl dieses Vorgehen die Häufigkeit von Fehlern im generierten Quellcode verringert, können immer noch die Ausgangsmodelle fehlerhaft sein. Deshalb sind zusätzliche Prüfverfahren, wie z.B. die Verwendung eines Model Checkers sinnvoll. Er stellt automatisiert sicher, dass ein Modell alle gestellten Anforderungen erfüllt. Das Ziel dieser Arbeit ist daher die Integration eines Model Checkers in den modellgetriebenen Entwicklungsprozess, um die Qualität von Software-Produkten zu verbessern. Zu diesem Zweck wird das sogenannte DSL Verification Framework (DVF) vorgestellt. Es stellt Entwicklern vorgefertigte Sprachkonstrukte zur Verfügung, um die Implementierung von Parsern und Transformatoren zu erleichtern. Des Weiteren berücksichtigt es auch die "State Space Explosion", damit auch größere Modelle verifizierbar bleiben. Um die praktische Nutzung des DVF zu evaluieren, werden zwei Industriefallstudien durchgeführt.	ger
dc.subject	Model-Driven Development	eng
dc.subject	MDD	eng
dc.subject	Formale Verifikation	ger
dc.subject	Model Checker	eng
dc.subject	Spin	eng
dc.subject	Xtext	eng
dc.subject	Software Engineering	eng
dc.subject	Modellgetriebene Entwicklung	ger
dc.subject	Compilerbau	ger
dc.subject.ddc	000 - Informatik, Wissen, Systeme
dc.title	Verknüpfung von formaler Verifikation und modellgetriebener Entwicklung	ger
dc.type	Dissertation oder Habilitation [doctoralThesis]	-
thesis.location	Osnabrück	-
thesis.institution	Universität	-
thesis.type	Dissertation [thesis.doctoral]	-
thesis.date	2015-04-10	-
dc.contributor.referee	Prof. Dr. Stephan Kleuker
vCard.ORG	FB6
Appears in Collections:	FB06 - E-Dissertationen

Files in This Item:

File	Description	Size	Format
thesis_ammann.pdf	Präsentationsformat	3,54 MB	Adobe PDF	thesis_ammann.pdf View/Open

Show simple item record