Difference between revisions of "PlayGo"

From WeizmannWiki
Jump to: navigation, search
 
(59 intermediate revisions by 4 users not shown)
Line 1: Line 1:
−
== Getting Started with PlayGo  ==
+
Welcome to PlayGo, a comprehensive tool for behavioral, scenario-based, programming, built around the language of [[Live sequence charts|''live sequence charts'' (LSC)]] and its Java derivative, and the play-in/play-out methods for programming and execution.
−
=== Install PlayGo ===
+
−
PlayGo is based on Eclipse and is packaged and provided as Eclipse Product. In addition to the product itself we provide a workspace with few examples.
+
  
−
To install PlayGo, create a new directory and extract the PlayGo.zip file to that newly created directory. Throughout this document we will refer to this directory as <PlayGo>.
+
PlayGo is intended to provide extensive support for the vision of [http://www.wisdom.weizmann.ac.il/~harel/papers/LiberatingProgramming.pdf "liberating programming"]
  
−
Once extracted, your <PlayGo> directory should have the following content:
+
A description of the LSC language and the basic research underlying PlayGo can be found in [http://www.wisdom.weizmann.ac.il/~playbook/Updates/ComeLetsPlay.pdf D. Harel and R. Marelly, <i>Come, Let's Play: Scenario-Based Programming Using LSCs and the Play-Engine</i>].<br/>For more information about the principles of behavioral programming, which were originally part of the basis of LSC, and for links to the implementations of behavioral programming in Java and Erlang, see [http://www.b-prog.org www.b-prog.org].
  
−
[[Image:Playgo.install.dir.jpg]]
+
*[[About PlayGo]]
 +
*[[Language & Concepts]]
 +
*[[PlayGo Feature List]]
 +
*[[PlayGo Screenshots]]
 +
*[[PlayGo Demos]]
 +
*[[PlayGo Examples]]
 +
*[[Getting Started with PlayGo]]
 +
*[[PlayGo HowTo|PlayGo HowTo...]]
  
−
==== JRE Configuration ====
+
<br/>[[File:Download.jpg|Download.jpg|link=]] <span style="font-size: medium;">[[Download PlayGo]] [[License|(view license)]]&nbsp; &nbsp;</span>
−
Open the &lt;PlayGo&gt;/PlayGo.ini file and update the Java VM path to: &lt;PlayGo&gt;\ jre6\bin\ (e.g. D:\PlayGo\jre6\bin\). Alternatively, if you have Java 6 installed on your machine, simple remove the '-vm' parameter from the &lt;PlayGo&gt;\PlayGo.ini file. PlayGo will use your System properties to access your installed Java.
+
  
−
=== Run PlayGo with the Provided Workspace ===
 
−
*[[Startup PlayGo]]
 
−
*[[Configure the Examples]]
 
−
*[[What You Can Do with the Provided Workspace]]
 
  
  
 +
== <span style="line-height: 1.5em;">Related Tools</span> ==
  
−
=== jjj ===
+
*[[The Tracer]], a prototype tool for scenario-based trace visualization and exploration.
−
==== iii ====
+
*[[The LSC Compiler]], a compiler for multi-modal UML sequence diagrams.
  
−
*[[Run PlayGo with the Provided Workspace]]
+
== Contact Information ==
−
*[[Create Your First LSC Project]]
+
 
 +
E-mail us to: [mailto:playgo@weizmann.ac.il playgo@weizmann.ac.il]

Latest revision as of 12:00, 30 December 2020

Welcome to PlayGo, a comprehensive tool for behavioral, scenario-based, programming, built around the language of live sequence charts (LSC) and its Java derivative, and the play-in/play-out methods for programming and execution.

PlayGo is intended to provide extensive support for the vision of "liberating programming"

A description of the LSC language and the basic research underlying PlayGo can be found in D. Harel and R. Marelly, Come, Let's Play: Scenario-Based Programming Using LSCs and the Play-Engine.
For more information about the principles of behavioral programming, which were originally part of the basis of LSC, and for links to the implementations of behavioral programming in Java and Erlang, see www.b-prog.org.


Download.jpg Download PlayGo (view license)   


Related Tools

  • The Tracer, a prototype tool for scenario-based trace visualization and exploration.
  • The LSC Compiler, a compiler for multi-modal UML sequence diagrams.

Contact Information

E-mail us to: playgo@weizmann.ac.il

Retrieved from "https://wiki.weizmann.ac.il/playgo/index.php?title=PlayGo&oldid=1511"