Computing SyncCharts Reactions
Charles André · Electronic Notes in Theoretical Computer Science · 2004
SyncCharts are a state-based visual synchronous model.Though using a simple graphical syntax, SyncCharts may exhibit complex instantaneous behavior, mixing concurrent evolutions, preemptions and state re-incarnations.This paper explains such reactions in terms of microsteps.The underlying semantics is a constructive semantics, fully compatible with the Esterel's semantics.The semantics is presented in a semi-formal way, as resulting from the cooperation of concurrent reactive cells.