Abstrakt. För att definiera ett modellspråks formella semantik utgår man vanligtvis från den abstrakta syntaxen och definierar sedan den statiska semantiken och den dynamiska semantiken. Att ha en formell semantik är viktigt för resonemanget om språket men också för att bygga verktyg för språket. I detta dokument föreslår vi ett nytt tillvägagångssätt för denna uppgift baserat på legeringsspråket. Med hjälp av ett konkret exempelspråk jämför vi detta tillvägagångssätt med traditionella metoder baserade på formella språk, typkontroll, metamodellering och operationell semantik. Även om både legering och traditionella tekniker ger en formell semantik av språket, den legeringsbaserade metoden har två viktiga fördelar: en enhetlig notation, och omedelbar automatisk analyzability med hjälp av legeringsanalysatorn. Tillsammans med enkelheten i legering erbjuder vår strategi möjligheten att göra formella definitioner enklare, förhoppningsvis bana väg för ett bredare införande av formella tekniker i definitionen av modellering av språk.
En helt integrerad strategi för att definiera ett formellt språk och dess semantik visas i REF.
A Lightweight Approach for Defining the Formal Semantics of a Modeling Language
{'venue': 'MoDELS', 'journal': None, 'mag_field_of_study': ['Computer Science']}