A Formal Semantics of Kermeta

View Sample PDF

Author(s): Moussa Amrani (University of Luxembourg, Luxembourg)
Copyright: 2014
Pages: 40
Source title: Computational Linguistics: Concepts, Methodologies, Tools, and Applications
Source Author(s)/Editor(s): Information Resources Management Association (USA)
DOI: 10.4018/978-1-4666-6042-7.ch050

Keywords: Computational Linguistics / Computer Science & IT / Digital Communications / Information Science Reference

Purchase

View A Formal Semantics of Kermeta on the publisher's website for pricing and purchasing information.

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.

The IRMA Community

Research IRM

A Formal Semantics of Kermeta

Purchase

Abstract

Related Content

IRMA Sponsors