Welcome to the InfoSci Platform
Formal Semantics for Metamodel-Based Domain Specific Languages

Formal Semantics for Metamodel-Based Domain Specific Languages

Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
Copyright: © 2013 |Pages: 26
ISBN13: 9781466620926|ISBN10: 1466620927|EISBN13: 9781466620933
DOI: 10.4018/978-1-4666-2092-6.ch008
Cite Chapter Cite Chapter

MLA

Arcaini, Paolo, et al. "Formal Semantics for Metamodel-Based Domain Specific Languages." Formal and Practical Aspects of Domain-Specific Languages: Recent Developments, edited by Marjan Mernik, IGI Global, 2013, pp. 216-241. https://doi.org/10.4018/978-1-4666-2092-6.ch008

APA

Arcaini, P., Gargantini, A., Riccobene, E., & Scandurra, P. (2013). Formal Semantics for Metamodel-Based Domain Specific Languages. In M. Mernik (Ed.), Formal and Practical Aspects of Domain-Specific Languages: Recent Developments (pp. 216-241). IGI Global. https://doi.org/10.4018/978-1-4666-2092-6.ch008

Chicago

Arcaini, Paolo, et al. "Formal Semantics for Metamodel-Based Domain Specific Languages." In Formal and Practical Aspects of Domain-Specific Languages: Recent Developments, edited by Marjan Mernik, 216-241. Hershey, PA: IGI Global, 2013. https://doi.org/10.4018/978-1-4666-2092-6.ch008

Export Reference

Mendeley
Favorite

Abstract

Domain Specific Languages (DSLs) are often defined in terms of metamodels capturing the abstract syntax of the language. For a complete definition of a DSL, both syntactic and semantic aspects of the language have to be specified. Metamodeling environments support syntactic definition issues, but they do not provide any help in defining the semantics of metamodels, which is usually given in natural language. In this chapter, the authors present an approach to formally define the semantics of metamodel-based languages. It is based on a translational technique that hooks to the language metamodel its precise and executable semantics expressed in terms of the Abstract State Machine formal method. The chapter also shows how different techniques can be used for formal analysis of models (i.e., instance of the language metamodel). The authors exemplify the use of their approach on a language for Petri nets.

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.