About Me

Tuesday, October 7, 2008


Missed the beginning of Argos. Synchronous statecharts. Subset of statecharts. Disallows inter-level transitions. Compositional.

Local signals are declared as a littyle tag at the bottom of a "domain".

Boolean inputs: guard over a set of inputs. Transition relation is a subset of S*B(I)*2^O*S
Monomial form: conjunction of literals. A literal is an input or its negation.

Reactivity and deterministic: for every state and all for all outgoing transition from a state there is a valid transition.

Composed and transmitted from my iPod Touch