Einführung in die Informatik II UML - Technische Universität München

Einschub: Formale Methoden vs Modellierung Die Modellierungssprache UML ist nicht exakt. Die Notation istnicht formal begründet, d.h. es gibt keine formale Grammatik für dieNotation. Also kann das Metamodell nicht mathematisch exakt sein. Die Idee einer exakten Entwurfssprache ist das zentrale Thema desGebietes Formale Methoden im Hauptstudium, wo Entwürfe miteiner auf einem Kalkül basierenden Technik mathematischbeschrieben werden (auch mathematische Spezifikation genannt). Mathematische Spezifikationen sind exakt und unmißverständlich:– Man kann z.B. beweisen, dass ein Programm eine mathematische Spezifikationerfüllt (Wir werden dazu Entwurf durch Verträge und den Zusicherungs-Kalkül von Hoare benutzen).– Es gibt aber keine Möglichkeit zu beweisen, dass eine mathematischeSpezifikation die Anforderungen an ein Informatik-System erfüllt.⇒ mehr im HauptstudiumCopyright 2004 Bernd Brügge Einführung in die Informatik II: TUM Sommersemester 2004 8