En formell definition av semantiken för ett domänspecifikt språk (DSL) är en viktig förutsättning för kontrollen av riktigheten hos de modeller som anges med hjälp av en sådan DSL och av omvandlingar som tillämpas på dessa modeller. Därför har vi implementerat en prototyp av semantiken i en DSL för specifikationen av system som består av samtidiga, kommunicerande objekt. Med hjälp av denna prototyp kan modeller som anges i DSL omvandlas till märkta övergångssystem (LTS). Denna metod att omvandla modeller till LTS gör att vi kan tillämpa befintliga verktyg för visualisering och verifiering på modeller med liten eller ingen ytterligare ansträngning. Prototypen implementeras med hjälp av ASF+SDF Meta-Miljö, en IDE för algebraiska specifikationsspråket ASF+SDF, som erbjuder ett effektivt genomförande av omvandlingen samt förmågan att läsa modeller och producera LTS utan någon ytterligare för- eller efterbehandling.
I REF prototype författarna semantik av en DSL som kallas SLCO i termer av en omvandling till ett mellanspråk som kallas CS.
Prototyping the Semantics of a DSL using ASF+SDF: Link to Formal Verification of DSL Models
{'venue': 'EPTCS 56, 2011, pp. 65-79', 'journal': None, 'mag_field_of_study': ['Computer Science']}