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.
Grenzen von <<strong>st</strong>rong>OCL</<strong>st</strong>rong><br />
• Für <<strong>st</strong>rong>in</<strong>st</strong>rong>konsi<strong>st</strong>ente Spezifikationen (Komb<<strong>st</strong>rong>in</<strong>st</strong>rong>ation von<br />
Con<strong>st</strong>ra<<strong>st</strong>rong>in</<strong>st</strong>rong>ts, die sich wi<strong>de</strong>rsprechen) gibt es ke<<strong>st</strong>rong>in</<strong>st</strong>rong>e<br />
Unter<strong>st</strong>ützung, diese aufzuf<<strong>st</strong>rong>in</<strong>st</strong>rong><strong>de</strong>n.<br />
• „Frame Problem“<br />
– Nachbed<<strong>st</strong>rong>in</<strong>st</strong>rong>gungen beziehen sich nur auf lokale Attribute und<br />
Assoziationen<br />
Assoziationen.<br />
– Für <strong>de</strong>n Re<strong>st</strong> <strong>de</strong>r Objektkonfiguration gilt die Annahme „es<br />
än<strong>de</strong>rt sich nichts“.<br />
– Das kann zu Konflikten f führen f (Forschungsgegen<strong>st</strong>and).<br />
• Transitive Hülle kann nicht spezifiziert wer<strong>de</strong>n.<br />
• allIn<strong>st</strong>ances()-Problem:<br />
()<br />
– Für Klassentypen erlaubt, z.B. Person.allIn<strong>st</strong>ances()<br />
– Für unendliche Mengen von Typen nicht erlaubt, z.B.<br />
Integer Integer.allIn<strong>st</strong>ances()<br />
allIn<strong>st</strong>ances()<br />
Dr. Birgit Demuth SWT II, SS 2009 38
Change language