PlayGo Demos

From WeizmannWiki
Revision as of 09:46, 14 October 2010 by Smadar (Talk | contribs)

Jump to: navigation, search

Below are movie clips demonstrating some of the basic capabilities of PlayGo.

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.


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.


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.


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.