Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor,
"AsmetaA: Animator for Abstract State Machines"
, in Michael J. Butler and Alexander Raschke and Thai Son Hoang and Klaus Reichl: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings, Springer, Seite(n) 369-373, 5-2018
AsmetaA: Animator for Abstract State Machines
Sprache des Titels:
Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings
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.
The research reported in this paper has been partly supported by the Austrian Ministry for Transport, Innovation and Technology, the Federal Ministry of Science, Research and Economy, and the Province of Upper Austria in the frame of the COMET center SCCH.