Visual notation and patterns for Abstract State Machines

Autoren Paolo Arcaini
Silvia Bonfanti
Angelo Gargantini
Elvinia Riccobene
Editoren Paolo Milazzo
Dániel Várro
Manuel Wimmer
Titel Visual notation and patterns for Abstract State Machines
Buchtitel Software Technologies: Applications and Foundations - STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Revised Selected Papers
Typ in Konferenzband
Verlag Springer
Serie Lecture Notes in Computer Science
Band 9949
ISBN 978-3-319-50230-4
DOI 10.1007/978-3-319-50230-4
Monat November
Jahr 2016
Seiten 163-178
SCCH ID# 16057

Formal models are a rigorous way to specify informal system requirements. However, they are not widely used in practice, since they are considered difficult to develop and understand. Visualization is often considered a good means for people to communicate and to get a common understanding. We here make a proposal of a visual notation for Abstract State Machines (ASMs), and we introduce visual trees that visualize ASM transition rules. In addition to these graphical components that are based only on the syntactical structure of the model, we also present visual patterns that permit to visualize part of the behavior of the machine. A tool is also available to graphically represent ASM models using the proposed notation.