Unified Syntax for Abstract State Machines
The paper presents our efforts in defining UASM, a unified syntax for Abstract State Machines (ASMs), based on the syntaxes of two of the main ASM frameworks, CoreASM and ASMETA, which have been adapted to accept UASM as input syntax of all their validation and verification tools.
- 3.Dausend, M., Stegmaier, M., Raschke, A.: Debugging abstract state machine specifications: an extension of coreASM. In: Proceedings of the Posters and Tool Demos Session, iFM 2012 and ABZ 2012. pp. 21–25 (2012)Google Scholar
- 5.Gargantini, A., Riccobene, E., Scandurra, P.: A metamodel-based language and a simulation engine for abstract state machines. J. UCS 14(12), 1949–1983 (2008)Google Scholar