AsmetaA: Animator for Abstract State Machines

Silvia Bonfanti; Angelo Gargantini; Atif Mashkoor

doi:10.1007/978-3-319-91271-4_25

AsmetaA: Animator for Abstract State Machines

Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor

Institute of Software Systems Engineering

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

Abstract

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.

Original language	English
Title of host publication	Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings
Editors	Michael J. Butler and Alexander Raschke and Thai Son Hoang and Klaus Reichl
Publisher	Springer
Pages	369-373
Number of pages	5
DOIs	https://doi.org/10.1007/978-3-319-91271-4_25
Publication status	Published - May 2018

Fields of science

102 Computer Sciences
102022 Software development

JKU Focus areas

Computation in Informatics and Mathematics
Engineering and Natural Sciences (in general)

Access to Document

10.1007/978-3-319-91271-4_25

Cite this

Bonfanti, S., Gargantini, A., & Mashkoor, A. (2018). AsmetaA: Animator for Abstract State Machines. In Michael J. Butler and Alexander Raschke and Thai Son Hoang and Klaus Reichl (Ed.), Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings (pp. 369-373). Springer. https://doi.org/10.1007/978-3-319-91271-4_25

Bonfanti, Silvia ; Gargantini, Angelo ; Mashkoor, Atif. / AsmetaA: Animator for Abstract State Machines. Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings. editor / Michael J. Butler and Alexander Raschke and Thai Son Hoang and Klaus Reichl. Springer, 2018. pp. 369-373

@inproceedings{8cd3b579bec8432d841a09fa1831682c,

title = "AsmetaA: Animator for Abstract State Machines",

abstract = "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.",

author = "Silvia Bonfanti and Angelo Gargantini and Atif Mashkoor",

year = "2018",

month = may,

doi = "10.1007/978-3-319-91271-4_25",

language = "English",

pages = "369--373",

editor = "{Michael J. Butler and Alexander Raschke and Thai Son Hoang and Klaus Reichl}",

booktitle = "Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings",

publisher = "Springer",

}

Bonfanti, S, Gargantini, A & Mashkoor, A 2018, AsmetaA: Animator for Abstract State Machines. in Michael J. Butler and Alexander Raschke and Thai Son Hoang and Klaus Reichl (ed.), Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings. Springer, pp. 369-373. https://doi.org/10.1007/978-3-319-91271-4_25

AsmetaA: Animator for Abstract State Machines. / Bonfanti, Silvia; Gargantini, Angelo; Mashkoor, Atif.
Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings. ed. / Michael J. Butler and Alexander Raschke and Thai Son Hoang and Klaus Reichl. Springer, 2018. p. 369-373.

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

TY - GEN

T1 - AsmetaA: Animator for Abstract State Machines

AU - Bonfanti, Silvia

AU - Gargantini, Angelo

AU - Mashkoor, Atif

PY - 2018/5

Y1 - 2018/5

N2 - 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.

AB - 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.

U2 - 10.1007/978-3-319-91271-4_25

DO - 10.1007/978-3-319-91271-4_25

M3 - Conference proceedings

SP - 369

EP - 373

BT - Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings

A2 - Michael J. Butler and Alexander Raschke and Thai Son Hoang and Klaus Reichl, null

PB - Springer

ER -

Bonfanti S, Gargantini A, Mashkoor A. AsmetaA: Animator for Abstract State Machines. In Michael J. Butler and Alexander Raschke and Thai Son Hoang and Klaus Reichl, editor, Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings. Springer. 2018. p. 369-373 doi: 10.1007/978-3-319-91271-4_25