Abstract
In this paper we present a general-purpose simulation engine for ASM specifications. It has been developed as part of the
ASMETA (ASMs metamodelling) toolset which is a set of tools for ASMs based on the metamodelling framework of the Model-Driven
Engineering. We briefly present the ASMETA framework, how it has been developed, the concrete textual notation or language
(AsmetaL) it adopts for effectively writing ASM specifications and the Asmeta simulator (called AsmetaS). We explain the architecture
of the simulator, its kernel engine, how it works within the ASMETA tool set, and how it takes advantages from the metamodelling
approach. We discuss the features currently supported by the simulator and how it has been validated.
[download the pdf file]