We present a new semantics of Statecharts that excludes failures and a compositional formulation of this semantics based on Labelled Transition Systems (LTS). We consider a hierarchy of LTS equivalences and we study their congruence properties w.r. to statechart operators.
Equivalences of Statecharts / A., Maggiolo Schettini; Peron, Adriano; S., Tini. - STAMPA. - 1119:(1996), pp. 687-702. [10.1007/3-540-61604-7_84]
Equivalences of Statecharts
PERON, ADRIANO;
1996
Abstract
We present a new semantics of Statecharts that excludes failures and a compositional formulation of this semantics based on Labelled Transition Systems (LTS). We consider a hierarchy of LTS equivalences and we study their congruence properties w.r. to statechart operators.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.
