
Translating essential OCL invariants to nested graph constraints for generating instances of meta-models
Keywords: مدل سازی متا; Meta modeling; Essential OCL; Graph constraints; Instance generation;