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.2 Grundlagen der formalen Spezifikation und Verifikation<br />
ST II<br />
Beschreibung von Objekten und Beziehungen<br />
zwischen Objekten<br />
– Informell<br />
Chico (C) ist ein Lebewesen (l)<br />
Alle Menschen (m) sind Lebewesen<br />
Chico gehört Susanne (S)<br />
Lebende Besitzgegenstände sind Tiere (t)<br />
– Formal:<br />
Objektbezeichner: S, C ... l(C)<br />
Einstellige Prädikatsymbole: ..., l(...), m(...), t(...), ...<br />
Relationssymbole: g (gehört), ...<br />
Alle Menschen sind Lebewesen: "x, (m(x) I (x))<br />
Chico gehört Susanne: g(C, S)<br />
Lebende Besitzgegenstände sind Tiere : " x, y . (( I(y) g(y, x)) t(y) )<br />
© 2013 IAS, Universität Stuttgart 176