OCL By Example Lecture - Technische Universität Dresden

More documents

Recommendations

Info

Dresden OCL2 for Eclipse Dr. Birgit Demuth MINE Summer School, Nida, 2009 52
XMI Import into Dresden OCL2 for Eclipse • TopCased (EMF UML2 XMI) • MagicDraw (EMF UML2 XMI) • Visual l Paradigm d ( (EMF UML2 XMI) ) • Eclipse UML2 / UML2 Tools (EMF UML2 XMI) Dr. Birgit Demuth MINE Summer School, Nida, 2009 53
Page 1 and 2: Department of Computer Science, Ins
Page 3 and 4: Main Goals of the Lecture • Bridg
Page 5 and 6: Object Constraint • Model-based a
Page 7 and 8: OCL (Object Constraint Language)
Page 9 and 10: Dr. Birgit Demuth MINE Summer Schoo
Page 11 and 12: Invariant Definition -An invariant
Page 13 and 14: Invariant - Examples context Meetin
Page 15 and 16: Precondition Definition - Constrain
Page 17 and 18: Postcondition Definition - CConstra
Page 19 and 20: Postcondition - Examples (cont.) co
Page 21 and 22: Building g OCL Expressions p p ( (
Page 23 and 24: OCL Type Hierarchy T T T T Dr. Birg
Page 25 and 26: OCL Constraints and Inheritance •
Page 27 and 28: NNavigation i i EExpressions i - EE
Page 29 and 30: Collection Operations (1) • 22 op
Page 31 and 32: Loop p Operation p iterate() () Col
Page 33 and 34: Further Examples for collection ope
Page 35 and 36: Derivation Rule (derive, OCL2) •
Page 37 and 38: Query Operation (body, OCL2) • Op
Page 39 and 40: Defining g New Attributes and Opera
Page 41 and 42: Limitations of OCL • No support f
Page 43 and 44: OCL in Statecharts - Example (oclIn
Page 45 and 46: The OclVoid Type • Undefined valu
Page 47 and 48: Typical Use Cases for OCL Metamodel
Page 49 and 50: Some UML/OCL Tools • 12 OCL tools
Page 51: Dresden OCL2 for Eclipse Dr. Birgit
Page 59 and 60: Acronyms OCL OMG MOF PRR QVT UML WF

OCL By Example Lecture - Technische Universität Dresden

Create successful ePaper yourself

Delete template?

Save as template?