Difference between revisions of "PlayGo Demos"

From WeizmannWiki
Jump to: navigation, search
(Play-In)
 
(17 intermediate revisions by one user not shown)
Line 1: Line 1:
Below are movie clips that demonstrate some of the basic capabilities of PlayGo. Each movie can also be downloaded as .avi file by clicking the relevant link below the movie.
+
'''Below are movie clips demonstrating some of the basic capabilities of PlayGo. Each movie can also be downloaded as .avi file by clicking the relevant link below the movie.'''
  
 
== Play-In  ==
 
== Play-In  ==
[http://www.wisdom.weizmann.ac.il/~playgo/demos/PlayIn.avi Watch a play-in demo]
 
  
{{#ev:youtube|ZtmEjsgnCxI|600}}
+
The Play-In clip below demonstrates playing in a simple scenario.
 +
 
 +
In this example we take a GUI that is composed of a set of cards, each of which can be flipped up and down, and play-in the behavior of a Memory Game. The main left-hand side canvas displays the LSC that is being created. On the right-hand side is the GWT-based application under development. The player enters events by actually causing them to happen on the GUI. Each such GUI operation is immediately and automatically reflected in the LSC, which is generated on the fly, and in the continuously accumulating underlying model.
 +
 
 +
{{#ev:youtube|fNwyOnQwnzE|640}}
 +
 
 +
[http://www.wisdom.weizmann.ac.il/~playgo/demos/PlayIn.avi Download as avi file]
 +
 
 +
== Play-Out ==
 +
 
 +
 
 +
The Play-Out clip below demonstrates the playing out of a single scenario.
 +
 
 +
During play-out, the cut is displayed, representing the current state of the LSC. Breakpoints can be set to stop the execution at a required state. Breakpoints are set on the diagram itself. In the Debug view the user can decide how to resume the execution: Resume – executes the next super step, Cut Resume – executes the next step, Message Resume – executes until the next Execute message is reached.
 +
 
 +
{{#ev:youtube|JD9Qpy_4B8M|640}}
 +
 
 +
[http://www.wisdom.weizmann.ac.il/~playgo/demos/PlayOut.avi Download as avi file]
 +
 
 +
== Play-In/Out with PlayGo ==
 +
 
 +
 
 +
The Memory Game play-in and play-out clip below demonstrates playing-in a memory game specification with PlayGo.
 +
Initialiy the presented memory game is merely a mockup GUI. We demostrate playing in a scenario where, upon the user flipping up two cards, the system checks if they match. If they do not match, they are both flipped down. Once the behavior of the memory game has been played-in we can play it out.
 +
 
 +
{{#ev:youtube|Yu-OdbndnqQ|640}}
 +
 
 +
[http://www.wisdom.weizmann.ac.il/~playgo/demos/MemoryGamePlayInPlayOut.avi Download as avi file]
 +
 
 +
 
 +
The ATM play-in and play-out clip below demonstrates for playing-in the behavior of ATM. Initialiy the presented ATM is merely a mockup GUI. We demostrate playing in two simple scenarios: the first receives a credit card and the second handles the Withdraw operation. Once the behavior of the ATM has been played-in we can play it out.
 +
 
 +
{{#ev:youtube|Sd508NOUDk0|640}}
 +
 
 +
[http://www.wisdom.weizmann.ac.il/~playgo/demos/ATMPlayInPlayOut.avi Download as avi file]

Latest revision as of 17:38, 17 November 2010

Below are movie clips demonstrating some of the basic capabilities of PlayGo. Each movie can also be downloaded as .avi file by clicking the relevant link below the movie.

Play-In

The Play-In clip below demonstrates playing in a simple scenario.

In this example we take a GUI that is composed of a set of cards, each of which can be flipped up and down, and play-in the behavior of a Memory Game. The main left-hand side canvas displays the LSC that is being created. On the right-hand side is the GWT-based application under development. The player enters events by actually causing them to happen on the GUI. Each such GUI operation is immediately and automatically reflected in the LSC, which is generated on the fly, and in the continuously accumulating underlying model.

Download as avi file

Play-Out

The Play-Out clip below demonstrates the playing out of a single scenario.

During play-out, the cut is displayed, representing the current state of the LSC. Breakpoints can be set to stop the execution at a required state. Breakpoints are set on the diagram itself. In the Debug view the user can decide how to resume the execution: Resume – executes the next super step, Cut Resume – executes the next step, Message Resume – executes until the next Execute message is reached.

Download as avi file

Play-In/Out with PlayGo

The Memory Game play-in and play-out clip below demonstrates playing-in a memory game specification with PlayGo. Initialiy the presented memory game is merely a mockup GUI. We demostrate playing in a scenario where, upon the user flipping up two cards, the system checks if they match. If they do not match, they are both flipped down. Once the behavior of the memory game has been played-in we can play it out.

Download as avi file


The ATM play-in and play-out clip below demonstrates for playing-in the behavior of ATM. Initialiy the presented ATM is merely a mockup GUI. We demostrate playing in two simple scenarios: the first receives a credit card and the second handles the Withdraw operation. Once the behavior of the ATM has been played-in we can play it out.

Download as avi file