CoreASM: An Extensible ASM Execution Engine

In this paper we introduce a new research effort in making state machines 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 ASM. 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.

• Type: Conference
• Year: 2005
• Where: ASM
• Authors: Roozbeh Farahbod, Vincenzo Gervasi, Uwe Glässer
• Keywords: ASM 2005, Execution Engine, Extensibility Mechanisms, Microbiology, Pure Asm