Return to Article Details Specifying Executable Platform-Independent Models using OCL Download Download PDF