OCL By Example Lecture - Technische Universität Dresden
OCL By Example Lecture - Technische Universität Dresden
OCL By Example Lecture - Technische Universität Dresden
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
NNavigation i i EExpressions i - E<strong>Example</strong>s l<br />
User defined type<br />
– Navigation from Meeting to moderator<br />
results in type Teammember<br />
context Meeting<br />
inv: self.moderator.gender = Gender::female<br />
Dr. Birgit Demuth MINE Summer School, Nida, 2009 27