Abstract
This chapter contributes to the formal specification of Kermeta, a popular metamodelling framework useful for the design of DSL structure and semantics. The formal specification is tool-/tool syntax independent; it only uses classical mathematical instruments taught in usual computer science courses. This specification serves as a reference specification from which specialised implementation can be derived for execution, simulation, or formal analysis of DSLs. By providing such a specification, the chapter ensures that each and every DSL written in Kermeta, receives de facto a formal counterpart, making its definition fully formal. This radically contrasts with other approaches that require a new ad hoc semantics defined for every new DSL. The chapter briefly reports on two implementations conducted to demonstrate the feasibility of the approach.
| Original language | English |
|---|---|
| Title of host publication | Computational Linguistics |
| Subtitle of host publication | Concepts, Methodologies, Tools, and Applications |
| Publisher | IGI Global |
| Pages | 1043-1082 |
| Number of pages | 40 |
| Volume | 2-3 |
| ISBN (Electronic) | 9781466660434 |
| ISBN (Print) | 1466660422, 9781466660427 |
| DOIs | |
| Publication status | Published - 31 May 2014 |
| Externally published | Yes |