AsmetaA: Animator for abstract state machines

Autoren Silvia Bonfanti
Angelo Gargantini
Atif Mashkoor
Editoren M. Butler
A. Raschke
T. Son Hoang
K. Reichl
Titel AsmetaA: Animator for abstract state machines
Buchtitel Abstract State Machines, Alloy, B, TLA, VDM, and Z - Proc. ABZ 2018
Typ in Konferenzband
Verlag Springer
Serie Lecture Notes of Computer Science
Band 10817
ISBN 978-3-319-91270-7
DOI 10.1007/978-3-319-91271-4_25
Monat June
Jahr 2018
Seiten 369-373
SCCH ID# 18036

In this paper, we present AsmetaA – a graphical animator for Abstract State Machines integrated within the ASMETA framework. The execution of formal specifications through animation provides several advantages, e.g., it provides an immediate feedback about system behavior, it helps understand system evolution, and it increases the overall acceptability of formal methods.