CoreASM: An Extensible ASM Execution Engine

Issue title: This is a SPECIAL ISSUE ON ASM'05

Article type: Research Article

Authors: Farahbod, Roozbeh | Gervasi, Vincenzo | Glässer, Uwe

Affiliations: School of Computing Science, Simon Fraser University, Burnaby, B.C., Canada. E-mial: {rfarahbo,glasser}@cs.sfu.ca | Dipartimento di Informatica, Università di Pisa, Pisa, Italy. E-mail: gervasi@di.unipi.it

Abstract: In this paper we introduce a new research effort in making abstract state machines (ASMs) executable. The aim is to specify and implement an execution engine for a language that is as close as possible to the mathematical definition of pure ASMs. The paper presents the general architecture of the engine, together with a high-level description of the extensibility mechanisms that are used by the engine to accommodate arbitrary backgrounds, scheduling policies, and new rule forms.

Keywords: CoreASM, Abstract state machines, Specification languages, Executable specification

Journal: Fundamenta Informaticae, vol. 77, no. 1-2, pp. 71-103, 2007