Welcome to the InfoSci Platform
A Formal Semantics of Kermeta

A Formal Semantics of Kermeta

Moussa Amrani
Copyright: © 2013 |Pages: 40
ISBN13: 9781466620926|ISBN10: 1466620927|EISBN13: 9781466620933
DOI: 10.4018/978-1-4666-2092-6.ch010
Cite Chapter Cite Chapter

MLA

Amrani, Moussa. "A Formal Semantics of Kermeta." Formal and Practical Aspects of Domain-Specific Languages: Recent Developments, edited by Marjan Mernik, IGI Global, 2013, pp. 270-309. https://doi.org/10.4018/978-1-4666-2092-6.ch010

APA

Amrani, M. (2013). A Formal Semantics of Kermeta. In M. Mernik (Ed.), Formal and Practical Aspects of Domain-Specific Languages: Recent Developments (pp. 270-309). IGI Global. https://doi.org/10.4018/978-1-4666-2092-6.ch010

Chicago

Amrani, Moussa. "A Formal Semantics of Kermeta." In Formal and Practical Aspects of Domain-Specific Languages: Recent Developments, edited by Marjan Mernik, 270-309. Hershey, PA: IGI Global, 2013. https://doi.org/10.4018/978-1-4666-2092-6.ch010

Export Reference

Mendeley
Favorite

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.

Request Access

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.