The usability of constraint diagrams
Neil V. Morgan · University of Brighton Repository (University of Brighton) · 2011
The Unified Modelling Language (UML) standard supports a notation, The Object Constraint Language (OCL), for modelling constraints. As a textual language, it is expressive, providing a full specification of constraints of a system, while not requiring a symbolic mathematical background.