OCL By Example Lecture - Technische Universität Dresden
OCL By Example Lecture - Technische Universität Dresden
OCL By Example Lecture - Technische Universität Dresden
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Building <strong>OCL</strong> Expressions (2)<br />
User defined types (<strong>OCL</strong>Type)<br />
• Cl Class type t (Model (M d l type): t )<br />
– Classifier in a class diagram (implicitly defined)<br />
– Generalisation among classiefiers leads to Supertypes<br />
– A class has the following Features:<br />
• Attributes (start)<br />
• Operations (duration())<br />
• Class attributes (Date::today)<br />
• Class operations<br />
• Association ends („navigation expressions“)<br />
• Enumeration type yp (Gender, ( , Gender::male) )<br />
Dr. Birgit Demuth MINE Summer School, Nida, 2009 22
Change language