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.
Con<strong>st</strong>ra<<strong>st</strong>rong>in</<strong>st</strong>rong>t<br />
Def<<strong>st</strong>rong>in</<strong>st</strong>rong>ition nach [1]<br />
– „A con<strong>st</strong>ra<<strong>st</strong>rong>in</<strong>st</strong>rong>t is a re<strong>st</strong>riction on one or more values of (part of)<br />
an object-oriented mo<strong>de</strong>l or sy<strong>st</strong>em.“<br />
Def<<strong>st</strong>rong>in</<strong>st</strong>rong>ition nach [5]<br />
– „E<<strong>st</strong>rong>in</<strong>st</strong>rong>e E<<strong>st</strong>rong>in</<strong>st</strong>rong>schränkung i<strong>st</strong> e<<strong>st</strong>rong>in</<strong>st</strong>rong> Prädikat, <strong>de</strong>ssen Wert wahr o<strong>de</strong>r<br />
ffalsch l h ii<strong>st</strong>. t<br />
– Boolesche Ausdrücke s<<strong>st</strong>rong>in</<strong>st</strong>rong>d … E<<strong>st</strong>rong>in</<strong>st</strong>rong>schränkungen. …<br />
– <<strong>st</strong>rong>OCL</<strong>st</strong>rong> erlaubt die formale Spezifikation von E<<strong>st</strong>rong>in</<strong>st</strong>rong>schränkungen für<br />
e<<strong>st</strong>rong>in</<strong>st</strong>rong>zelne Mo<strong>de</strong>llelemente (z (z.B. B Attribute, Attribute Operationen, Operationen Klassen)<br />
sowie für Gruppen von Mo<strong>de</strong>llelementen (z.B. Assoziationen)“<br />
– Wir benutzen im folgen<strong>de</strong>n weiter <strong>de</strong>n Begriff <strong>de</strong>s Con<strong>st</strong>ra<<strong>st</strong>rong>in</<strong>st</strong>rong>ts.<br />
Dr. Birgit Demuth SWT II, SS 2009 11