Authorisation constraints can help the policy architect design and express higher-level security policies for organisations such as financial institutes
or governmental agencies. Although the importance of constraints has been addressed in the literature, there does not exist
a systematic way to validate and test authorisation constraints. In this paper, we attempt to specify non-temporal constraints
and history-based constraints in Object Constraint Language (OCL) which is a constraint specification language of Unified
Modeling Language (UML) and describe how we can facilitate the USE tool to validate and test such policies. We also discuss
the issues of identification of conflicting constraints and missing constraints.