Résumé
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.
langue originale | Anglais |
---|---|
titre | Formal and Practical Aspects of Domain-Specific Languages |
Sous-titre | Recent Developments |
Editeur | IGI Global |
Pages | 270-309 |
Nombre de pages | 40 |
ISBN (imprimé) | 9781466620926 |
Les DOIs | |
Etat de la publication | Publié - 2012 |
Modification externe | Oui |