The Object Constraint Language: Getting Your Models Ready for MDA (2nd Edition)
| Figure 1-1: The relationship between PIM, PSM, and code Figure 1-2: The MDA Framework Figure 1-3: The Modeling Maturity Levels bridging the model-code gap Figure 1-4: A model expressed in a diagram Figure 1-5: The "mortgage system" expressed in a diagram Figure 2-1: The Royal and Loyal model Figure 3-1: OCL expressions and their context Figure 3-2: A cycle in a class model Figure 3-3: A derived class Figure 3-4: Or constraint Figure 3-5: OCL expressions in a sequence diagram Figure 3-6: Extended interaction diagram Figure 3-7: Class diagram for the bottle -filling system Figure 3-8: Filler statechart Figure 3-9: Bottle statechart with change event Figure 3-10: Activity diagram specifying operation addService Figure 3-11: Component diagram Figure 3-12: Class CustomerCard , with all its attributes and operations Figure 3-13: A subset constraint Figure 3-14: Model with specializations Figure 3-15: Model without specialized associations Figure 3-16: Model without some of the subclasses Figure 3-17: Class model without subclasses Figure 3-18: Persons working for Companies Figure 4-1: Filler statechart, reprinted from Figure 3-8 Figure 4-2: Extended Filler statechart Figure 5-1: Use of OCL in the MDA framework Figure 5-2: Relation between system, model, and metamodel Figure 5-3: UML metamodel (simplified) Figure 5-4: OCL metamodel (simplified) in relation to UML metamodel Figure 5-5: OCL context in terms of the metamodels Figure 6-1: OCL expressions and their context Figure 6-2: Inheritance of invariants Figure 8-1: Navigations Figure 8-2: Association class from the UML diagram Figure 8-3: Qualified association in the UML diagram Figure 8-4: Customer class with enumeration Figure 10-1: Persons working for Companies , extended Figure 10-2: Invariants on subtypes Figure 10-3: Accessing overridden features example Figure 10-4: Difference between oclIsKindOf and oclIsTypeOf Figure 10-5: Example statechart Figure C-1: The Royal and Loyal model |