We found a match
Your institution may have access to this item. Find your institution then sign in to continue.
- Title
TRANSLATING ERLANG STATE MACHINES TO UML USING TRIPLE GRAPH GRAMMARS.
- Authors
LUKÁCS, DÁNIEL; TÓTH, MELINDA
- Abstract
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.
- Subjects
ERLANG (Computer program language); UNIFIED modeling language; GRAPH theory
- Publication
Studia Universitatis Babes-Bolyai, Informatica, 2018, Vol 63, Issue 1, p33
- ISSN
1224-869X
- Publication type
Article
- DOI
10.24193/subbi.2018.1.03