A formal semantics of Kermeta

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceChapitre

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 originaleAnglais
titreFormal and Practical Aspects of Domain-Specific Languages
Sous-titreRecent Developments
EditeurIGI Global
Pages270-309
Nombre de pages40
ISBN (imprimé)9781466620926
Les DOIs
Etat de la publicationPublié - 2012
Modification externeOui

Empreinte digitale

Examiner les sujets de recherche de « A formal semantics of Kermeta ». Ensemble, ils forment une empreinte digitale unique.

Contient cette citation