Difference between revisions of "LSC Language Reference"
From WeizmannWiki
(→Super Step) |
|||
| Line 1: | Line 1: | ||
| + | ==LSC Specification== | ||
| + | A collection of LSCs that together specify the [desired] behavior of the system. | ||
| + | |||
==Step and Superstep== | ==Step and Superstep== | ||
Every execution of an event is considered a step. Sometimes, multiple events that are defined | Every execution of an event is considered a step. Sometimes, multiple events that are defined | ||
to be simultaneous are executed in a single step. In execution context, some events are driven by the user, while others are triggered by the system. Following a user action, the PlayGo can optionally execute a super step – a sequence of steps which terminates when the next event must be a user action, or when the entire execution is terminated. | to be simultaneous are executed in a single step. In execution context, some events are driven by the user, while others are triggered by the system. Following a user action, the PlayGo can optionally execute a super step – a sequence of steps which terminates when the next event must be a user action, or when the entire execution is terminated. | ||
Revision as of 07:40, 25 November 2013
LSC Specification
A collection of LSCs that together specify the [desired] behavior of the system.
Step and Superstep
Every execution of an event is considered a step. Sometimes, multiple events that are defined to be simultaneous are executed in a single step. In execution context, some events are driven by the user, while others are triggered by the system. Following a user action, the PlayGo can optionally execute a super step – a sequence of steps which terminates when the next event must be a user action, or when the entire execution is terminated.
