Reference : A Formal Semantics of Kermeta
Parts of books : Contribution to collective works
Engineering, computing & technology : Computer science
A Formal Semantics of Kermeta
Amrani, Moussa mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Formal and Practical Aspects of Domain-Specific Languages: Recent Developments
Mernik, Marjan
IGI Global
274 - 315
Hershey, PA, USA
[en] 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.

File(s) associated to this reference

Fulltext file(s):

Limited access
Chapter10.pdfAuthor preprint1.52 MBRequest a copy

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.