Go home now Header Background Image
Submission Procedure
share: |
Follow us
Volume 14 / Issue 12

available in:   PDF (501 kB) PS (582 kB)
Similar Docs BibTeX   Write a comment
Links into Future
DOI:   10.3217/jucs-014-12-1949


A Metamodel-based Language and a Simulation Engine for Abstract State Machines

Angelo Gargantini (Universit√° di Bergamo, Italy)

Elvinia Riccobene (Universit√° di Milano, Italy)

Patrizia Scandurra (Universit√° di Milano, Italy)

Abstract: In this paper, we present a concrete textual notation, called AsmetaL, and a general-purpose simulation engine, called AsmetaS, for Abstract State Machine (ASM) specifications. They have been developed as part of the ASMETA (ASMs mETAmodelling) toolset, which is a set of tools for ASMs based on the metamodelling approach of the Model-driven Engineering. We briefly present the ASMETA framework, and we discuss how the language and the simulator have been developed exploiting the advantages offered by the metamodelling approach. We introduce the language AsmetaL used to write ASM specifications, and we provide the AsmetaL encoding of ASM specifications of increasing complexity. We explain the AsmetaS architecture, its kernel engine, and how the simulator works within the ASMETA tool set. We discuss the features currently supported by the simulator and how it has been validated.

Keywords: ASM language, ASM simulator, Abstract State Machines, metamodelling, model-driven engineering

Categories: B.2, D.2.1, D.2.6, F.3.1