I samband med MDE (Model-Driven Engineering) är vårt mål att definiera semantiken för ett givet DSL (Domain Specific Language) antingen för att simulera sina modeller eller för att kontrollera egenskaper på dem med hjälp av modellkontrolltekniker. I båda fallen är syftet att formalisera DSL semantik som det är känt av DSL designer men ofta på ett informellt sätt. Efter flera experiment för att definiera operationella semantik å ena sidan och translationella semantik å andra sidan diskuterar vi båda tillvägagångssätten och vi specificerar i vilka fall dessa semantiker verkar vara förnuftiga. Som ett andra steg inför vi ett pragmatiskt och instrumenterat tillvägagångssätt för att definiera en translationell semantik och för att validera den mot en referensoperativ semantik som uttrycks av DSL-designern. Vi tillämpar detta tillvägagångssätt på XSPEM-processbeskrivningsspråket för att verifiera processmodeller.
REF:s arbete visar på en pragmatisk och instrumenterad strategi för att tillhandahålla operationella semantik för dsls.
Essay on Semantics Definition in MDE - An Instrumented Approach for Model Verification
{'venue': 'JSW', 'journal': 'JSW', 'mag_field_of_study': ['Computer Science']}