期刊名称：Studia Universitatis Babes-Bolyai : Series Informatica
印刷版ISSN：1224-869X
出版年度：2018
卷号：63
期号：1
页码：1-18
DOI：10.24193/subbi.2018.1.03
出版社：Babes-Bolyai University, Cluj-Napoca
摘要：In this paper, we present a method that transforms eventdriven
Erlang state machines into high-level state machine models represented
in UML. We formalized the transformation system as a triple graph
grammar, a special case of graph rewriting. We argue in this paper that
using this well-defined formal procedure opens up the way for verifying
the transformation system, synchronizing code and formal documentation,
and executing state machine models among many other possible use cases.
We also provide an example transformation system and demonstrate its
application in action on a small Erlang state machine. We also present our
evaluation of our full system implementation tested on real world Erlang
state machines.
