Return to Article Details A Framework for Generating Query Language Code from OCL Invariants Download Download PDF