ASM2007 Gargantini, Angelo Riccobene, Elvinia Scandurra, Patrizia

A Metamodel-based Simulator for ASMs

in The 14th International ASM Workshop, Grimstad, Norwegen, May 2008 (Eds. Andreas Prinz) (2007) ISBN 978-82-7117-627-3

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]

My sw links