4 Formale Methoden zur Entwicklung qualitativ hochwertiger Software
4 Formale Methoden zur Entwicklung qualitativ hochwertiger Software
4 Formale Methoden zur Entwicklung qualitativ hochwertiger Software
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
4.4 Modelchecker SMV<br />
ST II<br />
Die SMV-Modellierungssprache<br />
– Textbasierte Modellierungssprache<br />
– Die Sprache besteht aus drei Teilsprachen:<br />
Definitional Language <strong>zur</strong> Datendeklaration<br />
Structural Language <strong>zur</strong> Instanziierung und<br />
Modellierung von Modulen<br />
Language of Expressions <strong>zur</strong> Beschreibung von Automaten<br />
– Modellierung ist deklarativ<br />
Module werden parallel ausgeführt<br />
Anweisungen in Modulen werden parallel ausgeführt<br />
© 2013 IAS, Universität Stuttgart 197