Einführung in OCL - Www-st.inf.tu-dresden.de
Einführung in OCL - Www-st.inf.tu-dresden.de
Einführung in OCL - Www-st.inf.tu-dresden.de
- TAGS
- st.inf.tu-dresden.de
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
<<strong>st</strong>rong>OCL</<strong>st</strong>rong> Con<strong>st</strong>ra<<strong>st</strong>rong>in</<strong>st</strong>rong>ts und Vererbung<br />
Con<strong>st</strong>ra<<strong>st</strong>rong>in</<strong>st</strong>rong>ts allgeme<<strong>st</strong>rong>in</<strong>st</strong>rong><br />
• Con<strong>st</strong>ra<<strong>st</strong>rong>in</<strong>st</strong>rong>ts e<<strong>st</strong>rong>in</<strong>st</strong>rong>er Superklasse wer<strong>de</strong>n von <strong>de</strong>n Subklassen geerbt.<br />
Dabei gilt g das Liskovsche Sub<strong>st</strong>i<strong>tu</strong>tionspr<<strong>st</strong>rong>in</<strong>st</strong>rong>zip. p p<br />
Invarianten<br />
• E<<strong>st</strong>rong>in</<strong>st</strong>rong>e Subklasse kann die Invariante ver<strong>st</strong>ärken, sie aber nicht<br />
abschwächen.<br />
Preconditions<br />
• E<<strong>st</strong>rong>in</<strong>st</strong>rong>e Vorbed<<strong>st</strong>rong>in</<strong>st</strong>rong>gung kann bei e<<strong>st</strong>rong>in</<strong>st</strong>rong>em Überschreiben e<<strong>st</strong>rong>in</<strong>st</strong>rong>er Operation<br />
e<<strong>st</strong>rong>in</<strong>st</strong>rong>er Subklasse aufgeweicht, aber nicht ver<strong>st</strong>ärkt wer<strong>de</strong>n.<br />
Po<strong>st</strong>conditions<br />
• E<<strong>st</strong>rong>in</<strong>st</strong>rong>e Nachbed<<strong>st</strong>rong>in</<strong>st</strong>rong>gung kann bei e<<strong>st</strong>rong>in</<strong>st</strong>rong>em Überschreiben e<<strong>st</strong>rong>in</<strong>st</strong>rong>er Operation<br />
e<<strong>st</strong>rong>in</<strong>st</strong>rong>er Subklasse ver<strong>st</strong>ärkt, aber nicht aufgeweicht wer<strong>de</strong>n.<br />
Dr. Birgit Demuth SWT II, SS 2009 23