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.
<strong>OCL</strong> Support in MagicDraw Enterprise Edition<br />
“<strong>OCL</strong> validation rules”<br />
(based on <strong>Dresden</strong> <strong>OCL</strong>2 Toolkit)<br />
1. Specification on UML metamodel (M2) /<br />
Verification on UML models (M1)<br />
2. Specification of Stereotypes (M2) /<br />
Verification of UML models (M1)<br />
3. Specification on UML models (M1) /<br />
Verification of UML instances (objects)<br />
Dr. Birgit Demuth MINE Summer School, Nida, 2009 54