Softwaremodellierung mit vielen Sichten

 

Prof. Heike Wehrheim

Universität Paderborn

 

Modellbasierte Softwareentwicklung basiert auf der Idee den
Entwurf eines Modelles der Software der eigentlichen Implementierung
voranzustellen. Wenn bereits auf Modellebene eine formale Analyse  der
Korrektheit (bezüglich gewissen Anforderungen) durchgeführt werden soll,
ist es zweckmässig Modelle in formalen Spezifikationssprachen zu
beschreiben. Formale Methoden sind meist spezifisch auf
die Modellierung von bestimmten Aspekten eines Systems zugeschnitten
(z.B. Modellierung der Use Cases des Systems oder der Daten). Im
Gegensatz dazu zeichnen sich komplexe Softwaresysteme genau
dadurch aus, dass sie ganz unterschiedlichen Arten von Anforderungen
(wie etwa bzgl. Daten, dynamischem Verhalten, Zeit und Verteiltheit)
genügen müssen.

In dem Vortrag wird eine formale Spezifikationssprache vorgestellt, die
die Entwicklung von Modellen mit mehreren Sichten erlaubt, und es werden
einige typische Fragestellungen beim Entwurf und der Verifikation
solcherart Modelle diskutiert.