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
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
Invariante - Beispiel<br />
context Meet<<strong>st</strong>rong>in</<strong>st</strong>rong>g <<strong>st</strong>rong>in</<strong>st</strong>rong>v: self.end > self.<strong>st</strong>art<br />
Äquivalente Formulierungen<br />
context Meet<<strong>st</strong>rong>in</<strong>st</strong>rong>g <<strong>st</strong>rong>in</<strong>st</strong>rong>v: end > <strong>st</strong>art<br />
-- self bezieht sich immer auf das Objekt, für das das<br />
CCon<strong>st</strong>ra<<strong>st</strong>rong>in</<strong>st</strong>rong>t t i t bberechnet h t wird id<br />
context Meet<<strong>st</strong>rong>in</<strong>st</strong>rong>g <<strong>st</strong>rong>in</<strong>st</strong>rong>v <strong>st</strong>artEndCon<strong>st</strong>ra<<strong>st</strong>rong>in</<strong>st</strong>rong>t:<br />
self.end > self.<strong>st</strong>art<br />
-- Vergabe e<<strong>st</strong>rong>in</<strong>st</strong>rong>es Namens für das Con<strong>st</strong>ra<<strong>st</strong>rong>in</<strong>st</strong>rong>t<br />
• Sichtbarkeiten von Attributen u.ä. wer<strong>de</strong>n durch <<strong>st</strong>rong>OCL</<strong>st</strong>rong><br />
<strong>st</strong>andardmäßig ignoriert.<br />
Dr. Birgit Demuth SWT II, SS 2009 14