Formal Semantics for Metamodel-Based Domain Specific Languages-Reference-Cited by-同舟云学术

Formal Semantics for Metamodel-Based Domain Specific Languages

Published: Issue: Volume: Page:216-241
ISSN:
Container-title:Formal and Practical Aspects of Domain-Specific Languages
language:
Short-container-title:

Author:

Arcaini Paolo¹,Gargantini Angelo²,Riccobene Elvinia¹,Scandurra Patrizia²

Affiliation:

1. Università degli Studi di Milano, Italy

2. Università di Bergamo, Italy

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.

Publisher

IGI Global

Reference44 articles.

1. Anlauff, M. (2000). XASM - An extensible, component-based ASM language. Proceedings of the International Workshop on Abstract State Machines, Theory and Applications (pp. 69-90). Springer-Verlag.

2. Arcaini, P., Gargantini, A., & Riccobene, E. (2010). AsmetaSMV: A way to link high-level ASM models to low-level NuSMV. In M. Frappier, U. Glässer, S. Khurshid, R. Laleau, & S. Reeves (Eds.), Proceedings of the Second International Conference on Abstract State Machines, Alloy, B and Z (ABZ 2010). 5977, (pp. 61-74). Berlin, Germany: Springer.

3. Arcaini, P., Gargantini, A., & Riccobene, E. (2010). Automatic review of abstract state machines by meta property verification. In C. A. Muñoz (Ed.), Proceedings of the Second NASA Formal Methods Symposium (NFM 2010) (pp. 4-13).

4. A model-driven process for engineering a toolset for a formal method

5. On the unification power of models