A Metamodel-based Simulator for ASMs
Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra · 2007
Abstract In this paper we present a general-purpose simulation engine for ASM speci cations. 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 brie y present the ASMETA framework, how it has been developed, the concrete textual notation or language (AsmetaL) it adopts for e ectively writing ASM speci cations 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. 1