| Autor: |
LUKÁCS, DÁNIEL, TÓTH, MELINDA |
| Předmět: |
|
| Zdroj: |
Studia Universitatis Babes-Bolyai, Informatica; Jun2018, Vol. 63 Issue 1, p33-50, 18p |
| Abstrakt: |
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. [ABSTRACT FROM AUTHOR] |
| Databáze: |
Complementary Index |
| Externí odkaz: |
|
