A semantics of Statecharts based on graph rewriting is presented. State-charts are formalized as graph replacement rules. The graph of derivations gives a sequential semantics which agrees with Statechart step semantics.
Semantics of full statecharts based on graph rewriting / A., Maggiolo Schettini; Peron, Adriano. - STAMPA. - 776:(1993), pp. 279-265. [10.1007/3-540-57787-4_17]
Semantics of full statecharts based on graph rewriting
PERON, ADRIANO
1993
Abstract
A semantics of Statecharts based on graph rewriting is presented. State-charts are formalized as graph replacement rules. The graph of derivations gives a sequential semantics which agrees with Statechart step semantics.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.