Return to Article Details Specifying OCL Constraints on Process Instantiations Download Download PDF