Visual notation and patterns for Abstract State Machines
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F16%3A10331954" target="_blank" >RIV/00216208:11320/16:10331954 - isvavai.cz</a>
Result on the web
<a href="http://dx.doi.org/10.1007/978-3-319-50230-4_12" target="_blank" >http://dx.doi.org/10.1007/978-3-319-50230-4_12</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/978-3-319-50230-4_12" target="_blank" >10.1007/978-3-319-50230-4_12</a>
Alternative languages
Result language
angličtina
Original language name
Visual notation and patterns for Abstract State Machines
Original language description
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.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
IN - Informatics
OECD FORD branch
—
Result continuities
Project
—
Continuities
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Others
Publication year
2016
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Software Technologies: Applications and Foundations: STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers
ISBN
978-3-319-50229-8
ISSN
0302-9743
e-ISSN
—
Number of pages
16
Pages from-to
163-178
Publisher name
Springer International Publishing
Place of publication
Cham
Event location
Vienna, Austria
Event date
Jul 4, 2016
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—