Difference between revisions of "PlayGo Screenshots"

From WeizmannWiki
Jump to: navigation, search
Line 1: Line 1:
[[Image:LSCEditor.jpg|LSC Editor]]  
+
[[Image:LSCEditor.jpg|LSC Editor]]
  
 
=== Screenshot 1: The LSC Editor  ===
 
=== Screenshot 1: The 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"  
+
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"
  
----
 
 
----
 
----
  
 +
[[Image:PlayOut.jpg|Play-out]]
  
 +
=== Screenshot 2: Play-out  ===
  
[[Image:PlayOut.jpg|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).
  
=== 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).
+
[[Image:LSCDebugger.jpg | LSC Debugger]]
  
----
+
===Screenshot 3: LSC Debugger ===
 +
Current cut is displayed and LSCs locations are highlighted

Revision as of 08:18, 5 September 2010

LSC Editor

Screenshot 1: The 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

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).


LSC Debugger

Screenshot 3: LSC Debugger

Current cut is displayed and LSCs locations are highlighted