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.
I själva verket har förhållandet diskuterats i vårt tidigare dokument REF, där vi identifierade en uppsättning av OCL begränsningar som kan översättas till grafen begränsningar.
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']}