OCL By Example Lecture - Technische Universität Dresden

More documents

Recommendations

Info

History of OCL • Developed at IBM in 1995 originally as a business engineering language • Adopted as a formal specification language within UML • Part of the official OMG standard for UML (from version 1.1 on) • Used for precisely defining the well-formedness rules (WFRs) for UML and further OMG-related metamodels • Current version is OCL 22.0 0 Dr. Birgit Demuth MINE Summer School, Nida, 2009 6
OCL (Object Constraint Language) • Extends the Unified Modeling Language (UML) • Formal language for the definition of constraints and queries on UML models • Declarative • Sd Side effect ff free f • Add precise semantics to visual (UML-) models • Generalized for all MOF based metamodels • Meanwhile generally accepted • Many extensions such as for temporal constraints • „Core Language“ of other OMG languages (QVT, PRR) Dr. Birgit Demuth MINE Summer School, Nida, 2009 7
Page 1 and 2: Department of Computer Science, Ins
Page 3 and 4: Main Goals of the Lecture • Bridg
Page 5: Object Constraint • Model-based a
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 and 52: Dresden OCL2 for Eclipse Dr. Birgit
Page 53 and 54: XMI Import into Dresden OCL2 for Ec
Page 55 and 56: Dr. Birgit Demuth MINE Summer Schoo
Page 57 and 58:
Dr. Birgit Demuth MINE Summer Schoo
Page 59 and 60:
Acronyms OCL OMG MOF PRR QVT UML WF
show all

OCL By Example Lecture - Technische Universität Dresden

Create successful ePaper yourself

Delete template?

Save as template?