Master Object Constraint Language (OCL) to build observable systems, monitor invariants, and automate model validation.