Difference between revisions of "LSC Language Reference"

From WeizmannWiki
Jump to: navigation, search
(LSC Specification)
Line 1: Line 1:
 
==LSC Specification==
 
==LSC Specification==
A collection of LSCs that together specify the [desired] behavior of the system.
+
An LSC specification is a finite set of live sequence charts.
  
 
==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 06:40, 29 April 2014

LSC Specification

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

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.