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

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Limited access
Chapter10.pdfAuthor preprint1.52 MBRequest a copy

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.