Graphic formalisms: the language Argos
The Statecharts semantics seems to still be under discussion [HPSS86, HGd88]. On the other hand, the given semantics is not completely synchronous, since parallel composition may give rise to nondeterministic behaviors.
Argos solves some problems existing in Statecharts, in particular those concerning modularity and causality loops. It is a simpler language, whose semantics is completely formalized and thoroughly compatible with the synchronous point of view adopted in Esterel.
KeywordsParallel Composition Internal Signal Output Part Hierarchical Decomposition Causality Loop
Unable to display preview. Download preview PDF.