Metamodellering till syntax definition av visuella modellering tekniker har fått bred acceptans, särskilt genom att använda det för definitionen av UML. Eftersom metamodellering är icke-konstruktiv ger den inte ett systematiskt sätt att generera alla möjliga metamodeller. I vårt tillvägagångssätt skapas automatiskt en exit-genererande graf grammatik från en given metamodell. Denna graf grammatik säkerställer korrekt typning och kardinalitet begränsningar, men OCL begränsningar för meta-modellen stöds inte ännu. För att även uppfylla de angivna OCL-begränsningarna måste man dessutom kontrollera att de är väl utformade. Vi presenterar en begränsad form av OCL-begränsningar som kan översättas till grafbegränsningar som kan kontrolleras under instansgenereringsprocessen.
Verket av REF översätter en delmängd av OCL till grafen begränsningar, som kan användas för att syntetisera lokala pre-villkor för regler.
Translation of Restricted OCL Constraints into Graph Constraints for Generating Meta Model Instances by Graph Grammars
{'venue': 'Electron. Notes Theor. Comput. Sci.', 'journal': 'Electron. Notes Theor. Comput. Sci.', 'mag_field_of_study': ['Computer Science', 'Mathematics']}