AsmetaVis - Asmeta Visualizer

Abstrakt

The tool provides a visual notation for Abstract State Machines (ASMs). The basic visualization visualizes the structure of ASM transition rules is shown.

The semantic visualization allows to visualize part of the behavior of the machine.

Klíčová slova

• Abstract State Machines
• structure visualizer
• semantic visualizer