Difference between revisions of "LSC Language Reference"

From WeizmannWiki
Jump to: navigation, search
(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 09: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.