Return to Article Details Extending OCL Operation Contracts with Objective Functions Download Download PDF