
Translating essential OCL invariants to nested graph constraints for generating instances of meta-models
Keywords: Meta modeling; Essential OCL; Graph constraints; Instance generation;