Return to Article Details Conditions, constraints and contracts: On the use of annotations for policy modeling Download Download PDF