Difference between revisions of "PlayGo Screenshots"

From WeizmannWiki
Jump to: navigation, search
Line 1: Line 1:
 
+
=== The LSC Editor  ===
=== Screenshot 1: The LSC Editor  ===
+
 
[[Image:LSCEditor.jpg|LSC Editor]]
 
[[Image:LSCEditor.jpg|LSC Editor]]
  
Line 7: Line 6:
 
----
 
----
  
 +
 +
=== Play-out  ===
 
[[Image:PlayOut.jpg|Play-out]]
 
[[Image:PlayOut.jpg|Play-out]]
 
=== Screenshot 2: Play-out  ===
 
  
 
Demonstrating play-out and watching an LSC specification during its execution. On the left, the active LSCs, annotated with their current cuts. On the right, the GUI of the application under development (an automatic teller machine).
 
Demonstrating play-out and watching an LSC specification during its execution. On the left, the active LSCs, annotated with their current cuts. On the right, the GUI of the application under development (an automatic teller machine).
Line 15: Line 14:
 
----
 
----
  
 +
===LSC Debugger - Cut and Locations ===
 
[[Image:LSCDebug.jpg | LSC Debugger]]
 
[[Image:LSCDebug.jpg | LSC Debugger]]
  
===Screenshot 3: LSC Debugger ===
+
 
 
Current cut is displayed and LSCs locations are highlighted
 
Current cut is displayed and LSCs locations are highlighted
  
Line 23: Line 23:
 
----
 
----
  
 +
===LSC Debugger - Breakpoints ===
 
[[Image:LSCDebug2.jpg | LSC Debugger]]
 
[[Image:LSCDebug2.jpg | LSC Debugger]]
===Screenshot 4: LSC Debugger ===
+
 
 
Note the red circle on the right most lifeline of the LSC, indicating a user-defined breakpoint.
 
Note the red circle on the right most lifeline of the LSC, indicating a user-defined breakpoint.
 
  
 
----
 
----
 +
=== Message Arguments ===
 
[[Image:MessageArgs.jpg | Message Arguments]]
 
[[Image:MessageArgs.jpg | Message Arguments]]
===Screenshot 5: During play-in, a dialog to define message arguments ===
+
During play-in, a dialog to define message arguments
  
 
----
 
----
 +
 +
===S2A Properties===
 
[[Image:S2AProperties.jpg | S2A Properties]]
 
[[Image:S2AProperties.jpg | S2A Properties]]
===Screenshot 6: S2A Properties===
+
 
 
A properties dialog for S2A build, allowing the engineer to select which LSCs should be compiled etc.
 
A properties dialog for S2A build, allowing the engineer to select which LSCs should be compiled etc.

Revision as of 08:25, 5 September 2010

The LSC Editor

LSC Editor

Note the red and blue elements in the diagram, indicating hot and cold LSC messages and conditions. Note also the Properties pane at the bottom of the screen, currently showing the properties of the selected lifeline "Bank": its binding is "static", its polymorphic scope is "deep", and its type is "system"



Play-out

Play-out

Demonstrating play-out and watching an LSC specification during its execution. On the left, the active LSCs, annotated with their current cuts. On the right, the GUI of the application under development (an automatic teller machine).


LSC Debugger - Cut and Locations

LSC Debugger


Current cut is displayed and LSCs locations are highlighted



LSC Debugger - Breakpoints

LSC Debugger

Note the red circle on the right most lifeline of the LSC, indicating a user-defined breakpoint.


Message Arguments

Message Arguments During play-in, a dialog to define message arguments


S2A Properties

S2A Properties

A properties dialog for S2A build, allowing the engineer to select which LSCs should be compiled etc.