ABSTRACT
In this chapter we learn how to describe additional properties thatcannot be modeled with the structure-oriented MOF directly. We examine the Object Constraint Language (OCL), what invariants written in OCL mean and how these invariants are integrated into other kinds of diagrams, in particular MOF metamodels. We are then able to model fine-grained constraints on any kind of model including the shape and meaning of modeling languages.
