Difference between revisions of "LSC Language Reference"

From WeizmannWiki
Jump to: navigation, search
(LSC Specification)
(Step and Superstep)
Line 3: Line 3:
  
 
==Step and Superstep==
 
==Step and Superstep==
Every execution of an event is considered a step. Sometimes, multiple events that are defined
+
The execution of a message event and all the hidden events that follow it is considered a step.
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.
+
In the context of execution, some events are driven by the user, while others are triggered by the system.  Following a user action, PlayGo can execute a superstep – a sequence of steps that terminates when the next event is an environment event or a user action, or when the entire system’s execution is terminated.

Revision as of 08:41, 29 April 2014

LSC Specification

An LSC specification is a finite set of live sequence charts.

Step and Superstep

The execution of a message event and all the hidden events that follow it is considered a step. In the context of execution, some events are driven by the user, while others are triggered by the system. Following a user action, PlayGo can execute a superstep – a sequence of steps that terminates when the next event is an environment event or a user action, or when the entire system’s execution is terminated.