Go home now Header Background Image
Submission Procedure
share: |
Follow us
Volume 7 / Issue 11

available in:   HTML (55 kB) PDF (207 kB) PS (144 kB)
Similar Docs BibTeX   Write a comment
Links into Future
DOI:   10.3217/jucs-007-11-1068


Compiling Abstract State Machines to C++

Joachim Schmid (Siemens Corporate Technology, Germany)

Abstract: Abstract State Machines (ASMs) have been widely used to specify soft-ware and hardware systems. Only a few of these specifications are executable, although there are several interpreters and some compilers. This paper introduces a compilation scheme to transform an ASM specification in the syntax of the ASM-Workbench into C++. In particular, we transform algebraic types, pattern matching, functional expressions, dynamic functions, and simultaneous updates to C++ code. The main aim of this compilation scheme is to preserve the specification structure in the generated code without generating inefficient code. The implemented compiler was used successfully in the industrial FALKO application at Siemens Corporate Technology.

Keywords: ASM-Workbench, FALKO, abstract state machines

Categories: D.1.1, D.3.3