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.
[download the pdf file]