The IRMA Community
Newsletters
Research IRM
Click a keyword to search titles using our InfoSci-OnDemand powered search:
|
A Formal Semantics of Kermeta
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.
Related Content
|
Reinaldo Padilha França, Ana Carolina Borges Monteiro, Rangel Arthur, Yuzo Iano.
© 2021.
21 pages.
|
|
Abdul Kader Saiod, Darelle van Greunen.
© 2021.
28 pages.
|
|
Aswini R., Padmapriya N..
© 2021.
22 pages.
|
|
Zubeida Khan, C. Maria Keet.
© 2021.
21 pages.
|
|
Neha Gupta, Rashmi Agrawal.
© 2021.
20 pages.
|
|
Kamalendu Pal.
© 2021.
14 pages.
|
|
Joy Nkechinyere Olawuyi, Bernard Ijesunor Akhigbe, Babajide Samuel Afolabi, Attoh Okine.
© 2021.
19 pages.
|
|
|