Auto-generate Nova API definitions for use with OCL