Systemmodell-basierte Definition objektbasierter Modellierungssprachen mit semantischen Variationspunkten von Hans Grönniger | ISBN 9783832292867

Systemmodell-basierte Definition objektbasierter Modellierungssprachen mit semantischen Variationspunkten

von Hans Grönniger
Mitwirkende
Autor / AutorinHans Grönniger
Reihe herausgegeben vonBernhard Rumpe
Buchcover Systemmodell-basierte Definition objektbasierter Modellierungssprachen mit semantischen Variationspunkten | Hans Grönniger | EAN 9783832292867 | ISBN 3-8322-9286-1 | ISBN 978-3-8322-9286-7

Systemmodell-basierte Definition objektbasierter Modellierungssprachen mit semantischen Variationspunkten

von Hans Grönniger
Mitwirkende
Autor / AutorinHans Grönniger
Reihe herausgegeben vonBernhard Rumpe
Eine Voraussetzung für den Erfolg einer modellbasierten Methode zur Softwareentwicklung ist eine variable und dennoch präzise Definition der verwendeten Modellierungssprachen. Hierzu gehört insbesondere auch die explizite Definition der Bedeutung der Sprachen - ihrer Semantik. Formale Semantik leistet einen wichtigen Beitrag zur unmissverständlichen Kommunikation und kann einen hohen Grad der Automatisierung über interoperable Werkzeuge ermöglichen.
Die Arbeit beschäftigt sich mit der vollständigen, formalen Definition objektbasierter Modellierungssprachen und legt den Fokus auf die flexible Definition problemadäquater Semantik.
Zur Definition der Semantik objektbasierter Modellierungssprachen wird das Systemmodell als gemeinsam genutzte semantische Domäne definiert, das abstrakt die Struktur, das Verhalten und die Interaktion von Objekten charakterisiert. Gemäß einer Klassifikation der möglichen Variabilität einer Modellierungssprache können Syntax, semantische Domäne und semantische Abbildung mit Varianten ausgestattet werden. Dies ermöglicht die Anpassung einer Sprache zum Beispiel an einen projektspezifischen Kontext. Das Vorgehen wird durch MontiCore, ein Framework zur modularen Erstellung von Modellierungssprachen, und durch den Theorembeweiser Isabelle/HOL werkzeugunterstützt. Die Definition der UML Teilmenge UML/P dient der Erprobung des werkzeugunterstützten Vorgehens.