We consider a version of Statecharts having transitions with durations. We relate occurrences of transitions with a dense time domain and enforce a strong time semantics. We examine how durations associated with transitions can be changed while preserving behaviour (a retiming). We discuss also how a class of changes of the temporal feature of the environment (i.e. from non-discrete to discrete and vice-versa, shift, speed-up and slow-down) affect behaviour.
Retiming techniques for Statechatrs / A., Maggiolo Schettini; Peron, Adriano. - STAMPA. - 1135:(1996), pp. 55-71. [10.1007/3-540-61648-9_34]
Retiming techniques for Statechatrs
PERON, ADRIANO
1996
Abstract
We consider a version of Statecharts having transitions with durations. We relate occurrences of transitions with a dense time domain and enforce a strong time semantics. We examine how durations associated with transitions can be changed while preserving behaviour (a retiming). We discuss also how a class of changes of the temporal feature of the environment (i.e. from non-discrete to discrete and vice-versa, shift, speed-up and slow-down) affect behaviour.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.
