Difference between revisions of "LSC Language Reference"

From WeizmannWiki
Jump to: navigation, search
m (Smadar moved page LSC Reference to LSC Language Reference)
 
(12 intermediate revisions by one user not shown)
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.
 +
 
 +
== Existential Dynamic Lifeline ==
 +
An existential dynamic lifeline represents one object.
 +
This is used, e.g., when specifying behavior such as “when any button is pressed, the light associated with this button is turned to red”.
 +
 
 +
== Universal Dynamic Lifeline ==
 +
A universal dynamic lifeline represents all the objects of the given class.
 +
This is used, e.g., when specifying behavior such as “when the controller issues message ‘abort’, all the lights are turned off”.
  
 
==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.<br><br>
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.<br>
 +
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.
 +
 
 +
 
 +
<br><br><br>
 +
[[Image:Download.jpg|40px]] <span style="font-size: small;"> [[Media:LSC Language Reference PlayGo.pdf | Download the LSC language reference document]]

Latest revision as of 09:10, 29 April 2014

LSC Specification

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

Existential Dynamic Lifeline

An existential dynamic lifeline represents one object. This is used, e.g., when specifying behavior such as “when any button is pressed, the light associated with this button is turned to red”.

Universal Dynamic Lifeline

A universal dynamic lifeline represents all the objects of the given class. This is used, e.g., when specifying behavior such as “when the controller issues message ‘abort’, all the lights are turned off”.

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.





Download.jpg Download the LSC language reference document