Abstrakt. Modell Driven Engineering (MDE) är ett lovande paradigm för mjukvaruutveckling. Det höjer graden av abstraktion i mjukvaruutveckling genom att behandla modeller som primära artefakter. Definitionen av en metamodell är en återkommande uppgift i MDE och kräver ett sunt och formellt stöd. Bristen på sådant stöd orsakar brister som begreppsmässiga avvikelser i modellspråken. Ur filosofisk synvinkel kan metamodeller ses som metakonceptualiseringar. Metaspråk måste tillhandahålla konstruktioner för att bygga ontologiska teorier som en bas för modellering språk. Denna uppsats beskriver ett nytt metaspråk som härletts från studiet av Formell Ontologi. Detta metaspråk höjer graden av abstraktion av metamodeller från ren abstrakt syntax till semantiska beskrivningar baserade på ontologier. Således kan språkutvecklarna göra medvetna val för sina modellering begrepp och kan uttryckligen definiera viktiga relationer såsom momentiation och generalisering. Med detta metaspråk siktar vi på en exakt konceptuell och formell grund för metamodeling.
I REF presenteras ett metamodeling språk som gör det möjligt att bygga ontologiska teorier som en bas för modellering språk ur filosofisk synvinkel.
Ontological metamodeling with explicit instantiation
{'venue': 'SLE', 'journal': None, 'mag_field_of_study': ['Computer Science', 'Economics']}