Visual Notation and Patterns for Abstract State Machines

  • Paolo Arcaini
  • Silvia Bonfanti
  • Angelo Gargantini
  • Elvinia Riccobene
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9946)

Abstract

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.

Copyright information

© Springer International Publishing AG 2016

Authors and Affiliations

  • Paolo Arcaini
    • 1
  • Silvia Bonfanti
    • 2
    • 3
  • Angelo Gargantini
    • 2
  • Elvinia Riccobene
    • 4
  1. 1.Faculty of Mathematics and PhysicsCharles University in PraguePragueCzech Republic
  2. 2.Department of Economics and Technology Management, Information Technology and ProductionUniversità degli Studi di BergamoBergamoItaly
  3. 3.Software Competence Center Hagenberg GmbHHagenbergAustria
  4. 4.Dipartimento di InformaticaUniversità degli Studi di MilanoMilanItaly

Personalised recommendations