WeizmannWiki - User contributions [en]

The Latex to LSC Compiler

2017-05-29T17:51:20Z

Achiya:

This page explains how to write Contextul LSCs (Con-LSC) in Latex, compile them into PlayGo LSC instances, and finally execute them.

In nutshell, these are the required steps:

#Download the PlayGo Environment.
#Add Latex Con-LSCs to LSC.tex.
#Execute the Latex2PlayGo compiler.
#Import the compiled file in PlayGo and execute it.

= The PlayGo Environment =

First you need to download ([https://weizmann.box.com/s/vze4kqq5gbf01cw92lx5dwijjju1pddb here]) a PlayGo version that includes a template project and the Latex2PlayGo compiler.

After extracting the zip file you will find the following directory structure (the structure includes only directories relevant to this tutorial). Directories are marked with (D) and files with (F):
<div><span style="font-family:courier new,courier,monospace;">(D) PlayGo_4.0_19042017</span></div><div style="margin-left: 40px;"><span style="font-family:courier new,courier,monospace;">|</span></div><div style="margin-left: 40px;"><span style="font-family:courier new,courier,monospace;">(D) playgo</span></div><div style="margin-left: 80px;"><span style="font-family:courier new,courier,monospace;">|</span></div><div style="margin-left: 80px;"><span style="font-family:courier new,courier,monospace;">(F) playgo.exe</span></div><div style="margin-left: 40px;"><span style="font-family:courier new,courier,monospace;">(D) workspace</span></div><div style="margin-left: 80px;"><span style="font-family:courier new,courier,monospace;">|</span></div><div style="margin-left: 80px;"><span style="font-family:courier new,courier,monospace;">(D) Latex2Lsc</span></div><div style="margin-left: 120px;"><span style="font-family:courier new,courier,monospace;">|</span></div><div style="margin-left: 120px;"><span style="font-family:courier new,courier,monospace;">(F) LSC.tex</span></div><div style="margin-left: 120px;"><span style="font-family:courier new,courier,monospace;">(F) GeneratedLSC.lsc</span></div><div style="margin-left: 120px;"><span style="font-family:courier new,courier,monospace;">(D) src</span></div><div style="margin-left: 160px;"><span style="font-family:courier new,courier,monospace;">|</span></div><div style="margin-left: 160px;"><span style="font-family:courier new,courier,monospace;">(F) Latex2PlayGoCompiler.java</span></div>
<br/>Executin playgo.exe will start PlayGo.

== General links: ==

[https://weizmann.box.com/s/irjrbvlipdol1vm64v0kf7uju00lqzn1 PlayGo userguide].

[http://wiki.weizmann.ac.il/playgo/index.php/Main_Page PlayGo homepage] - more information and tutorials.

= Latex Con-LSC =

== The Latex Con-LSC Language ==

Our group has developed a dedicated Latex package for easily creating diagrams with a simple textual notation, and presenting them graphically.

The package, called '''pgf-playgo-lsc''', is built upon the ''pgf<ref>T. Tantau and C. Feuersnger, “pgf—Create PostScript and PDF graphics in TEX,” Version 3.01a, 08 2015. [Online]. Available: https://www.ctan.org/pkg/pgf</ref>'' and ''pgf-uml''<ref>X. Yuan, “pgf-umlsd—Draw UML Sequence Diagrams,” Version 0.7, 02 2014. [Online]. Available: https://www.ctan.org/pkg/pgf-umlsd</ref> packages. The package imlements only part of the PlayGo LSC idioms. The complete list of the supported idioms in Latex Con-LSC is given in the package manual. The language semantics is defined in the [https://weizmann.box.com/s/irjrbvlipdol1vm64v0kf7uju00lqzn1 PlayGo userguide], except for the context idioms that are given in the paper.

The package repository and download link can be found at [http://github.com/eggsterino/pgf-playgo-lsc http://github.com/eggsterino/pgf-playgo-lsc].

Here we present an example for creating an LSC chart using pgf-playgo-lsc:

{| cellspacing="1" cellpadding="1" style="border-top: 1px solid; border-left: 0px; border-right: 0px; border-bottom: 1px solid;width: 600px"
|-
| style="vertical-align: top; width: 520px; border:none;" | <div>\begin{LSCnameddiagram}</div><div style="margin-left: 80px;">[title width=p{65px}]<br/></div><div style="margin-left: 80px;">{Turn lights off when motion has stopped}</div><div style="margin-left: 80px;"><br/></div><div style="margin-left: 40px;">\newlifeline {light} {light}</div><div style="margin-left: 40px;">\newlifeline {office} {office}</div><div style="margin-left: 40px;">\newlifeline {mSensor} {mSensor}</div><div style="margin-left: 40px;"><br/></div><div style="margin-left: 40px;"></div><div style="margin-left: 40px;">\coldmonitor {mSensor} {motionStopped()} {office}</div><div style="margin-left: 40px;">\hotexecute {office} {setOff()} {light}</div><div style="margin-left: 40px;"><br/></div><div>\end{LSCnameddiagram}</div>
| style="border: none; vertical-align: middle;" |
[[File:Latex-LSC.jpg|200px|Compiled pgf-playgo-lsc chart]]

Figure 1 - The compiled Latex representation of the code on the left.

|}
<div></div><div><br/></div><div>Please note that the LSC.tex file must have at least one LSC diagram. Also, no Latex command should appear outside the \begin \end scope.</div>

== The Latex2PlayGo Compiler ==

The Latex2PlayGo Compiler takes the Latex charts given in the LSC.tex file and compiles them to a PlayGo LSC file named GeneratedLSC.lsc. The compiler source code is the Latex2PlayGoCompiler.java file. Executing the compiler can be done in two ways:

#Compiling the file using ''javac'' and running it with ''java''.
#In PlayGo - Right click the source file and choose "Run as > Java Application".

= PlayGo =

== Preparing the PlayGo Project ==

Before we can execcute the generated LSCs, we need to prepare the project:

#Start PlayGo by executing playgo.exe.
#Refresh the project (Select the project root and press F5).
#On the right panel you have a window called "System Model".
#Locate the red X button.
#Press the button on the left to generate a system model from the scenarios.
#On the file selection window select GeneratedLSC.lsc.
#Click the button on the right of the red X button.
#Refresh the project (In the Package Explorer window: Right click on project name and then select Refresh)

The project is ready for a run.

== Running the Project ==

Required steps:

#Main menu: PlayGo -> Play-Out -> Play-Out....
#Delete any model under Behaviour Unit.
#Now press the add model and select GeneratedLSC.
#Press OK

Now you will notice that nothing happens. The reason is that due to a language requirement, each diagram starts with a monitor event. In the above example: the motionStopped() will be triggered only if the system (i.e. the sensor) will trigger the event. For the purpose of simulations and testings, PlayGo allows simulating system and user events from one lifeline to another.

For example, let us assume that we want to trigger the motionStopped event. In order to do so we neet to:

#Run the project.
#In the System Model window -> Objects:
##Right click mSensor and select "Call other object".
##Right click office and select "motionStopperd".

= References =

<references />

The Latex to LSC Compiler

2017-05-29T17:46:53Z

Achiya:

This page explains how to write Contextul LSCs (Con-LSC) in Latex, compile them into PlayGo LSC instances, and finally execute them.

In nutshell, these are the required steps:

#Download the PlayGo Environment.
#Add Latex Con-LSCs to LSC.tex.
#Execute the Latex2PlayGo compiler.
#Import the compiled file in PlayGo and execute it.

= The PlayGo Environment =

First you need to download ([https://weizmann.box.com/s/vze4kqq5gbf01cw92lx5dwijjju1pddb here]) a PlayGo version that includes a template project and the Latex2PlayGo compiler.

After extracting the zip file you will find the following directory structure (the structure includes only directories relevant to this tutorial). Directories are marked with (D) and files with (F):
<div><span style="font-family:courier new,courier,monospace;">(D) PlayGo_4.0_19042017</span></div><div style="margin-left: 40px;"><span style="font-family:courier new,courier,monospace;">|</span></div><div style="margin-left: 40px;"><span style="font-family:courier new,courier,monospace;">(D) playgo</span></div><div style="margin-left: 80px;"><span style="font-family:courier new,courier,monospace;">|</span></div><div style="margin-left: 80px;"><span style="font-family:courier new,courier,monospace;">(F) playgo.exe</span></div><div style="margin-left: 40px;"><span style="font-family:courier new,courier,monospace;">(D) workspace</span></div><div style="margin-left: 80px;"><span style="font-family:courier new,courier,monospace;">|</span></div><div style="margin-left: 80px;"><span style="font-family:courier new,courier,monospace;">(D) Latex2Lsc</span></div><div style="margin-left: 120px;"><span style="font-family:courier new,courier,monospace;">|</span></div><div style="margin-left: 120px;"><span style="font-family:courier new,courier,monospace;">(F) LSC.tex</span></div><div style="margin-left: 120px;"><span style="font-family:courier new,courier,monospace;">(F) GeneratedLSC.lsc</span></div><div style="margin-left: 120px;"><span style="font-family:courier new,courier,monospace;">(D) src</span></div><div style="margin-left: 160px;"><span style="font-family:courier new,courier,monospace;">|</span></div><div style="margin-left: 160px;"><span style="font-family:courier new,courier,monospace;">(F) Latex2PlayGoCompiler.java</span></div>
<br/>Executin playgo.exe will start PlayGo.

== General links: ==

[https://weizmann.box.com/s/irjrbvlipdol1vm64v0kf7uju00lqzn1 PlayGo userguide].

[http://wiki.weizmann.ac.il/playgo/index.php/Main_Page PlayGo homepage] - more information and tutorials.

= Latex Con-LSC =

== The Latex Con-LSC Language ==

Our group has developed a dedicated Latex package for easily creating diagrams with a simple textual notation, and presenting them graphically.

The package, called '''pgf-playgo-lsc''', is built upon the ''pgf<ref>T. Tantau and C. Feuersnger, “pgf—Create PostScript and PDF graphics in TEX,” Version 3.01a, 08 2015. [Online]. Available: https://www.ctan.org/pkg/pgf</ref>'' and ''pgf-uml''<ref>X. Yuan, “pgf-umlsd—Draw UML Sequence Diagrams,” Version 0.7, 02 2014. [Online]. Available: https://www.ctan.org/pkg/pgf-umlsd</ref> packages. The package imlements only part of the PlayGo LSC idioms. The complete list of the supported idioms in Latex Con-LSC is given in the package manual. The language semantics is defined in the [https://weizmann.box.com/s/irjrbvlipdol1vm64v0kf7uju00lqzn1 PlayGo userguide], except for the context idioms that are given in the paper.

The package repository and download link can be found at [http://github.com/eggsterino/pgf-playgo-lsc [1]].

Here we present an example for creating an LSC chart using pgf-playgo-lsc:

{| cellspacing="1" cellpadding="1" style="border-top: 1px solid; border-left: 0px; border-right: 0px; border-bottom: 1px solid;width: 600px"
|-
| style="vertical-align: top; width: 520px; border:none;" | <div>\begin{LSCnameddiagram}</div><div style="margin-left: 80px;">[title width=p{65px}]<br/></div><div style="margin-left: 80px;">{Turn lights off when motion has stopped}</div><div style="margin-left: 80px;"><br/></div><div style="margin-left: 40px;">\newlifeline {light} {light}</div><div style="margin-left: 40px;">\newlifeline {office} {office}</div><div style="margin-left: 40px;">\newlifeline {mSensor} {mSensor}</div><div style="margin-left: 40px;"><br/></div><div style="margin-left: 40px;"></div><div style="margin-left: 40px;">\coldmonitor {mSensor} {motionStopped()} {office}</div><div style="margin-left: 40px;">\hotexecute {office} {setOff()} {light}</div><div style="margin-left: 40px;"><br/></div><div>\end{LSCnameddiagram}</div>
| style="border: none; vertical-align: middle;" |
[[File:Latex-LSC.jpg|200px|Compiled pgf-playgo-lsc chart]]

Figure 1 - The compiled Latex representation of the code on the left.

|}
<div></div><div><br/></div><div>Please note that the LSC.tex file must have at least one LSC diagram. Also, no Latex command should appear outside the \begin \end scope.</div>

== The Latex2PlayGo Compiler ==

The Latex2PlayGo Compiler takes the Latex charts given in the LSC.tex file and compiles them to a PlayGo LSC file named GeneratedLSC.lsc. The compiler source code is the Latex2PlayGoCompiler.java file. Executing the compiler can be done in two ways:

#Compiling the file using ''javac'' and running it with ''java''.
#In PlayGo - Right click the source file and choose "Run as > Java Application".

= PlayGo =

== Preparing the PlayGo Project ==

Before we can execcute the generated LSCs, we need to prepare the project:

#Start PlayGo by executing playgo.exe.
#Refresh the project (Select the project root and press F5).
#On the right panel you have a window called "System Model".
#Locate the red X button.
#Press the button on the left to generate a system model from the scenarios.
#On the file selection window select GeneratedLSC.lsc.
#Click the button on the right of the red X button.
#Refresh the project (In the Package Explorer window: Right click on project name and then select Refresh)

The project is ready for a run.

== Running the Project ==

Required steps:

#Main menu: PlayGo -> Play-Out -> Play-Out....
#Delete any model under Behaviour Unit.
#Now press the add model and select GeneratedLSC.
#Press OK

Now you will notice that nothing happens. The reason is that due to a language requirement, each diagram starts with a monitor event. In the above example: the motionStopped() will be triggered only if the system (i.e. the sensor) will trigger the event. For the purpose of simulations and testings, PlayGo allows simulating system and user events from one lifeline to another.

For example, let us assume that we want to trigger the motionStopped event. In order to do so we neet to:

#Run the project.
#In the System Model window -> Objects:
##Right click mSensor and select "Call other object".
##Right click office and select "motionStopperd".

= References =

<references />

The Latex to LSC Compiler

2017-05-29T17:40:56Z

Achiya:

This page explains how to write Contextul LSCs (Con-LSC) in Latex, compile them into PlayGo LSC instances, and finally execute them.

In nutshell, these are the required steps:

#Download the PlayGo Environment.
#Add Latex Con-LSCs to LSC.tex.
#Execute the Latex2PlayGo compiler.
#Import the compiled file in PlayGo and execute it.

= The PlayGo Environment =

First you need to download ([https://weizmann.box.com/s/vze4kqq5gbf01cw92lx5dwijjju1pddb here]) a PlayGo version that includes a template project and the Latex2PlayGo compiler.

After extracting the zip file you will find the following directory structure (the structure includes only directories relevant to this tutorial). Directories are marked with (D) and files with (F):
<div><span style="font-family:courier new,courier,monospace;">(D) PlayGo_4.0_19042017</span></div><div style="margin-left: 40px;"><span style="font-family:courier new,courier,monospace;">|</span></div><div style="margin-left: 40px;"><span style="font-family:courier new,courier,monospace;">(D) playgo</span></div><div style="margin-left: 80px;"><span style="font-family:courier new,courier,monospace;">|</span></div><div style="margin-left: 80px;"><span style="font-family:courier new,courier,monospace;">(F) playgo.exe</span></div><div style="margin-left: 40px;"><span style="font-family:courier new,courier,monospace;">(D) workspace</span></div><div style="margin-left: 80px;"><span style="font-family:courier new,courier,monospace;">|</span></div><div style="margin-left: 80px;"><span style="font-family:courier new,courier,monospace;">(D) Latex2Lsc</span></div><div style="margin-left: 120px;"><span style="font-family:courier new,courier,monospace;">|</span></div><div style="margin-left: 120px;"><span style="font-family:courier new,courier,monospace;">(F) LSC.tex</span></div><div style="margin-left: 120px;"><span style="font-family:courier new,courier,monospace;">(F) GeneratedLSC.lsc</span></div><div style="margin-left: 120px;"><span style="font-family:courier new,courier,monospace;">(D) src</span></div><div style="margin-left: 160px;"><span style="font-family:courier new,courier,monospace;">|</span></div><div style="margin-left: 160px;"><span style="font-family:courier new,courier,monospace;">(F) Latex2PlayGoCompiler.java</span></div>
<br/>Executin playgo.exe will start PlayGo.

== General links: ==

[https://weizmann.box.com/s/irjrbvlipdol1vm64v0kf7uju00lqzn1 PlayGo userguide].

[http://wiki.weizmann.ac.il/playgo/index.php/Main_Page PlayGo homepage] - more information and tutorials.

= Latex Con-LSC =

== The Latex Con-LSC Language ==

Our group has developed a dedicated Latex package for easily creating diagrams with a simple textual notation, and presenting them graphically.

The package, called '''pgf-playgo-lsc''', is built upon the ''pgf<ref>T. Tantau and C. Feuersnger, “pgf—Create PostScript and PDF graphics in TEX,” Version 3.01a, 08 2015. [Online]. Available: https://www.ctan.org/pkg/pgf</ref>'' and ''pgf-uml''<ref>X. Yuan, “pgf-umlsd—Draw UML Sequence Diagrams,” Version 0.7, 02 2014. [Online]. Available: https://www.ctan.org/pkg/pgf-umlsd</ref> packages. The package imlements only part of the PlayGo LSC idioms. The complete list of the supported idioms in Latex Con-LSC is given in the Latex [http://github.com/eggsterino/pgf-playgo-lsc #REDIRECT ]. The language semantics is defined in the [https://weizmann.box.com/s/irjrbvlipdol1vm64v0kf7uju00lqzn1 PlayGo userguide], except for the context idioms that are given in the paper.

We present here a short example for creating an LSC chart using pgf-playgo-lsc:

{| cellspacing="1" cellpadding="1" style="border-top: 1px solid; border-left: 0px; border-right: 0px; border-bottom: 1px solid;width: 600px"
|-
| style="vertical-align: top; width: 550px; border:none;" | <div>\begin{LSCnameddiagram}</div><div style="margin-left: 80px;">[title width=p{65px}]<br/></div><div style="margin-left: 80px;">{Turn lights off when motion has stopped}</div><div style="margin-left: 80px;"><br/></div><div style="margin-left: 40px;">\newlifeline {light} {light}</div><div style="margin-left: 40px;">\newlifeline {office} {office}</div><div style="margin-left: 40px;">\newlifeline {mSensor} {mSensor}</div><div style="margin-left: 40px;"><br/></div><div style="margin-left: 40px;"></div><div style="margin-left: 40px;">\coldmonitor {mSensor} {motionStopped()} {office}</div><div style="margin-left: 40px;">\hotexecute {office} {setOff()} {light}</div><div style="margin-left: 40px;"><br/></div><div>\end{LSCnameddiagram}</div>
| style="border: none; vertical-align: middle;" |
[[File:Latex-LSC.jpg|200px|Compiled pgf-playgo-lsc chart]]

Figure 1 - The compiled Latex representation of the code on the left.

|}
<div></div><div><br/></div><div>Please note that the LSC.tex file must have at least one LSC diagram. Also, no Latex command should appear outside the \begin \end scope.</div>

== The Latex2PlayGo Compiler ==

The Latex2PlayGo Compiler takes the Latex charts given in the LSC.tex file and compiles them to a PlayGo LSC file named GeneratedLSC.lsc. The compiler source code is the Latex2PlayGoCompiler.java file. Executing the compiler can be done in two ways:

#Compiling the file using ''javac'' and running it with ''java''.
#In PlayGo - Right click the source file and choose "Run as > Java Application".

= PlayGo =

== Preparing the PlayGo Project ==

Before we can execcute the generated LSCs, we need to prepare the project:

#Start PlayGo by executing playgo.exe.
#Refresh the project (Select the project root and press F5).
#On the right panel you have a window called "System Model".
#Locate the red X button.
#Press the button on the left to generate a system model from the scenarios.
#On the file selection window select GeneratedLSC.lsc.
#Click the button on the right of the red X button.
#Refresh the project (In the Package Explorer window: Right click on project name and then select Refresh)

The project is ready for a run.

== Running the Project ==

Required steps:

#Main menu: PlayGo -> Play-Out -> Play-Out....
#Delete any model under Behaviour Unit.
#Now press the add model and select GeneratedLSC.
#Press OK

Now you will notice that nothing happens. The reason is that due to a language requirement, each diagram starts with a monitor event. In the above example: the motionStopped() will be triggered only if the system (i.e. the sensor) will trigger the event. For the purpose of simulations and testings, PlayGo allows simulating system and user events from one lifeline to another.

For example, let us assume that we want to trigger the motionStopped event. In order to do so we neet to:

#Run the project.
#In the System Model window -> Objects:
##Right click mSensor and select "Call other object".
##Right click office and select "motionStopperd".

= References =

<references />

The Latex to LSC Compiler

2017-05-24T18:25:37Z

Achiya:

This page explains how to write Contextul LSCs (Con-LSC) in Latex, compile them into PlayGo LSC instances, and finally execute them.

In nutshell, these are the required steps:

#Download the PlayGo Environment.
#Add Latex Con-LSCs to LSC.tex.
#Execute the Latex2PlayGo compiler.
#Import the compiled file in PlayGo and execute it.

= The PlayGo Environment =

First you need to download ([https://weizmann.box.com/s/vze4kqq5gbf01cw92lx5dwijjju1pddb here]) a PlayGo version that includes a template project and the Latex2PlayGo compiler.

After extracting the zip file you will find the following directory structure (the structure includes only directories relevant to this tutorial). Directories are marked with (D) and files with (F):
<div><span style="font-family:courier new,courier,monospace;">(D) PlayGo_4.0_19042017</span></div><div style="margin-left: 40px;"><span style="font-family:courier new,courier,monospace;">|</span></div><div style="margin-left: 40px;"><span style="font-family:courier new,courier,monospace;">(D) playgo</span></div><div style="margin-left: 80px;"><span style="font-family:courier new,courier,monospace;">|</span></div><div style="margin-left: 80px;"><span style="font-family:courier new,courier,monospace;">(F) playgo.exe</span></div><div style="margin-left: 40px;"><span style="font-family:courier new,courier,monospace;">(D) workspace</span></div><div style="margin-left: 80px;"><span style="font-family:courier new,courier,monospace;">|</span></div><div style="margin-left: 80px;"><span style="font-family:courier new,courier,monospace;">(D) Latex2Lsc</span></div><div style="margin-left: 120px;"><span style="font-family:courier new,courier,monospace;">|</span></div><div style="margin-left: 120px;"><span style="font-family:courier new,courier,monospace;">(F) LSC.tex</span></div><div style="margin-left: 120px;"><span style="font-family:courier new,courier,monospace;">(F) GeneratedLSC.lsc</span></div><div style="margin-left: 120px;"><span style="font-family:courier new,courier,monospace;">(D) src</span></div><div style="margin-left: 160px;"><span style="font-family:courier new,courier,monospace;">|</span></div><div style="margin-left: 160px;"><span style="font-family:courier new,courier,monospace;">(F) Latex2PlayGoCompiler.java</span></div>
<br/>Executin playgo.exe will start PlayGo.

== General links: ==

[https://weizmann.box.com/s/irjrbvlipdol1vm64v0kf7uju00lqzn1 PlayGo userguide].

[http://wiki.weizmann.ac.il/playgo/index.php/Main_Page PlayGo homepage] - more information and tutorials.

= Latex Con-LSC =

== The Latex Con-LSC Language ==

Our group has developed a dedicated Latex package for easily creating diagrams with a simple textual notation, and presenting them graphically.

The package, called '''pgf-playgo-lsc''', is built upon the ''pgf<ref>T. Tantau and C. Feuersnger, “pgf—Create PostScript and PDF graphics in TEX,” Version 3.01a, 08 2015. [Online]. Available: https://www.ctan.org/pkg/pgf</ref>'' and ''pgf-uml''<ref>X. Yuan, “pgf-umlsd—Draw UML Sequence Diagrams,” Version 0.7, 02 2014. [Online]. Available: https://www.ctan.org/pkg/pgf-umlsd</ref> packages. The package imlements only part of the PlayGo LSC idioms. The complete list of the supported idioms in Latex Con-LSC is given in the Latex [http://www Con-LSC package]. The language semantics is defined in the [https://weizmann.box.com/s/irjrbvlipdol1vm64v0kf7uju00lqzn1 PlayGo userguide], except for the context idioms that are given in the paper.

We present here a short example for creating an LSC chart using pgf-playgo-lsc:

{| cellspacing="1" cellpadding="1" style="border-top: 1px solid; border-left: 0px; border-right: 0px; border-bottom: 1px solid;width: 600px"
|-
| style="vertical-align: top; width: 550px; border:none;" | <div>\begin{LSCnameddiagram}</div><div style="margin-left: 80px;">[title width=p{65px}]<br/></div><div style="margin-left: 80px;">{Turn lights off when motion has stopped}</div><div style="margin-left: 80px;"><br/></div><div style="margin-left: 40px;">\newlifeline {light} {light}</div><div style="margin-left: 40px;">\newlifeline {office} {office}</div><div style="margin-left: 40px;">\newlifeline {mSensor} {mSensor}</div><div style="margin-left: 40px;"><br/></div><div style="margin-left: 40px;"></div><div style="margin-left: 40px;">\coldmonitor {mSensor} {motionStopped()} {office}</div><div style="margin-left: 40px;">\hotexecute {office} {setOff()} {light}</div><div style="margin-left: 40px;"><br/></div><div>\end{LSCnameddiagram}</div>
| style="border: none; vertical-align: middle;" |
[[File:Latex-LSC.jpg|200px|Compiled pgf-playgo-lsc chart]]

Figure 1 - The compiled Latex representation of the code on the left.

|}
<div></div><div><br/></div><div>Please note that the LSC.tex file must have at least one LSC diagram. Also, no Latex command should appear outside the \begin \end scope.</div>

== The Latex2PlayGo Compiler ==

The Latex2PlayGo Compiler takes the Latex charts given in the LSC.tex file and compiles them to a PlayGo LSC file named GeneratedLSC.lsc. The compiler source code is the Latex2PlayGoCompiler.java file. Executing the compiler can be done in two ways:

#Compiling the file using ''javac'' and running it with ''java''.
#In PlayGo - Right click the source file and choose "Run as > Java Application".

= PlayGo =

== Preparing the PlayGo Project ==

Before we can execcute the generated LSCs, we need to prepare the project:

#Start PlayGo by executing playgo.exe.
#Refresh the project (Select the project root and press F5).
#On the right panel you have a window called "System Model".
#Locate the red X button.
#Press the button on the left to generate a system model from the scenarios.
#On the file selection window select GeneratedLSC.lsc.
#Click the button on the right of the red X button.
#Refresh the project (In the Package Explorer window: Right click on project name and then select Refresh)

The project is ready for a run.

== Running the Project ==

Required steps:

#Main menu: PlayGo -> Play-Out -> Play-Out....
#Delete any model under Behaviour Unit.
#Now press the add model and select GeneratedLSC.
#Press OK

Now you will notice that nothing happens. The reason is that due to a language requirement, each diagram starts with a monitor event. In the above example: the motionStopped() will be triggered only if the system (i.e. the sensor) will trigger the event. For the purpose of simulations and testings, PlayGo allows simulating system and user events from one lifeline to another.

For example, let us assume that we want to trigger the motionStopped event. In order to do so we neet to:

#Run the project.
#In the System Model window -> Objects:
##Right click mSensor and select "Call other object".
##Right click office and select "motionStopperd".

= References =

<references />

The Latex to LSC Compiler

2017-05-19T21:09:19Z

Achiya:

This page explains how to write Contextul LSCs (Con-LSC) in Latex, compile them into PlayGo LSC instances, and finally execute them.

In nutshell, these are the required steps:

#Download the PlayGo Environment.
#Add Latex Con-LSCs to LSC.tex.
#Execute the Latex2PlayGo compiler.
#Import the compiled file in PlayGo and execute it.

= The PlayGo Environment =

First you need to download ([https://weizmann.box.com/s/vze4kqq5gbf01cw92lx5dwijjju1pddb here]) a PlayGo version that includes a template project and the Latex2PlayGo compiler.

After extracting the zip file you will find the following directory structure (the structure includes only directories relevant to this tutorial). Directories are marked with (D) and files with (F):
<div><span style="font-family:courier new,courier,monospace;">(D) PlayGo_4.0_19042017</span></div><div style="margin-left: 40px;"><span style="font-family:courier new,courier,monospace;">|</span></div><div style="margin-left: 40px;"><span style="font-family:courier new,courier,monospace;">(D) playgo</span></div><div style="margin-left: 80px;"><span style="font-family:courier new,courier,monospace;">|</span></div><div style="margin-left: 80px;"><span style="font-family:courier new,courier,monospace;">(F) playgo.exe</span></div><div style="margin-left: 40px;"><span style="font-family:courier new,courier,monospace;">(D) workspace</span></div><div style="margin-left: 80px;"><span style="font-family:courier new,courier,monospace;">|</span></div><div style="margin-left: 80px;"><span style="font-family:courier new,courier,monospace;">(D) Latex2Lsc</span></div><div style="margin-left: 120px;"><span style="font-family:courier new,courier,monospace;">|</span></div><div style="margin-left: 120px;"><span style="font-family:courier new,courier,monospace;">(F) LSC.tex</span></div><div style="margin-left: 120px;"><span style="font-family:courier new,courier,monospace;">(F) GeneratedLSC.lsc</span></div><div style="margin-left: 120px;"><span style="font-family:courier new,courier,monospace;">(D) src</span></div><div style="margin-left: 160px;"><span style="font-family:courier new,courier,monospace;">|</span></div><div style="margin-left: 160px;"><span style="font-family:courier new,courier,monospace;">(F) Latex2PlayGoCompiler.java</span></div>
<br/>Executin playgo.exe will start PlayGo.

== General links: ==

[https://weizmann.box.com/s/irjrbvlipdol1vm64v0kf7uju00lqzn1 PlayGo userguide].

[http://wiki.weizmann.ac.il/playgo/index.php/Main_Page PlayGo homepage] - more information and tutorials.

= Latex Con-LSC =

== The Latex Con-LSC Language ==

Our group has developed a dedicated Latex package for easily creating diagrams with a simple textual notation, and presenting them graphically.

The package, called '''pgf-playgo-lsc''', is built upon the ''pgf<ref>T. Tantau and C. Feuersnger, “pgf—Create PostScript and PDF graphics in TEX,” Version 3.01a, 08 2015. [Online]. Available: https://www.ctan.org/pkg/pgf</ref>'' and ''pgf-uml''<ref>X. Yuan, “pgf-umlsd—Draw UML Sequence Diagrams,” Version 0.7, 02 2014. [Online]. Available: https://www.ctan.org/pkg/pgf-umlsd</ref> packages. The package imlements only part of the PlayGo LSC idioms. The complete list of the supported idioms in Latex Con-LSC is given in the Latex [http://www Con-LSC package]. The language semantics is defined in the [https://weizmann.box.com/s/irjrbvlipdol1vm64v0kf7uju00lqzn1 PlayGo userguide], except for the context idioms that are given in the paper.

We present here a short example for creating an LSC chart using pgf-playgo-lsc:

{| cellspacing="1" cellpadding="1" style="border-top: 1px solid; border-left: 0px; border-right: 0px; border-bottom: 1px solid;width: 600px"
|-
| style="vertical-align: top; width: 550px; border:none;" | <div>\begin{LSCnameddiagram}</div><div style="margin-left: 80px;">[title width=p{65px}]<br/></div><div style="margin-left: 80px;">{Turn lights off when motion has stopped}</div><div style="margin-left: 80px;"><br/></div><div style="margin-left: 40px;">\newlifeline {light} {light}</div><div style="margin-left: 40px;">\newlifeline {office} {office}</div><div style="margin-left: 40px;">\newlifeline {mSensor} {mSensor}</div><div style="margin-left: 40px;"><br/></div><div style="margin-left: 40px;"></div><div style="margin-left: 40px;">\coldmonitor {mSensor} {motionStopped()} {office}</div><div style="margin-left: 40px;">\hotexecute {office} {setOff()} {light}</div><div style="margin-left: 40px;"><br/></div><div>\end{LSCnameddiagram}</div>
| style="border: none; vertical-align: middle;" |
[[File:Latex-LSC.jpg|200px|Compiled pgf-playgo-lsc chart]]

Figure 1 - The compiled Latex representation of the code on the left.

|}
<div></div><div><br/></div><div>Please note that the LSC.tex file must have at least one LSC diagram. Also, no Latex command should appear outside the \begin \end scope.</div>

== The Latex2PlayGo Compiler ==

The Latex2PlayGo Compiler takes the Latex charts given in the LSC.tex file and compiles them to a PlayGo LSC file named GeneratedLSC.lsc. The compiler source code is the Latex2PlayGoCompiler.java file. Executing the compiler can be done in two ways:

#Compiling the file using ''javac'' and running it with ''java''.
#In PlayGo - Right click the source file and choose "Run as > Java Application".

= PlayGo =

== Preparing the PlayGo Project ==

Before we can execcute the generated LSCs, we need to prepare the project:

#Start PlayGo by executing playgo.exe.
#Refresh the project (Select the project root and press F5).
#On the right panel you have a window called "System Model".
#Locate the red X button.
#Press the button on the left to generate a system model from the scenarios.
#On the file selection window select GeneratedLSC.lsc.
#Click the button on the right of the red X button.
#Refresh the project (In the Package Explorer window: Right click on project name and then select Refresh)

The project is ready for a run.

== Running the Project ==

Required steps:

#Main menu: PlayGo -> Play-Out -> Play-Out....
#Delete any model under Behaviour Unit.
#Now press the add model and select GeneratedLSC.
#Press OK

Now you will notice that nothing happens. The reason is that due to a language requirement, each diagram starts with a monitor event. In the above example: the motionStopped() will be triggered only if the system (i.e. the sensor) will trigger the event. For the purpose of simulations and testings, PlayGo allows simulating system events from one lifeline to another. In order to do so:

#Run the project.
#In the System Model window -> Objects:
##Righth click Office

= References =

<references />

The Latex to LSC Compiler

2017-05-18T20:26:05Z

Achiya:

This page explains how to write Contextul LSCs (Con-LSC) in Latex, compile them into PlayGo LSC instances, and finally execute them.

In nutshell, these are the required steps:

#Download the PlayGo Environment.
#Add Latex Con-LSCs to LSC.tex.
#Execute the Latex2PlayGo compiler.
#Import the compiled file in PlayGo and execute it.

= The PlayGo Environment =

First you need to download ([https://weizmann.box.com/s/vze4kqq5gbf01cw92lx5dwijjju1pddb here]) a PlayGo version that includes a template project and the Latex2PlayGo compiler.

After extracting the zip file you will find the following directory structure (the structure includes only directories relevant to this tutorial). Directories are marked with (D) and files with (F):
<div><span style="font-family:courier new,courier,monospace;">(D) PlayGo_4.0_19042017</span></div><div style="margin-left: 40px;"><span style="font-family:courier new,courier,monospace;">|</span></div><div style="margin-left: 40px;"><span style="font-family:courier new,courier,monospace;">(D) playgo</span></div><div style="margin-left: 80px;"><span style="font-family:courier new,courier,monospace;">|</span></div><div style="margin-left: 80px;"><span style="font-family:courier new,courier,monospace;">(F) playgo.exe</span></div><div style="margin-left: 40px;"><span style="font-family:courier new,courier,monospace;">(D) workspace</span></div><div style="margin-left: 80px;"><span style="font-family:courier new,courier,monospace;">|</span></div><div style="margin-left: 80px;"><span style="font-family:courier new,courier,monospace;">(D) Latex2Lsc</span></div><div style="margin-left: 120px;"><span style="font-family:courier new,courier,monospace;">|</span></div><div style="margin-left: 120px;"><span style="font-family:courier new,courier,monospace;">(F) LSC.tex</span></div><div style="margin-left: 120px;"><span style="font-family:courier new,courier,monospace;">(F) GeneratedLSC.lsc</span></div><div style="margin-left: 120px;"><span style="font-family:courier new,courier,monospace;">(D) src</span></div><div style="margin-left: 160px;"><span style="font-family:courier new,courier,monospace;">|</span></div><div style="margin-left: 160px;"><span style="font-family:courier new,courier,monospace;">(F) Latex2PlayGoCompiler.java</span></div>
<br/>Executin playgo.exe will start PlayGo.

== General links: ==

[https://weizmann.box.com/s/irjrbvlipdol1vm64v0kf7uju00lqzn1 PlayGo userguide].

[http://wiki.weizmann.ac.il/playgo/index.php/Main_Page PlayGo homepage] - more information and tutorials.

= Latex Con-LSC =

== The Latex Con-LSC Language ==

Our group has developed a dedicated Latex package for easily creating diagrams with a simple textual notation, and presenting them graphically.

The package, called '''pgf-playgo-lsc''', is built upon the ''pgf<ref>T. Tantau and C. Feuersnger, “pgf—Create PostScript and PDF graphics in TEX,” Version 3.01a, 08 2015. [Online]. Available: https://www.ctan.org/pkg/pgf</ref>'' and ''pgf-uml''<ref>X. Yuan, “pgf-umlsd—Draw UML Sequence Diagrams,” Version 0.7, 02 2014. [Online]. Available: https://www.ctan.org/pkg/pgf-umlsd</ref> packages. The package imlements only part of the PlayGo LSC idioms. The complete list of the supported idioms in Latex Con-LSC is given in the Latex [http://www Con-LSC package]. The language semantics is defined in the [https://weizmann.box.com/s/irjrbvlipdol1vm64v0kf7uju00lqzn1 PlayGo userguide], except for the context idioms that are given in the paper.

We present here a short example for creating an LSC chart using pgf-playgo-lsc:

{| cellspacing="1" cellpadding="1" style="border-top: 1px solid; border-left: 0px; border-right: 0px; border-bottom: 1px solid;width: 600px"
|-
| style="vertical-align: top; width: 550px; border:none;" | <div>\begin{LSCnameddiagram}</div><div style="margin-left: 80px;">[title width=p{65px}]<br/></div><div style="margin-left: 80px;">{Turn lights off when motion has stopped}</div><div style="margin-left: 80px;"><br/></div><div style="margin-left: 40px;">\newlifeline {light} {light}</div><div style="margin-left: 40px;">\newlifeline {office} {office}</div><div style="margin-left: 40px;">\newlifeline {mSensor} {mSensor}</div><div style="margin-left: 40px;"><br/></div><div style="margin-left: 40px;"></div><div style="margin-left: 40px;">\coldmonitor {mSensor} {motionStopped()} {office}</div><div style="margin-left: 40px;">\hotexecute {office} {setOff()} {light}</div><div style="margin-left: 40px;"><br/></div><div>\end{LSCnameddiagram}</div>
| style="border: none; vertical-align: middle;" |
[[File:Latex-LSC.jpg|200px|Compiled pgf-playgo-lsc chart]]

Figure 1 - The compiled Latex representation of the code on the left.

|}
<div></div><div><br/></div><div>Please note that the LSC.tex file must have at least one LSC diagram. Also, no Latex command should appear outside the \begin \end scope.</div>

== The Latex2PlayGo Compiler ==

The Latex2PlayGo Compiler takes the Latex charts given in the LSC.tex file and compiles them to a PlayGo LSC file named GeneratedLSC.lsc. The compiler source code is the Latex2PlayGoCompiler.java file. Executing the compiler can be done in two ways:

#Compiling the file using ''javac'' and running it with ''java''.
#In PlayGo - Right click the source file and choose "Run as > Java Application".

== Preparing the PlayGo Project ==

Before we can execcute the generated LSCs, we need to prepare the project:

#Start PlayGo by executing playgo.exe.
#Refresh the project (Select the project root and press F5).
#On the right panel you have a window called "System Model".
#Press the red X and then the icon of the left (see Figure 2).
#On the file selection window select GeneratedLSC.lsc.

That's it, we are ready for running, however there

= References =

<references />

The Latex to LSC Compiler

2017-05-18T20:22:31Z

Achiya:

This page explains how to write Contextul LSCs (Con-LSC) in Latex, compile them into PlayGo LSC instances, and finally execute them.

In nutshell, these are the required steps:

#Download the PlayGo Environment.
#Add Latex Con-LSCs to LSC.tex.
#Execute the Latex2PlayGo compiler.
#Import the compiled file in PlayGo and execute it.

= The PlayGo Environment =

First you need to download ([https://weizmann.box.com/s/vze4kqq5gbf01cw92lx5dwijjju1pddb here]) a PlayGo version that includes a template project and the Latex2PlayGo compiler.

After extracting the zip file you will find the following directory structure (the structure includes only directories relevant to this tutorial). Directories are marked with (D) and files with (F):
<div><span style="font-family:courier new,courier,monospace;">(D) PlayGo_4.0_19042017</span></div><div style="margin-left: 40px;"><span style="font-family:courier new,courier,monospace;">|</span></div><div style="margin-left: 40px;"><span style="font-family:courier new,courier,monospace;">(D) playgo</span></div><div style="margin-left: 80px;"><span style="font-family:courier new,courier,monospace;">|</span></div><div style="margin-left: 80px;"><span style="font-family:courier new,courier,monospace;">(F) playgo.exe</span></div><div style="margin-left: 40px;"><span style="font-family:courier new,courier,monospace;">(D) workspace</span></div><div style="margin-left: 80px;"><span style="font-family:courier new,courier,monospace;">|</span></div><div style="margin-left: 80px;"><span style="font-family:courier new,courier,monospace;">(D) Latex2Lsc</span></div><div style="margin-left: 120px;"><span style="font-family:courier new,courier,monospace;">|</span></div><div style="margin-left: 120px;"><span style="font-family:courier new,courier,monospace;">(F) LSC.tex</span></div><div style="margin-left: 120px;"><span style="font-family:courier new,courier,monospace;">(F) GeneratedLSC.lsc</span></div><div style="margin-left: 120px;"><span style="font-family:courier new,courier,monospace;">(D) src</span></div><div style="margin-left: 160px;"><span style="font-family:courier new,courier,monospace;">|</span></div><div style="margin-left: 160px;"><span style="font-family:courier new,courier,monospace;">(F) Latex2PlayGoCompiler.java</span></div>
<br/>Executin playgo.exe will start PlayGo.

== General links: ==

[https://weizmann.box.com/s/irjrbvlipdol1vm64v0kf7uju00lqzn1 PlayGo userguide].

[http://wiki.weizmann.ac.il/playgo/index.php/Main_Page PlayGo homepage] - more information and tutorials.

= Latex Con-LSC =

== The Latex Con-LSC Language ==

Our group has developed a dedicated Latex package for easily creating diagrams with a simple textual notation, and presenting them graphically.

The package, called '''pgf-playgo-lsc''', is built upon the ''pgf<ref>T. Tantau and C. Feuersnger, “pgf—Create PostScript and PDF graphics in TEX,” Version 3.01a, 08 2015. [Online]. Available: https://www.ctan.org/pkg/pgf</ref>'' and ''pgf-uml''<ref>X. Yuan, “pgf-umlsd—Draw UML Sequence Diagrams,” Version 0.7, 02 2014. [Online]. Available: https://www.ctan.org/pkg/pgf-umlsd</ref> packages. The package imlements only part of the PlayGo LSC idioms. The complete list of the supported idioms in Latex Con-LSC is given in the Latex [http://www Con-LSC package]. The language semantics is defined in the [https://weizmann.box.com/s/irjrbvlipdol1vm64v0kf7uju00lqzn1 PlayGo userguide], except for the context idioms that are given in the paper.

We present here a short example for creating an LSC chart using pgf-playgo-lsc:

{| cellspacing="1" cellpadding="1" style="border-top: 1px solid; border-left: 0px; border-right: 0px; border-bottom: 1px solid;width: 600px"
|-
| style="vertical-align: top; width: 550px; border:none;" | <div>\begin{LSCnameddiagram}</div><div style="margin-left: 80px;">[title width=p{65px}]<br/></div><div style="margin-left: 80px;">{Turn lights off when motion has stopped}</div><div style="margin-left: 80px;"><br/></div><div style="margin-left: 40px;">\newlifeline {light} {light}</div><div style="margin-left: 40px;">\newlifeline {office} {office}</div><div style="margin-left: 40px;">\newlifeline {mSensor} {mSensor}</div><div style="margin-left: 40px;"><br/></div><div style="margin-left: 40px;"></div><div style="margin-left: 40px;">\coldmonitor {mSensor} {motionStopped()} {office}</div><div style="margin-left: 40px;">\hotexecute {office} {setOff()} {light}</div><div style="margin-left: 40px;"><br/></div><div>\end{LSCnameddiagram}</div>
| style="border: none; vertical-align: middle;" |
[[File:Latex-LSC.jpg|200px|Compiled pgf-playgo-lsc chart]]

Figure 1 - The compiled Latex representation of the code on the left.

|}
<div></div><div><br/></div><div>Please note that the LSC.tex file must have at least one LSC diagram. Also, no Latex command should appear outside the \begin \end scope.</div>

== The Latex2PlayGo Compiler ==

The Latex2PlayGo Compiler takes the Latex charts given in the LSC.tex file and compiles them to a PlayGo LSC file named GeneratedLSC.lsc. The compiler source code is the Latex2PlayGoCompiler.java file. Executing the compiler can be done in two ways:

#Compiling the file using ''javac'' and running it with ''java''.
#In PlayGo - Right click the source file and choose "Run as > Java Application".

== Preparing the PlayGo Project ==

Before we can execcute the generated LSCs, we need to prepare the project:

#Start PlayGo by executing playgo.exe.
#Refresh the project (Select the project root and press F5).
#On the right panel you have a window called "System Model". Press the leftmost icon there (see Figure 2).
#Open GeneratedLSC.lsc.
#Here you 

= References =

<references />

The Latex to LSC Compiler

2017-05-18T20:17:52Z

Achiya:

This page explains how to write Contextul LSCs (Con-LSC) in Latex, compile them into PlayGo LSC instances, and finally execute them.

In nutshell, these are the required steps:

#Download the PlayGo Environment.
#Add Latex Con-LSCs to LSC.tex.
#Execute the Latex2PlayGo compiler.
#Import the compiled file in PlayGo and execute it.

= The PlayGo Environment =

First you need to download ([https://weizmann.box.com/s/vze4kqq5gbf01cw92lx5dwijjju1pddb here]) a PlayGo version that includes a template project and the Latex2PlayGo compiler.

After extracting the zip file you will find the following directory structure (the structure includes only directories relevant to this tutorial). Directories are marked with (D) and files with (F):
<div><span style="font-family:courier new,courier,monospace;">(D) PlayGo_4.0_19042017</span></div><div style="margin-left: 40px;"><span style="font-family:courier new,courier,monospace;">|</span></div><div style="margin-left: 40px;"><span style="font-family:courier new,courier,monospace;">(D) playgo</span></div><div style="margin-left: 80px;"><span style="font-family:courier new,courier,monospace;">|</span></div><div style="margin-left: 80px;"><span style="font-family:courier new,courier,monospace;">(F) playgo.exe</span></div><div style="margin-left: 40px;"><span style="font-family:courier new,courier,monospace;">(D) workspace</span></div><div style="margin-left: 80px;"><span style="font-family:courier new,courier,monospace;">|</span></div><div style="margin-left: 80px;"><span style="font-family:courier new,courier,monospace;">(D) Latex2Lsc</span></div><div style="margin-left: 120px;"><span style="font-family:courier new,courier,monospace;">|</span></div><div style="margin-left: 120px;"><span style="font-family:courier new,courier,monospace;">(F) LSC.tex</span></div><div style="margin-left: 120px;"><span style="font-family:courier new,courier,monospace;">(F) GeneratedLSC.lsc</span></div><div style="margin-left: 120px;"><span style="font-family:courier new,courier,monospace;">(D) src</span></div><div style="margin-left: 160px;"><span style="font-family:courier new,courier,monospace;">|</span></div><div style="margin-left: 160px;"><span style="font-family:courier new,courier,monospace;">(F) Latex2PlayGoCompiler.java</span></div>
<br/>Executin playgo.exe will start PlayGo.

== General links: ==

[https://weizmann.box.com/s/irjrbvlipdol1vm64v0kf7uju00lqzn1 PlayGo userguide].

[http://wiki.weizmann.ac.il/playgo/index.php/Main_Page PlayGo homepage] - more information and tutorials.

= Latex Con-LSC =

== The Latex Con-LSC Language ==

Our group has developed a dedicated Latex package for easily creating diagrams with a simple textual notation, and presenting them graphically.

The package, called '''pgf-playgo-lsc''', is built upon the ''pgf<ref>T. Tantau and C. Feuersnger, “pgf—Create PostScript and PDF graphics in TEX,” Version 3.01a, 08 2015. [Online]. Available: https://www.ctan.org/pkg/pgf</ref>'' and ''pgf-uml''<ref>X. Yuan, “pgf-umlsd—Draw UML Sequence Diagrams,” Version 0.7, 02 2014. [Online]. Available: https://www.ctan.org/pkg/pgf-umlsd</ref> packages. The package imlements only part of the PlayGo LSC idioms. The complete list of the supported idioms in Latex Con-LSC is given in the Latex [http://www Con-LSC package]. The language semantics is defined in the [https://weizmann.box.com/s/irjrbvlipdol1vm64v0kf7uju00lqzn1 PlayGo userguide], except for the context idioms that are given in the paper.

We present here a short example for creating an LSC chart using pgf-playgo-lsc:

{| cellspacing="1" cellpadding="1" style="border-top: 1px solid; border-left: 0px; border-right: 0px; border-bottom: 1px solid;width: 600px"
|-
| style="vertical-align: top; width: 550px; border:none;" | <div>\begin{LSCnameddiagram}</div><div style="margin-left: 80px;">[title width=p{65px}]<br/></div><div style="margin-left: 80px;">{Turn lights off when motion has stopped}</div><div style="margin-left: 80px;"><br/></div><div style="margin-left: 40px;">\newlifeline {light} {light}</div><div style="margin-left: 40px;">\newlifeline {office} {office}</div><div style="margin-left: 40px;">\newlifeline {sensor} {mSensor}</div><div style="margin-left: 40px;"><br/></div><div style="margin-left: 40px;"></div><div style="margin-left: 40px;">\coldmonitor {sensor} {motionStopped()} {office}</div><div style="margin-left: 40px;">\hotexecute {office} {setOff()} {light}</div><div style="margin-left: 40px;"><br/></div><div>\end{LSCnameddiagram}</div>
| style="border: none; vertical-align: middle;" |
[[File:Latex-LSC.jpg|200px|Compiled pgf-playgo-lsc chart]]

Figure 1 - The compiled Latex representation of the code on the left.

|}
<div></div><div><br/></div><div>Please note that the LSC.tex file must have at least one LSC diagram. Also, no Latex command should appear outside the \begin \end scope.</div>

== The Latex2PlayGo Compiler ==

The Latex2PlayGo Compiler takes the Latex charts given in the LSC.tex file and compiles them to a PlayGo LSC file named GeneratedLSC.lsc. The compiler source code is the Latex2PlayGoCompiler.java file. Executing the compiler can be done in two ways:

#Compiling the file using ''javac'' and running it with ''java''.
#In PlayGo - Right click the source file and choose "Run as > Java Application".

== Preparing the PlayGo Project ==

Before we can execcute the generated LSCs, we need to prepare the project:

#Start PlayGo by executing playgo.exe.
#Refresh the project (Select the project root and press F5).
#On the right panel you have a window called "System Model". Press the leftmost icon there (see Figure 2).
#Open GeneratedLSC.lsc.
#Here you 

= References =

<references />

The Latex to LSC Compiler

2017-05-18T20:16:25Z

Achiya:

This page explains how to write Contextul LSCs (Con-LSC) in Latex, compile them into PlayGo LSC instances, and finally execute them.

In nutshell, these are the required steps:

#Download the PlayGo Environment.
#Add Latex Con-LSCs to LSC.tex.
#Execute the Latex2PlayGo compiler.
#Import the compiled file in PlayGo and execute it.

= The PlayGo Environment =

First you need to download ([https://weizmann.box.com/s/vze4kqq5gbf01cw92lx5dwijjju1pddb here]) a PlayGo version that includes a template project and the Latex2PlayGo compiler.

After extracting the zip file you will find the following directory structure (the structure includes only directories relevant to this tutorial). Directories are marked with (D) and files with (F):
<div><span style="font-family:courier new,courier,monospace;">(D) PlayGo_4.0_19042017</span></div><div style="margin-left: 40px;"><span style="font-family:courier new,courier,monospace;">|</span></div><div style="margin-left: 40px;"><span style="font-family:courier new,courier,monospace;">(D) playgo</span></div><div style="margin-left: 80px;"><span style="font-family:courier new,courier,monospace;">|</span></div><div style="margin-left: 80px;"><span style="font-family:courier new,courier,monospace;">(F) playgo.exe</span></div><div style="margin-left: 40px;"><span style="font-family:courier new,courier,monospace;">(D) workspace</span></div><div style="margin-left: 80px;"><span style="font-family:courier new,courier,monospace;">|</span></div><div style="margin-left: 80px;"><span style="font-family:courier new,courier,monospace;">(D) Latex2Lsc</span></div><div style="margin-left: 120px;"><span style="font-family:courier new,courier,monospace;">|</span></div><div style="margin-left: 120px;"><span style="font-family:courier new,courier,monospace;">(F) LSC.tex</span></div><div style="margin-left: 120px;"><span style="font-family:courier new,courier,monospace;">(F) GeneratedLSC.lsc</span></div><div style="margin-left: 120px;"><span style="font-family:courier new,courier,monospace;">(D) src</span></div><div style="margin-left: 160px;"><span style="font-family:courier new,courier,monospace;">|</span></div><div style="margin-left: 160px;"><span style="font-family:courier new,courier,monospace;">(F) Latex2PlayGoCompiler.java</span></div>
<br/>Executin playgo.exe will start PlayGo.

== General links: ==

[https://weizmann.box.com/s/irjrbvlipdol1vm64v0kf7uju00lqzn1 PlayGo userguide].

[http://wiki.weizmann.ac.il/playgo/index.php/Main_Page PlayGo homepage] - more information and tutorials.

= Latex Con-LSC =

== The Latex Con-LSC Language ==

Our group has developed a dedicated Latex package for easily creating diagrams with a simple textual notation, and presenting them graphically.

The package, called '''pgf-playgo-lsc''', is built upon the ''pgf<ref>T. Tantau and C. Feuersnger, “pgf—Create PostScript and PDF graphics in TEX,” Version 3.01a, 08 2015. [Online]. Available: https://www.ctan.org/pkg/pgf</ref>'' and ''pgf-uml''<ref>X. Yuan, “pgf-umlsd—Draw UML Sequence Diagrams,” Version 0.7, 02 2014. [Online]. Available: https://www.ctan.org/pkg/pgf-umlsd</ref> packages. The package imlements only part of the PlayGo LSC idioms. The complete list of the supported idioms in Latex Con-LSC is given in the Latex [http://www Con-LSC package]. The language semantics is defined in the [https://weizmann.box.com/s/irjrbvlipdol1vm64v0kf7uju00lqzn1 PlayGo userguide], except for the context idioms that are given in the paper.

We present here a short example for creating an LSC chart using pgf-playgo-lsc:

{| cellspacing="1" cellpadding="1" style="border-top: 1px solid; border-left: 0px; border-right: 0px; border-bottom: 1px solid;width: 600px"
|-
| style="vertical-align: top; width: 550px; border:none;" | <div>\begin{LSCnameddiagram}</div><div style="margin-left: 80px;">[title width=p{65px}]<br/></div><div style="margin-left: 80px;">{Turn lights off when motion has stopped}</div><div style="margin-left: 80px;"><br/></div><div style="margin-left: 40px;">\newlifeline {light} {light}</div><div style="margin-left: 40px;">\newlifeline {office} {office}</div><div style="margin-left: 40px;">\newlifeline {sensor} {mSensor}</div><div style="margin-left: 40px;"><br/></div><div style="margin-left: 40px;"></div><div style="margin-left: 40px;">\coldmonitor {sensor} {motionStopped()} {office}</div><div style="margin-left: 40px;">\hotexecute {office} {setOff()} {light}</div><div style="margin-left: 40px;"><br/></div><div>\end{LSCnameddiagram}</div>
| style="border: none; vertical-align: middle;" |
[[File:Latex-LSC.jpg|200px|Compiled pgf-playgo-lsc chart]]

|}
<div></div><div><br/></div><div>Please note that the LSC.tex file must have at least one LSC diagram. Also, no Latex command should appear outside the \begin \end scope.</div>

== The Latex2PlayGo Compiler ==

The Latex2PlayGo Compiler takes the Latex charts given in the LSC.tex file and compiles them to a PlayGo LSC file named GeneratedLSC.lsc. The compiler source code is the Latex2PlayGoCompiler.java file. Executing the compiler can be done in two ways:

#Compiling the file using ''javac'' and running it with ''java''.
#In PlayGo - Right click the source file and choose "Run as > Java Application".

== Preparing the PlayGo Project ==

Before we can execcute the generated LSCs, we need to prepare the project:

#Start PlayGo by executing playgo.exe.
#Refresh the project (Select the project root and press F5).
#On the right panel you have a window called "System Model". Press the leftmost icon there (see Figure 2).
#Open GeneratedLSC.lsc.
#Here you 

= References =

<references />

The Latex to LSC Compiler

2017-05-18T20:12:43Z

Achiya:

This page explains how to write Contextul LSCs (Con-LSC) in Latex, compile them into PlayGo LSC instances, and finally execute them.

In nutshell, these are the required steps:

#Download the PlayGo Environment.
#Add Latex Con-LSCs to LSC.tex.
#Execute the Latex2PlayGo compiler.
#Import the compiled file in PlayGo and execute it.

= The PlayGo Environment =

First you need to download ([https://weizmann.box.com/s/vze4kqq5gbf01cw92lx5dwijjju1pddb here]) a PlayGo version that includes a template project and the Latex2PlayGo compiler.

After extracting the zip file you will find the following directory structure (the structure includes only directories relevant to this tutorial). Directories are marked with (D) and files with (F):
<div><span style="font-family:courier new,courier,monospace;">(D) PlayGo_4.0_19042017</span></div><div style="margin-left: 40px;"><span style="font-family:courier new,courier,monospace;">|</span></div><div style="margin-left: 40px;"><span style="font-family:courier new,courier,monospace;">(D) playgo</span></div><div style="margin-left: 80px;"><span style="font-family:courier new,courier,monospace;">|</span></div><div style="margin-left: 80px;"><span style="font-family:courier new,courier,monospace;">(F) playgo.exe</span></div><div style="margin-left: 40px;"><span style="font-family:courier new,courier,monospace;">(D) workspace</span></div><div style="margin-left: 80px;"><span style="font-family:courier new,courier,monospace;">|</span></div><div style="margin-left: 80px;"><span style="font-family:courier new,courier,monospace;">(D) Latex2Lsc</span></div><div style="margin-left: 120px;"><span style="font-family:courier new,courier,monospace;">|</span></div><div style="margin-left: 120px;"><span style="font-family:courier new,courier,monospace;">(F) LSC.tex</span></div><div style="margin-left: 120px;"><span style="font-family:courier new,courier,monospace;">(F) GeneratedLSC.lsc</span></div><div style="margin-left: 120px;"><span style="font-family:courier new,courier,monospace;">(D) src</span></div><div style="margin-left: 160px;"><span style="font-family:courier new,courier,monospace;">|</span></div><div style="margin-left: 160px;"><span style="font-family:courier new,courier,monospace;">(F) Latex2PlayGoCompiler.java</span></div>
<br/>Executin playgo.exe will start PlayGo.

== General links: ==

[https://weizmann.box.com/s/irjrbvlipdol1vm64v0kf7uju00lqzn1 PlayGo userguide].

[http://wiki.weizmann.ac.il/playgo/index.php/Main_Page PlayGo homepage] - more information and tutorials.

= Latex Con-LSC =

== The Latex Con-LSC Language ==

Our group has developed a dedicated Latex package for easily creating diagrams with a simple textual notation, and presenting them graphically.

The package, called '''pgf-playgo-lsc''', is built upon the ''pgf<ref>T. Tantau and C. Feuersnger, “pgf—Create PostScript and PDF graphics in TEX,” Version 3.01a, 08 2015. [Online]. Available: https://www.ctan.org/pkg/pgf</ref>'' and ''pgf-uml''<ref>X. Yuan, “pgf-umlsd—Draw UML Sequence Diagrams,” Version 0.7, 02 2014. [Online]. Available: https://www.ctan.org/pkg/pgf-umlsd</ref> packages. The package imlements only part of the PlayGo LSC idioms. The complete list of the supported idioms in Latex Con-LSC is given in the Latex [http://www Con-LSC package]. The language semantics is defined in the [https://weizmann.box.com/s/irjrbvlipdol1vm64v0kf7uju00lqzn1 PlayGo userguide], except for the context idioms that are given in the paper.

We present here a short example for creating an LSC chart using pgf-playgo-lsc:

{| cellspacing="1" cellpadding="1" style="border-top: 1px solid; border-left: 0px; border-right: 0px; border-bottom: 1px solid;width: 600px"
|-
| style="vertical-align: top; width: 550px; border:none;" | <div>\begin{LSCnameddiagram}</div><div style="margin-left: 80px;">[title width=p{65px}]<br/></div><div style="margin-left: 80px;">{Turn lights off when motion has stopped}</div><div style="margin-left: 80px;"><br/></div><div style="margin-left: 40px;">\newlifeline {light} {light}</div><div style="margin-left: 40px;">\newlifeline {office} {office}</div><div style="margin-left: 40px;">\newlifeline {sensor} {mSensor}</div><div style="margin-left: 40px;"><br/></div><div style="margin-left: 40px;"></div><div style="margin-left: 40px;">\coldmonitor {sensor} {motionStopped()} {office}</div><div style="margin-left: 40px;">\hotexecute {office} {setOff()} {light}</div><div style="margin-left: 40px;"><br/></div><div>\end{LSCnameddiagram}</div>
| style="border: none; vertical-align: middle;" |
[[File:Latex-LSC.jpg|200px|Compiled pgf-playgo-lsc chart]]

|}
<div></div><div><br/></div><div>Please note that the LSC.tex file must have at least one LSC diagram. Also, no Latex command should appear outside the \begin \end scope.</div>

== The Latex2PlayGo Compiler ==

The Latex2PlayGo Compiler takes the Latex charts given in the LSC.tex file and compiles them to a PlayGo LSC file named GeneratedLSC.lsc. The compiler source code is the Latex2PlayGoCompiler.java file. Executing the compiler can be done in two ways:

#Compiling the file using ''javac'' and running it with ''java''.
#In PlayGo - Right click the source file and choose "Run as > Java Application".

== Preparing the PlayGo Project ==

Before we can execcute the generated LSCs, we need to prepare the project:

#Start PlayGo by executing playgo.exe.
#Refresh the project (Select the project root and press F5).
#On the right panel you have a window called "System Model". Make sure it is selected
#Open GeneratedLSC.lsc.
#Here you 

= References =

<references />

The Latex to LSC Compiler

2017-05-18T17:52:24Z

Achiya:

This page explains how to write Contextul LSCs (Con-LSC) in Latex, compile them into PlayGo LSC instances, and finally execute them.

In nutshell, these are the required steps:

#Download the PlayGo Environment.
#Add Latex Con-LSCs to LSC.tex.
#Execute the Latex2PlayGo compiler.
#Import the compiled file in PlayGo and execute it.

= The PlayGo Environment =

First you need to download ([https://weizmann.box.com/s/vze4kqq5gbf01cw92lx5dwijjju1pddb here]) a PlayGo version that includes a template project and the Latex2PlayGo compiler.

After extracting the zip file you will find the following directory structure (the structure includes only directories relevant to this tutorial). Directories are marked with (D) and files with (F):
<div><span style="font-family:courier new,courier,monospace;">(D) PlayGo_4.0_19042017</span></div><div style="margin-left: 40px;"><span style="font-family:courier new,courier,monospace;">|</span></div><div style="margin-left: 40px;"><span style="font-family:courier new,courier,monospace;">(D) playgo</span></div><div style="margin-left: 80px;"><span style="font-family:courier new,courier,monospace;">|</span></div><div style="margin-left: 80px;"><span style="font-family:courier new,courier,monospace;">(F) playgo.exe</span></div><div style="margin-left: 40px;"><span style="font-family:courier new,courier,monospace;">(D) workspace</span></div><div style="margin-left: 80px;"><span style="font-family:courier new,courier,monospace;">|</span></div><div style="margin-left: 80px;"><span style="font-family:courier new,courier,monospace;">(D) Latex2Lsc</span></div><div style="margin-left: 120px;"><span style="font-family:courier new,courier,monospace;">|</span></div><div style="margin-left: 120px;"><span style="font-family:courier new,courier,monospace;">(F) LSC.tex</span></div><div style="margin-left: 120px;"><span style="font-family:courier new,courier,monospace;">(F) GeneratedLSC.lsc</span></div><div style="margin-left: 120px;"><span style="font-family:courier new,courier,monospace;">(D) src</span></div><div style="margin-left: 160px;"><span style="font-family:courier new,courier,monospace;">|</span></div><div style="margin-left: 160px;"><span style="font-family:courier new,courier,monospace;">(F) Latex2PlayGoCompiler.java</span></div>
<br/>Executin playgo.exe will start PlayGo.

== General links: ==

[https://weizmann.box.com/s/irjrbvlipdol1vm64v0kf7uju00lqzn1 PlayGo userguide].

[http://wiki.weizmann.ac.il/playgo/index.php/Main_Page PlayGo homepage] - more information and tutorials.

= Latex Con-LSC =

== The Latex Con-LSC Language ==

Our group has developed a dedicated Latex package for easily creating diagrams with a simple textual notation, and presenting them graphically.

The package, called '''pgf-playgo-lsc''', is built upon the ''pgf<ref>T. Tantau and C. Feuersnger, “pgf—Create PostScript and PDF graphics in TEX,” Version 3.01a, 08 2015. [Online]. Available: https://www.ctan.org/pkg/pgf</ref>'' and ''pgf-uml''<ref>X. Yuan, “pgf-umlsd—Draw UML Sequence Diagrams,” Version 0.7, 02 2014. [Online]. Available: https://www.ctan.org/pkg/pgf-umlsd</ref> packages. The package imlements only part of the PlayGo LSC idioms. The complete list of the supported idioms in Latex Con-LSC is given in the Latex [http://www Con-LSC package]. The language semantics is defined in the [https://weizmann.box.com/s/irjrbvlipdol1vm64v0kf7uju00lqzn1 PlayGo userguide], except for the context idioms that are given in the paper.

We present here a short example for creating an LSC chart using pgf-playgo-lsc:

{| cellspacing="1" cellpadding="1" style="border-top: 1px solid; border-left: 0px; border-right: 0px; border-bottom: 1px solid;width: 600px"
|-
| style="vertical-align: top; width: 550px; border:none;" | <div>\begin{LSCnameddiagram}</div><div style="margin-left: 80px;">[title width=p{65px}]<br/></div><div style="margin-left: 80px;">{Turn lights off when motion has stopped}</div><div style="margin-left: 80px;"><br/></div><div style="margin-left: 40px;">\newlifeline {light} {light}</div><div style="margin-left: 40px;">\newlifeline {office} {office}</div><div style="margin-left: 40px;">\newlifeline {sensor} {mSensor}</div><div style="margin-left: 40px;"><br/></div><div style="margin-left: 40px;"></div><div style="margin-left: 40px;">\coldmonitor {sensor} {motionStopped()} {office}</div><div style="margin-left: 40px;">\hotexecute {office} {setOff()} {light}</div><div style="margin-left: 40px;"><br/></div><div>\end{LSCnameddiagram}</div>
| style="border: none; vertical-align: middle;" |
[[File:Latex-LSC.jpg|200px|Compiled pgf-playgo-lsc chart]]

|}
<div></div><div><br/></div><div>Please note that the LSC.tex file must have at least one LSC diagram. Also, no Latex command should appear outside the \begin \end scope.</div>

== The Latex2PlayGo Compiler ==

The Latex2PlayGo Compiler takes the Latex charts given in the LSC.tex file and compiles them to a PlayGo LSC file named GeneratedLSC.lsc. The compiler source code is the Latex2PlayGoCompiler.java file. Executing the compiler can be done in two ways:

#Compiling the file using ''javac'' and running it with ''java''.
#In PlayGo - Right click the source file and choose "Run as > Java Application".

== Preparing the PlayGo Project ==

Before we can execcute the generated LSCs, we need to prepare the project:

#

= References =

<references />

The Latex to LSC Compiler

2017-05-18T17:51:26Z

Achiya:

This page explains how to write Contextul LSCs (Con-LSC) in Latex, compile them into PlayGo LSC instances, and finally execute them.

In nutshell, these are the required steps:

#Download the PlayGo Environment.
#Add Latex Con-LSCs to LSC.tex.
#Execute the Latex2PlayGo compiler.
#Import the compiled file in PlayGo and execute it.

= The PlayGo Environment =

First you need to download ([https://weizmann.box.com/s/vze4kqq5gbf01cw92lx5dwijjju1pddb here]) a PlayGo version that includes a template project and the Latex2PlayGo compiler.

After extracting the zip file you will find the following directory structure (the structure includes only directories relevant to this tutorial). Directories are marked with (D) and files with (F):
<div><span style="font-family:courier new,courier,monospace;">(D) PlayGo_4.0_19042017</span></div><div style="margin-left: 40px;"><span style="font-family:courier new,courier,monospace;">|</span></div><div style="margin-left: 40px;"><span style="font-family:courier new,courier,monospace;">(D) playgo</span></div><div style="margin-left: 80px;"><span style="font-family:courier new,courier,monospace;">|</span></div><div style="margin-left: 80px;"><span style="font-family:courier new,courier,monospace;">(F) playgo.exe</span></div><div style="margin-left: 40px;"><span style="font-family:courier new,courier,monospace;">(D) workspace</span></div><div style="margin-left: 80px;"><span style="font-family:courier new,courier,monospace;">|</span></div><div style="margin-left: 80px;"><span style="font-family:courier new,courier,monospace;">(D) Latex2Lsc</span></div><div style="margin-left: 120px;"><span style="font-family:courier new,courier,monospace;">|</span></div><div style="margin-left: 120px;"><span style="font-family:courier new,courier,monospace;">(F) LSC.tex</span></div><div style="margin-left: 120px;"><span style="font-family:courier new,courier,monospace;">(F) GeneratedLSC.lsc</span></div><div style="margin-left: 120px;"><span style="font-family:courier new,courier,monospace;">(D) src</span></div><div style="margin-left: 160px;"><span style="font-family:courier new,courier,monospace;">|</span></div><div style="margin-left: 160px;"><span style="font-family:courier new,courier,monospace;">(F) Latex2PlayGoCompiler.java</span></div>
<br/>Executin playgo.exe will start PlayGo.

== General links: ==

[https://weizmann.box.com/s/irjrbvlipdol1vm64v0kf7uju00lqzn1 PlayGo userguide].

[http://wiki.weizmann.ac.il/playgo/index.php/Main_Page PlayGo homepage] - more information and tutorials.

= Latex Con-LSC =

== The Latex Con-LSC Language ==

Our group has developed a dedicated Latex package for easily creating diagrams with a simple textual notation, and presenting them graphically.

The package, called '''pgf-playgo-lsc''', is built upon the ''pgf<ref>T. Tantau and C. Feuersnger, “pgf—Create PostScript and PDF graphics in TEX,” Version 3.01a, 08 2015. [Online]. Available: https://www.ctan.org/pkg/pgf</ref>'' and ''pgf-uml''<ref>X. Yuan, “pgf-umlsd—Draw UML Sequence Diagrams,” Version 0.7, 02 2014. [Online]. Available: https://www.ctan.org/pkg/pgf-umlsd</ref> packages. The package imlements only part of the PlayGo LSC idioms. The complete list of the supported idioms in Latex Con-LSC is given in the Latex [http://www Con-LSC package]. The language semantics is defined in the [https://weizmann.box.com/s/irjrbvlipdol1vm64v0kf7uju00lqzn1 PlayGo userguide], except for the context idioms that are given in the paper.

We present here a short example for creating an LSC chart using pgf-playgo-lsc:

{| cellspacing="1" cellpadding="1" style="border-top: 1px solid; border-left: 0px; border-right: 0px; border-bottom: 1px solid;width: 600px"
|-
| style="vertical-align: top; width: 550px; border:none;" | <div>\begin{LSCnameddiagram}</div><div style="margin-left: 80px;">[title width=p{65px}]<br/></div><div style="margin-left: 80px;">{Turn lights off when motion has stopped}</div><div style="margin-left: 80px;"><br/></div><div style="margin-left: 40px;">\newlifeline {light} {light}</div><div style="margin-left: 40px;">\newlifeline {office} {office}</div><div style="margin-left: 40px;">\newlifeline {sensor} {mSensor}</div><div style="margin-left: 40px;"><br/></div><div style="margin-left: 40px;"></div><div style="margin-left: 40px;">\coldmonitor {sensor} {motionStopped()} {office}</div><div style="margin-left: 40px;">\hotexecute {office} {setOff()} {light}</div><div style="margin-left: 40px;"><br/></div><div>\end{LSCnameddiagram}</div>
| style="border: none; vertical-align: middle;" |
[[File:Latex-LSC.jpg|200px|Compiled pgf-playgo-lsc chart]]

|}
<div></div><div><br/></div><div>Please note that the LSC.tex file must have at least one LSC diagram. Also, no Latex command should appear outside the \begin \end.</div>

== The Latex2PlayGo Compiler ==

The Latex2PlayGo Compiler takes the Latex charts given in the LSC.tex file and compiles them to a PlayGo LSC file named GeneratedLSC.lsc. The compiler source code is the Latex2PlayGoCompiler.java file. Executing the compiler can be done in two ways:

#Compiling the file using ''javac'' and running it with ''java''.
#In PlayGo - Right click the source file and choose "Run as > Java Application".

== Preparing the PlayGo Project ==

Before we can execcute the generated LSCs, we need to prepare the project:

#

= References =

<references />

The Latex to LSC Compiler

2017-05-18T17:48:27Z

Achiya:

This page explains how to write Contextul LSCs (Con-LSC) in Latex, compile them into PlayGo LSC instances, and finally execute them.

In nutshell, these are the required steps:

#Download the PlayGo Environment.
#Add Latex Con-LSCs to LSC.tex.
#Execute the Latex2PlayGo compiler.
#Import the compiled file in PlayGo and execute it.

= The PlayGo Environment =

First you need to download ([https://weizmann.box.com/s/vze4kqq5gbf01cw92lx5dwijjju1pddb here]) a PlayGo version that includes a template project and the Latex2PlayGo compiler.

After extracting the zip file you will find the following directory structure (the structure includes only directories relevant to this tutorial). Directories are marked with (D) and files with (F):
<div><span style="font-family:courier new,courier,monospace;">(D) PlayGo_4.0_19042017</span></div><div style="margin-left: 40px;"><span style="font-family:courier new,courier,monospace;">|</span></div><div style="margin-left: 40px;"><span style="font-family:courier new,courier,monospace;">(D) playgo</span></div><div style="margin-left: 80px;"><span style="font-family:courier new,courier,monospace;">|</span></div><div style="margin-left: 80px;"><span style="font-family:courier new,courier,monospace;">(F) playgo.exe</span></div><div style="margin-left: 40px;"><span style="font-family:courier new,courier,monospace;">(D) workspace</span></div><div style="margin-left: 80px;"><span style="font-family:courier new,courier,monospace;">|</span></div><div style="margin-left: 80px;"><span style="font-family:courier new,courier,monospace;">(D) Latex2Lsc</span></div><div style="margin-left: 120px;"><span style="font-family:courier new,courier,monospace;">|</span></div><div style="margin-left: 120px;"><span style="font-family:courier new,courier,monospace;">(F) LSC.tex</span></div><div style="margin-left: 120px;"><span style="font-family:courier new,courier,monospace;">(F) GeneratedLSC.lsc</span></div><div style="margin-left: 120px;"><span style="font-family:courier new,courier,monospace;">(D) src</span></div><div style="margin-left: 160px;"><span style="font-family:courier new,courier,monospace;">|</span></div><div style="margin-left: 160px;"><span style="font-family:courier new,courier,monospace;">(F) Latex2PlayGoCompiler.java</span></div>
<br/>Executin playgo.exe will start PlayGo.

== General links: ==

[https://weizmann.box.com/s/irjrbvlipdol1vm64v0kf7uju00lqzn1 PlayGo userguide].

[http://wiki.weizmann.ac.il/playgo/index.php/Main_Page PlayGo homepage] - more information and tutorials.

= Latex Con-LSC =

== The Latex Con-LSC Language ==

Our group has developed a dedicated Latex package for easily creating diagrams with a simple textual notation, and presenting them graphically.

The package, called '''pgf-playgo-lsc''', is built upon the ''pgf<ref>T. Tantau and C. Feuersnger, “pgf—Create PostScript and PDF graphics in TEX,” Version 3.01a, 08 2015. [Online]. Available: https://www.ctan.org/pkg/pgf</ref>'' and ''pgf-uml''<ref>X. Yuan, “pgf-umlsd—Draw UML Sequence Diagrams,” Version 0.7, 02 2014. [Online]. Available: https://www.ctan.org/pkg/pgf-umlsd</ref> packages. The package imlements only part of the PlayGo LSC idioms. The complete list of the supported idioms in Latex Con-LSC is given in the Latex [http://www Con-LSC package]. The language semantics is defined in the [https://weizmann.box.com/s/irjrbvlipdol1vm64v0kf7uju00lqzn1 PlayGo userguide], except for the context idioms that are given in the paper.

We present here a short example for creating an LSC chart using pgf-playgo-lsc:

{| cellspacing="1" cellpadding="1" style="border-top: 1px solid; border-left: 0px; border-right: 0px; border-bottom: 1px solid;width: 600px"
|-
| style="vertical-align: top; width: 550px; border:none;" | <div>\begin{LSCnameddiagram}</div><div style="margin-left: 80px;">[title width=p{65px}]<br/></div><div style="margin-left: 80px;">{Turn lights off when motion has stopped}</div><div style="margin-left: 80px;"><br/></div><div style="margin-left: 40px;">\newlifeline {light} {light}</div><div style="margin-left: 40px;">\newlifeline {office} {office}</div><div style="margin-left: 40px;">\newlifeline {sensor} {mSensor}</div><div style="margin-left: 40px;"><br/></div><div style="margin-left: 40px;"></div><div style="margin-left: 40px;">\coldmonitor {sensor} {motionStopped()} {office}</div><div style="margin-left: 40px;">\hotexecute {office} {setOff()} {light}</div><div style="margin-left: 40px;"><br/></div><div>\end{LSCnameddiagram}</div>
| style="border: none; vertical-align: middle;" |
[[File:Latex-LSC.jpg|200px|Compiled pgf-playgo-lsc chart]]

|}
<div></div>
== The Latex2PlayGo Compiler ==

The Latex2PlayGo Compiler takes the Latex charts given in the LSC.tex file and compiles them to a PlayGo LSC file named GeneratedLSC.lsc. The compiler source code is the Latex2PlayGoCompiler.java file. Executing the compiler can be done in two ways:

#Compiling the file using ''javac'' and running it with ''java''.
#In PlayGo - Right click the source file and choose "Run as > Java Application".

== Preparing the PlayGo Project ==

Before we can execcute the generated LSCs, we need to prepare the project:

#

= References =

<references />

The Latex to LSC Compiler

2017-05-18T17:43:07Z

Achiya:

This page explains how to write Contextul LSCs (Con-LSC) in Latex, compile them into PlayGo LSC instances, and finally execute them.

In nutshell, these are the required steps:

#Download the PlayGo Environment.
#Add Latex Con-LSCs to LSC.tex.
#Execute the Latex2PlayGo compiler.
#Import the compiled file in PlayGo and execute it.

= The PlayGo Environment =

First you need to download ([https://weizmann.box.com/s/vze4kqq5gbf01cw92lx5dwijjju1pddb here]) a PlayGo version that includes a template project and the Latex2PlayGo compiler.

After extracting the zip file you will find the following directory structure (the structure includes only directories relevant to this tutorial). Directories are marked with (D) and files with (F):
<div><span style="font-family:courier new,courier,monospace;">(D) PlayGo_4.0_19042017</span></div><div style="margin-left: 40px;"><span style="font-family:courier new,courier,monospace;">|</span></div><div style="margin-left: 40px;"><span style="font-family:courier new,courier,monospace;">(D) playgo</span></div><div style="margin-left: 80px;"><span style="font-family:courier new,courier,monospace;">|</span></div><div style="margin-left: 80px;"><span style="font-family:courier new,courier,monospace;">(F) playgo.exe</span></div><div style="margin-left: 40px;"><span style="font-family:courier new,courier,monospace;">(D) workspace</span></div><div style="margin-left: 80px;"><span style="font-family:courier new,courier,monospace;">|</span></div><div style="margin-left: 80px;"><span style="font-family:courier new,courier,monospace;">(D) Latex2Lsc</span></div><div style="margin-left: 120px;"><span style="font-family:courier new,courier,monospace;">|</span></div><div style="margin-left: 120px;"><span style="font-family:courier new,courier,monospace;">(F) LSC.tex</span></div><div style="margin-left: 120px;"><span style="font-family:courier new,courier,monospace;">(F) GeneratedLSC.lsc</span></div><div style="margin-left: 120px;"><span style="font-family:courier new,courier,monospace;">(D) src</span></div><div style="margin-left: 160px;"><span style="font-family:courier new,courier,monospace;">|</span></div><div style="margin-left: 160px;"><span style="font-family:courier new,courier,monospace;">(F) Latex2PlayGoCompiler.java</span></div>
<br/>Executin playgo.exe will start PlayGo.

== General links: ==

[https://weizmann.box.com/s/irjrbvlipdol1vm64v0kf7uju00lqzn1 PlayGo userguide].

[http://wiki.weizmann.ac.il/playgo/index.php/Main_Page PlayGo homepage] - more information and tutorials.

= Latex Con-LSC =

== The Latex Con-LSC Language ==

Our group has developed a dedicated Latex package for easily creating diagrams with a simple textual notation, and presenting them graphically.

The package, called '''pgf-playgo-lsc''', is built upon the ''pgf<ref>T. Tantau and C. Feuersnger, “pgf—Create PostScript and PDF graphics in TEX,” Version 3.01a, 08 2015. [Online]. Available: https://www.ctan.org/pkg/pgf</ref>'' and ''pgf-uml''<ref>X. Yuan, “pgf-umlsd—Draw UML Sequence Diagrams,” Version 0.7, 02 2014. [Online]. Available: https://www.ctan.org/pkg/pgf-umlsd</ref> packages. The package imlements only part of the PlayGo LSC idioms. The complete list of the supported idioms in Latex Con-LSC is given in the Latex [http://www Con-LSC package]. The language semantics is defined in the [https://weizmann.box.com/s/irjrbvlipdol1vm64v0kf7uju00lqzn1 PlayGo userguide], except for the context idioms that are given in the paper.

We present here a short example for creating an LSC chart using pgf-playgo-lsc:

{| cellspacing="1" cellpadding="1" style="border-top: 1px solid; border-left: 0px; border-right: 0px; border-bottom: 1px solid;width: 600px"
|-
| style="vertical-align: top; width: 550px; border:none;" | <div>\begin{LSCnameddiagram}</div><div style="margin-left: 80px;">[title width=p{65px}]<br/></div><div style="margin-left: 80px;">{Turn lights off when motion has stopped}</div><div style="margin-left: 80px;"><br/></div><div style="margin-left: 40px;">\newlifeline {light} {light}</div><div style="margin-left: 40px;">\newlifeline {office} {office}</div><div style="margin-left: 40px;">\newlifeline {sensor} {mSensor}</div><div style="margin-left: 40px;"><br/></div><div style="margin-left: 40px;"></div><div style="margin-left: 40px;">\coldmonitor {sensor} {motionStopped()} {office}</div><div style="margin-left: 40px;">\hotexecute {office} {setOff()} {light}</div><div style="margin-left: 40px;"><br/></div><div>\end{LSCnameddiagram}</div>
| style="border: none; vertical-align: middle;" |
[[File:Latex-LSC.jpg|200px|Compiled pgf-playgo-lsc chart]]

|}
<div></div>
== The Latex2PlayGo Compiler ==

The Latex2PlayGo Compiler takes the Latex charts given in the LSC.tex file and compiles them to a PlayGo LSC file named GeneratedLSC.lsc.

== Preparing the PlayGo Project ==

Before we can execcute the generated LSCs, we need to prepare the project:

#

= References =

<references />

The Latex to LSC Compiler

2017-05-18T17:42:22Z

Achiya:

This page explains how to write Contextul LSCs (Con-LSC) in Latex, compile them into PlayGo LSC instances, and finally execute them.

In nutshell, these are the required steps:

#Download the PlayGo Environment.
#Add Latex Con-LSCs to LSC.tex.
#Execute the Latex2PlayGo compiler.
#Import the compiled file in PlayGo and execute it.

= The PlayGo Environment =

First you need to download ([https://weizmann.box.com/s/vze4kqq5gbf01cw92lx5dwijjju1pddb here]) a PlayGo version that includes a template project and the Latex2PlayGo compiler.

After extracting the zip file you will find the following directory structure (the structure includes only directories relevant to this tutorial). Directories are marked with (D) and files with (F):
<div><span style="font-family:courier new,courier,monospace;">(D) PlayGo_4.0_19042017</span></div><div style="margin-left: 40px;"><span style="font-family:courier new,courier,monospace;">|</span></div><div style="margin-left: 40px;"><span style="font-family:courier new,courier,monospace;">(D) playgo</span></div><div style="margin-left: 80px;"><span style="font-family:courier new,courier,monospace;">|</span></div><div style="margin-left: 80px;"><span style="font-family:courier new,courier,monospace;">(F) playgo.exe</span></div><div style="margin-left: 40px;"><span style="font-family:courier new,courier,monospace;">(D) workspace</span></div><div style="margin-left: 80px;"><span style="font-family:courier new,courier,monospace;">|</span></div><div style="margin-left: 80px;"><span style="font-family:courier new,courier,monospace;">(D) Latex2Lsc</span></div><div style="margin-left: 120px;"><span style="font-family:courier new,courier,monospace;">|</span></div><div style="margin-left: 120px;"><span style="font-family:courier new,courier,monospace;">(F) LSC.tex</span></div><div style="margin-left: 120px;"><span style="font-family:courier new,courier,monospace;">(F) GeneratedLSC.lsc</span></div><div style="margin-left: 120px;"><span style="font-family:courier new,courier,monospace;">(D) src</span></div><div style="margin-left: 160px;"><span style="font-family:courier new,courier,monospace;">|</span></div><div style="margin-left: 160px;"><span style="font-family:courier new,courier,monospace;">(F) Latex2PlayGoCompiler.java</span></div>
<br/>Executin playgo.exe will start PlayGo.

== General links: ==

[https://weizmann.box.com/s/irjrbvlipdol1vm64v0kf7uju00lqzn1 PlayGo userguide].

[http://wiki.weizmann.ac.il/playgo/index.php/Main_Page PlayGo homepage] - more information and tutorials.

= Latex Con-LSC =

== The Latex Con-LSC Language ==

Our group has developed a dedicated Latex package for easily creating diagrams with a simple textual notation, and presenting them graphically.

The package, called '''pgf-playgo-lsc''', is built upon the ''pgf<ref>T. Tantau and C. Feuersnger, “pgf—Create PostScript and PDF graphics in TEX,” Version 3.01a, 08 2015. [Online]. Available: https://www.ctan.org/pkg/pgf</ref>'' and ''pgf-uml''<ref>X. Yuan, “pgf-umlsd—Draw UML Sequence Diagrams,” Version 0.7, 02 2014. [Online]. Available: https://www.ctan.org/pkg/pgf-umlsd</ref> packages. The package imlements only part of the PlayGo LSC idioms. The complete list of the supported idioms in Latex Con-LSC is given in the Latex [http://www Con-LSC package]. The language semantics is defined in the [https://weizmann.box.com/s/irjrbvlipdol1vm64v0kf7uju00lqzn1 PlayGo userguide], except for the context idioms that are given in the paper.

We present here a short example for creating an LSC chart using pgf-playgo-lsc:

{| cellspacing="1" cellpadding="1" style="border-top: 1px solid; border-left: 0px; border-right: 0px; border-bottom: 1px solid;width: 600px"
|-
| style="vertical-align: top; width: 550px; border:none;" | <div>\begin{LSCnameddiagram}</div><div style="margin-left: 80px;">[title width=p{65px}]<br/></div><div style="margin-left: 80px;">{Turn lights off when motion has stopped}</div><div style="margin-left: 80px;"><br/></div><div style="margin-left: 40px;">\newlifeline {light} {light}</div><div style="margin-left: 40px;">\newlifeline {office} {office}</div><div style="margin-left: 40px;">\newlifeline {sensor} {mSensor}</div><div style="margin-left: 40px;"><br/></div><div style="margin-left: 40px;"></div><div style="margin-left: 40px;">\coldmonitor {sensor} {motionStopped()} {office}</div><div style="margin-left: 40px;">\hotexecute {office} {setOff()} {light}</div><div style="margin-left: 40px;"><br/></div><div>\end{LSCnameddiagram}</div>
| style="border: none; vertical-align: middle;" |
[[File:Latex-LSC.jpg|200px|Compiled pgf-playgo-lsc chart]]

|}
<div></div>
== The Latex2PlayGo Compiler ==

The Latex2PlayGo Compiler takes the Latex charts given in the LSC.tex file and compiles them to a PlayGo LSC file named GeneratedLSC.lsc.

<parsererror style="display: block; white-space: pre; border: 2px solid #c77; padding: 0 1em 0 1em; margin: 1em; background-color: #fdd; color: black">
=== This page contains the following errors: ===
<div style="font-family:monospace;font-size:12px">error on line 1 at column 214: attributes construct error </div>
=== Below is a rendering of the page up to the first error. ===
</parsererror>
== Preparing the PlayGo Project ==

Before we can execcute the generated LSCs, we need to prepare the project:

#

= References =

<references />

The Latex to LSC Compiler

2017-05-18T17:35:39Z

Achiya:

This page explains how to write Contextul LSCs (Con-LSC) in Latex, compile them into PlayGo LSC instances, and finally execute them.

In nutshell, these are the required steps:

#Download the PlayGo Environment.
#Add Latex Con-LSCs to LSC.tex.
#Execute the Latex2PlayGo compiler.
#Import the compiled file in PlayGo and execute it.

= The PlayGo Environment =

First you need to download ([https://weizmann.box.com/s/vze4kqq5gbf01cw92lx5dwijjju1pddb here]) a PlayGo version that includes a template project and the Latex2PlayGo compiler.

After extracting the zip file you will find the following directory structure (the structure includes only directories relevant to this tutorial). Directories are marked with (D) and files with (F):
<div><span style="font-family:courier new,courier,monospace;">(D) PlayGo_4.0_19042017</span></div><div style="margin-left: 40px;"><span style="font-family:courier new,courier,monospace;">|</span></div><div style="margin-left: 40px;"><span style="font-family:courier new,courier,monospace;">(D) playgo</span></div><div style="margin-left: 80px;"><span style="font-family:courier new,courier,monospace;">|</span></div><div style="margin-left: 80px;"><span style="font-family:courier new,courier,monospace;">(F) playgo.exe</span></div><div style="margin-left: 40px;"><span style="font-family:courier new,courier,monospace;">(D) workspace</span></div><div style="margin-left: 80px;"><span style="font-family:courier new,courier,monospace;">|</span></div><div style="margin-left: 80px;"><span style="font-family:courier new,courier,monospace;">(D) Latex2Lsc</span></div><div style="margin-left: 120px;"><span style="font-family:courier new,courier,monospace;">|</span></div><div style="margin-left: 120px;"><span style="font-family:courier new,courier,monospace;">(F) LSC.tex</span></div><div style="margin-left: 120px;"><span style="font-family:courier new,courier,monospace;">(F) GeneratedLSC.lsc</span></div><div style="margin-left: 120px;"><span style="font-family:courier new,courier,monospace;">(D) src</span></div><div style="margin-left: 160px;"><span style="font-family:courier new,courier,monospace;">|</span></div><div style="margin-left: 160px;"><span style="font-family:courier new,courier,monospace;">(F) Latex2PlayGoCompiler.java</span></div>
<br/>Executin playgo.exe will start PlayGo.

== General links: ==

[https://weizmann.box.com/s/irjrbvlipdol1vm64v0kf7uju00lqzn1 PlayGo userguide].

[http://wiki.weizmann.ac.il/playgo/index.php/Main_Page PlayGo homepage] - more information and tutorials.

= Latex Con-LSC =

== The Latex Con-LSC Language ==

Our group has developed a dedicated Latex package for easily creating diagrams with a simple textual notation, and presenting them graphically.

The package, called '''pgf-playgo-lsc''', is built upon the ''pgf<ref>T. Tantau and C. Feuersnger, “pgf—Create PostScript and PDF graphics in TEX,” Version 3.01a, 08 2015. [Online]. Available: https://www.ctan.org/pkg/pgf</ref>'' and ''pgf-uml''<ref>X. Yuan, “pgf-umlsd—Draw UML Sequence Diagrams,” Version 0.7, 02 2014. [Online]. Available: https://www.ctan.org/pkg/pgf-umlsd</ref> packages. The package imlements only part of the PlayGo LSC idioms. The complete list of the supported idioms in Latex Con-LSC is given in the Latex [http://www Con-LSC package]. The language semantics is defined in the [https://weizmann.box.com/s/irjrbvlipdol1vm64v0kf7uju00lqzn1 PlayGo userguide], except for the context idioms that are given in the paper.

We present here a short example for creating an LSC chart using pgf-playgo-lsc:

{| cellspacing="1" cellpadding="1" style="border-top: 1px solid; border-left: 0px; border-right: 0px; border-bottom: 1px solid;width: 600px"
|-
| style="vertical-align: top; width: 550px; border:none;" | <div>\begin{LSCnameddiagram}</div><div style="margin-left: 80px;">[title width=p{65px}]<br/></div><div style="margin-left: 80px;">{Turn lights off when motion has stopped}</div><div style="margin-left: 80px;"><br/></div><div style="margin-left: 40px;">\newlifeline {light} {light}</div><div style="margin-left: 40px;">\newlifeline {office} {office}</div><div style="margin-left: 40px;">\newlifeline {sensor} {mSensor}</div><div style="margin-left: 40px;"><br/></div><div style="margin-left: 40px;"></div><div style="margin-left: 40px;">\coldmonitor {sensor} {motionStopped()} {office}</div><div style="margin-left: 40px;">\hotexecute {office} {setOff()} {light}</div><div style="margin-left: 40px;"><br/></div><div>\end{LSCnameddiagram}</div>
| style="border: none; vertical-align: middle;" |
[[File:Latex-LSC.jpg|200px|Compiled pgf-playgo-lsc chart]]

|}
<div></div>
== The Latex2PlayGo Compiler ==

The Latex2PlayGo Compiler takes the Latex charts given in the LSC.tex file and compiles them to a PlayGo LSC file named GeneratedLSC.lsc.

== Preparing the PlayGo Project ==

Before we can execcute the generated LSCs, we need to prepare the project:

= References =

<references />

The Latex to LSC Compiler

2017-05-18T17:28:04Z

Achiya:

This page explains how to write Contextul LSCs (Con-LSC) in Latex, compile them into PlayGo LSC instances, and finally execute them.

In nutshell, these are the required steps:

#Download the PlayGo Environment.
#Add Latex Con-LSCs to LSC.tex.
#Execute the Latex2PlayGo compiler.
#Import the compiled file in PlayGo and execute it.

= The PlayGo Environment =

First you need to download ([https://weizmann.box.com/s/vze4kqq5gbf01cw92lx5dwijjju1pddb here]) a PlayGo version that includes a template project and the Latex2PlayGo compiler.

After extracting the zip file you will find the following directory structure (the structure includes only directories relevant to this tutorial). Directories are marked with (D) and files with (F):
<div><span style="font-family:courier new,courier,monospace;">(D) PlayGo_4.0_19042017</span></div><div style="margin-left: 40px;"><span style="font-family:courier new,courier,monospace;">|</span></div><div style="margin-left: 40px;"><span style="font-family:courier new,courier,monospace;">(D) playgo</span></div><div style="margin-left: 80px;"><span style="font-family:courier new,courier,monospace;">|</span></div><div style="margin-left: 80px;"><span style="font-family:courier new,courier,monospace;">(F) playgo.exe</span></div><div style="margin-left: 40px;"><span style="font-family:courier new,courier,monospace;">(D) workspace</span></div><div style="margin-left: 80px;"><span style="font-family:courier new,courier,monospace;">|</span></div><div style="margin-left: 80px;"><span style="font-family:courier new,courier,monospace;">(D) Latex2Lsc</span></div><div style="margin-left: 120px;"><span style="font-family:courier new,courier,monospace;">|</span></div><div style="margin-left: 120px;"><span style="font-family:courier new,courier,monospace;">(F) LSC.tex</span></div><div style="margin-left: 120px;"><span style="font-family:courier new,courier,monospace;">(F) GeneratedLSC.lsc</span></div><div style="margin-left: 120px;"><span style="font-family:courier new,courier,monospace;">(D) src</span></div><div style="margin-left: 160px;"><span style="font-family:courier new,courier,monospace;">|</span></div><div style="margin-left: 160px;"><span style="font-family:courier new,courier,monospace;">(F) Latex2PlayGoCompiler.java</span></div>
<br/>Executin playgo.exe will start PlayGo.

== General links: ==

[https://weizmann.box.com/s/irjrbvlipdol1vm64v0kf7uju00lqzn1 PlayGo userguide].

[http://wiki.weizmann.ac.il/playgo/index.php/Main_Page PlayGo homepage] - more information and tutorials.

= Latex Con-LSC =

== The Latex Con-LSC Language ==

Our group has developed a dedicated Latex package for easily creating diagrams with a simple textual notation, and presenting them graphically.

The package, called '''pgf-playgo-lsc''', is built upon the ''pgf<ref>T. Tantau and C. Feuersnger, “pgf—Create PostScript and PDF graphics in TEX,” Version 3.01a, 08 2015. [Online]. Available: https://www.ctan.org/pkg/pgf</ref>'' and ''pgf-uml''<ref>X. Yuan, “pgf-umlsd—Draw UML Sequence Diagrams,” Version 0.7, 02 2014. [Online]. Available: https://www.ctan.org/pkg/pgf-umlsd</ref> packages. The package imlements only part of the PlayGo LSC idioms. The complete list of the supported idioms in Latex Con-LSC is given in the Latex [http://www Con-LSC package]. The language semantics is defined in the [https://weizmann.box.com/s/irjrbvlipdol1vm64v0kf7uju00lqzn1 PlayGo userguide], except for the context idioms that are given in the paper.

We present here a short example for creating an LSC chart using pgf-playgo-lsc:

{| cellspacing="1" cellpadding="1" style="border-top: 1px solid; border-left: 0px; border-right: 0px; border-bottom: 1px solid;width: 600px"
|-
| style="vertical-align: top; width: 550px; border:none;" | <div>\begin{LSCnameddiagram}</div><div style="margin-left: 80px;">[title width=p{65px}]<br/></div><div style="margin-left: 80px;">{Turn lights off when motion has stopped}</div><div style="margin-left: 80px;"><br/></div><div style="margin-left: 40px;">\newlifeline {light} {light}</div><div style="margin-left: 40px;">\newlifeline {office} {office}</div><div style="margin-left: 40px;">\newlifeline {sensor} {mSensor}</div><div style="margin-left: 40px;"><br/></div><div style="margin-left: 40px;"></div><div style="margin-left: 40px;">\coldmonitor {sensor} {motionStopped()} {office}</div><div style="margin-left: 40px;">\hotexecute {office} {setOff()} {light}</div><div style="margin-left: 40px;"><br/></div><div>\end{LSCnameddiagram}</div>
| style="border: none; vertical-align: middle;" |
[[File:Latex-LSC.jpg|200px|Compiled pgf-playgo-lsc chart]]

|}
<div></div>
== The Latex2PlayGo Compiler ==

The Latex2PlayGo Compiler takes the Latex charts given in the LSC.tex file and compiles them to a PlayGo LSC file named GeneratedLSC.lsc.

== Preparing the PlayGo Project ==

The 

= References =

<references />

The Latex to LSC Compiler

2017-05-18T17:27:43Z

Achiya:

This page explains how to write Contextul LSCs (Con-LSC) in Latex, compile them into PlayGo LSC instances, and finally execute them.

In nutshell, these are the required steps:

#Download the PlayGo Environment.
#Add Latex Con-LSCs to LSC.tex.
#Execute the Latex2PlayGo compiler.
#Import the compiled file in PlayGo and execute it.

= The PlayGo Environment =

First you need to download ([https://weizmann.box.com/s/vze4kqq5gbf01cw92lx5dwijjju1pddb here]) a PlayGo version that includes a template project and the Latex2PlayGo compiler.

After extracting the zip file you will find the following directory structure (the structure includes only directories relevant to this tutorial). Directories are marked with (D) and files with (F):
<div><span style="font-family:courier new,courier,monospace;">(D) PlayGo_4.0_19042017</span></div><div style="margin-left: 40px;"><span style="font-family:courier new,courier,monospace;">|</span></div><div style="margin-left: 40px;"><span style="font-family:courier new,courier,monospace;">(D) playgo</span></div><div style="margin-left: 80px;"><span style="font-family:courier new,courier,monospace;">|</span></div><div style="margin-left: 80px;"><span style="font-family:courier new,courier,monospace;">(F) playgo.exe</span></div><div style="margin-left: 40px;"><span style="font-family:courier new,courier,monospace;">(D) workspace</span></div><div style="margin-left: 80px;"><span style="font-family:courier new,courier,monospace;">|</span></div><div style="margin-left: 80px;"><span style="font-family:courier new,courier,monospace;">(D) Latex2Lsc</span></div><div style="margin-left: 120px;"><span style="font-family:courier new,courier,monospace;">|</span></div><div style="margin-left: 120px;"><span style="font-family:courier new,courier,monospace;">(F) LSC.tex</span></div><div style="margin-left: 120px;"><span style="font-family:courier new,courier,monospace;">(F) GeneratedLSC.lsc</span></div><div style="margin-left: 120px;"><span style="font-family:courier new,courier,monospace;">(D) src</span></div><div style="margin-left: 160px;"><span style="font-family:courier new,courier,monospace;">|</span></div><div style="margin-left: 160px;"><span style="font-family:courier new,courier,monospace;">(F) Latex2PlayGoCompiler.java</span></div>
<br/>Executin playgo.exe will start PlayGo.

== General links: ==

[https://weizmann.box.com/s/irjrbvlipdol1vm64v0kf7uju00lqzn1 PlayGo userguide].

[http://wiki.weizmann.ac.il/playgo/index.php/Main_Page PlayGo homepage] - more information and tutorials.

= Latex Con-LSC =

== The Latex Con-LSC Language ==

Our group has developed a dedicated Latex package for easily creating diagrams with a simple textual notation, and presenting them graphically.

The package, called '''pgf-playgo-lsc''', is built upon the ''pgf<ref>T. Tantau and C. Feuersnger, “pgf—Create PostScript and PDF graphics in TEX,” Version 3.01a, 08 2015. [Online]. Available: https://www.ctan.org/pkg/pgf</ref>'' and ''pgf-uml''<ref>X. Yuan, “pgf-umlsd—Draw UML Sequence Diagrams,” Version 0.7, 02 2014. [Online]. Available: https://www.ctan.org/pkg/pgf-umlsd</ref> packages. The package imlements only part of the PlayGo LSC idioms. The complete list of the supported idioms in Latex Con-LSC is given in the Latex [http://www Con-LSC package]. The language semantics is defined in the [https://weizmann.box.com/s/irjrbvlipdol1vm64v0kf7uju00lqzn1 PlayGo userguide], except for the context idioms that are given in the paper.

We present here a short example for creating an LSC chart using pgf-playgo-lsc:

{| cellspacing="1" cellpadding="1" style="border-top: 1px solid; border-left: 0px; border-right: 0px; border-bottom: 1px solid;width: 600px"
|-
| style="vertical-align: top; width: 550px; border:none;" | <div>\begin{LSCnameddiagram}</div><div style="margin-left: 80px;">[title width=p{65px}]<br/></div><div style="margin-left: 80px;">{Turn lights off when motion has stopped}</div><div style="margin-left: 80px;"><br/></div><div style="margin-left: 40px;">\newlifeline {light} {light}</div><div style="margin-left: 40px;">\newlifeline {office} {office}</div><div style="margin-left: 40px;">\newlifeline {sensor} {mSensor}</div><div style="margin-left: 40px;"><br/></div><div style="margin-left: 40px;"></div><div style="margin-left: 40px;">\coldmonitor {sensor} {motionStopped()} {office}</div><div style="margin-left: 40px;">\hotexecute {office} {setOff()} {light}</div><div style="margin-left: 40px;"><br/></div><div>\end{LSCnameddiagram}</div>
| style="border: none; vertical-align: middle;" |
[[File:Latex-LSC.jpg|200px|Compiled pgf-playgo-lsc chart]]

|}
<div></div>
== The Latex2PlayGo Compiler ==

The Latex2PlayGo Compiler takes the Latex charts given in the LSC.tex file and compiles them to a PlayGo LSC file named GeneratedLSC.lsc.

== Preparing the PlayGo Project ==

The

= References =

<references />

The Latex to LSC Compiler

2017-05-18T12:54:12Z

Achiya:

The Latex to LSC Compiler

2017-05-18T12:52:45Z

Achiya:

<parsererror style="display: block; white-space: pre; border: 2px solid #c77; padding: 0 1em 0 1em; margin: 1em; background-color: #fdd; color: black">
=== This page contains the following errors: ===
<div style="font-family:monospace;font-size:12px">error on line 1 at column 6189: attributes construct error </div>
=== Below is a rendering of the page up to the first error. ===
</parsererror>
This page explains how to write Contextul LSCs (Con-LSC) in Latex, compile them into PlayGo LSC instances, and finally execute them.

In nutshell, these are the required steps:

#Download the PlayGo Environment.
#Add Latex Con-LSCs to LSC.tex.
#Execute the Latex2PlayGo compiler.
#Import the compiled file in PlayGo and execute it.

= The PlayGo Environment =

First you need to download ([https://weizmann.box.com/s/vze4kqq5gbf01cw92lx5dwijjju1pddb here]) a PlayGo version that includes a template project and the Latex2PlayGo compiler.

After extracting the zip file you will find the following directory structure (the structure includes only directories relevant to this tutorial). Directories are marked with (D) and files with (F):
<div><span style="font-family:courier new,courier,monospace;">(D) PlayGo_4.0_19042017</span></div><div style="margin-left: 40px;"><span style="font-family:courier new,courier,monospace;">|</span></div><div style="margin-left: 40px;"><span style="font-family:courier new,courier,monospace;">(D) playgo</span></div><div style="margin-left: 80px;"><span style="font-family:courier new,courier,monospace;">|</span></div><div style="margin-left: 80px;"><span style="font-family:courier new,courier,monospace;">(F) playgo.exe</span></div><div style="margin-left: 40px;"><span style="font-family:courier new,courier,monospace;">(D) workspace</span></div><div style="margin-left: 80px;"><span style="font-family:courier new,courier,monospace;">|</span></div><div style="margin-left: 80px;"><span style="font-family:courier new,courier,monospace;">(D) Latex2Lsc</span></div><div style="margin-left: 120px;"><span style="font-family:courier new,courier,monospace;">|</span></div><div style="margin-left: 120px;"><span style="font-family:courier new,courier,monospace;">(F) LSC.tex</span></div><div style="margin-left: 120px;"><span style="font-family:courier new,courier,monospace;">(F) GeneratedLSC.lsc</span></div><div style="margin-left: 120px;"><span style="font-family:courier new,courier,monospace;">(D) src</span></div><div style="margin-left: 160px;"><span style="font-family:courier new,courier,monospace;">|</span></div><div style="margin-left: 160px;"><span style="font-family:courier new,courier,monospace;">(F) Latex2PlayGoCompiler.java</span></div>
<br/>Executin playgo.exe will start PlayGo.

== General links: ==

[https://weizmann.box.com/s/irjrbvlipdol1vm64v0kf7uju00lqzn1 PlayGo userguide].

[http://wiki.weizmann.ac.il/playgo/index.php/Main_Page PlayGo homepage] - more information and tutorials.

= Latex Con-LSC =

== The Latex Con-LSC Language ==

Our group has developed a dedicated Latex package for easily creating diagrams with a simple textual notation, and presenting them graphically.

The package, called '''pgf-playgo-lsc''', is built upon the ''pgf<ref>T. Tantau and C. Feuersnger, “pgf—Create PostScript and PDF graphics in TEX,” Version 3.01a, 08 2015. [Online]. Available: https://www.ctan.org/pkg/pgf</ref>'' and ''pgf-uml''<ref>X. Yuan, “pgf-umlsd—Draw UML Sequence Diagrams,” Version 0.7, 02 2014. [Online]. Available: https://www.ctan.org/pkg/pgf-umlsd</ref> packages. The package imlements only part of the PlayGo LSC idioms. The complete list of the supported idioms in Latex Con-LSC is given in the Latex [http://www Con-LSC package]. The language semantics is defined in the [https://weizmann.box.com/s/irjrbvlipdol1vm64v0kf7uju00lqzn1 PlayGo userguide], except for the context idioms that are given in the paper.

We present here a short example for creating an LSC chart using pgf-playgo-lsc:

{| cellspacing="1" cellpadding="1" style="border-top: 1px solid; border-left: 0px; border-right: 0px; border-bottom: 1px solid;width: 600px"
|-
| style="vertical-align: top; width: 550px; border:none;" | <div>\begin{LSCnameddiagram}</div><div style="margin-left: 80px;">[title width=p{65px}]<br/></div><div style="margin-left: 80px;">{Turn lights off when motion has stopped}</div><div style="margin-left: 80px;"><br/></div><div style="margin-left: 40px;">\newlifeline {light} {light}</div><div style="margin-left: 40px;">\newlifeline {office} {office}</div><div style="margin-left: 40px;">\newlifeline {sensor} {mSensor}</div><div style="margin-left: 40px;"><br/></div><div style="margin-left: 40px;"></div><div style="margin-left: 40px;">\coldmonitor {sensor} {motionStopped()} {office}</div><div style="margin-left: 40px;">\hotexecute {office} {setOff()} {light}</div><div style="margin-left: 40px;"><br/></div><div>\end{LSCnameddiagram}</div>
| style="border: none; vertical-align: middle;" |
[[File:Latex-LSC.jpg|200px|Compiled pgf-playgo-lsc chart]]

|}
<div></div>
== The Latex2PlayGo Compiler ==

The Latex2PlayGo Compiler takes the Latex charts given in the LSC.tex file and compiles them to a PlayGo LSC file named GeneratedLSC.lsc.

The Latex to LSC Compiler

2017-05-18T12:50:23Z

Achiya:

This page explains how to write Contextul LSCs (Con-LSC) in Latex, compile them into PlayGo LSC instances, and finally execute them.

In nutshell, these are the required steps:

#Download the PlayGo Environment.
#Add Latex Con-LSCs to LSC.tex.
#Execute the Latex2PlayGo compiler.
#Import the compiled file in PlayGo and execute it.

= The PlayGo Environment =

First you need to download ([https://weizmann.box.com/s/vze4kqq5gbf01cw92lx5dwijjju1pddb here]) a PlayGo version that includes a template project and the Latex2PlayGo compiler.

After extracting the zip file you will find the following directory structure (the structure includes only directories relevant to this tutorial). Directories are marked with (D) and files with (F):
<div><span style="font-family:courier new,courier,monospace;">(D) PlayGo_4.0_19042017</span></div><div style="margin-left: 40px;"><span style="font-family:courier new,courier,monospace;">|</span></div><div style="margin-left: 40px;"><span style="font-family:courier new,courier,monospace;">(D) playgo</span></div><div style="margin-left: 80px;"><span style="font-family:courier new,courier,monospace;">|</span></div><div style="margin-left: 80px;"><span style="font-family:courier new,courier,monospace;">(F) playgo.exe</span></div><div style="margin-left: 40px;"><span style="font-family:courier new,courier,monospace;">(D) workspace</span></div><div style="margin-left: 80px;"><span style="font-family:courier new,courier,monospace;">|</span></div><div style="margin-left: 80px;"><span style="font-family:courier new,courier,monospace;">(D) Latex2Lsc</span></div><div style="margin-left: 120px;"><span style="font-family:courier new,courier,monospace;">|</span></div><div style="margin-left: 120px;"><span style="font-family:courier new,courier,monospace;">(F) LSC.tex</span></div><div style="margin-left: 120px;"><span style="font-family:courier new,courier,monospace;">(F) GeneratedLSC.lsc</span></div><div style="margin-left: 120px;"><span style="font-family:courier new,courier,monospace;">(D) src</span></div><div style="margin-left: 160px;"><span style="font-family:courier new,courier,monospace;">|</span></div><div style="margin-left: 160px;"><span style="font-family:courier new,courier,monospace;">(F) Latex2PlayGoCompiler.java</span></div>
<br/>Executin playgo.exe will start PlayGo.

== General links: ==

[https://weizmann.box.com/s/irjrbvlipdol1vm64v0kf7uju00lqzn1 PlayGo userguide].

[http://wiki.weizmann.ac.il/playgo/index.php/Main_Page PlayGo homepage] - more information and tutorials.

= Latex Con-LSC =

== The Latex Con-LSC Language ==

Our group has developed a dedicated Latex package for easily creating diagrams with a simple textual notation, and presenting them graphically.

The package, called '''pgf-playgo-lsc''', is built upon the ''pgf<ref>T. Tantau and C. Feuersnger, “pgf—Create PostScript and PDF graphics in TEX,” Version 3.01a, 08 2015. [Online]. Available: https://www.ctan.org/pkg/pgf</ref>'' and ''pgf-uml''<ref>X. Yuan, “pgf-umlsd—Draw UML Sequence Diagrams,” Version 0.7, 02 2014. [Online]. Available: https://www.ctan.org/pkg/pgf-umlsd</ref> packages. The package imlements only part of the PlayGo LSC idioms. The complete list of the supported idioms in Latex Con-LSC is given in the Latex [http://www Con-LSC package]. The language semantics is defined in the [https://weizmann.box.com/s/irjrbvlipdol1vm64v0kf7uju00lqzn1 PlayGo userguide], except for the context idioms that are given in the paper.

We present here a short example for creating an LSC chart using pgf-playgo-lsc:

{| cellspacing="1" cellpadding="1" style="border-top: 1px solid; border-left: 0px; border-right: 0px; border-bottom: 1px solid;width: 600px"
|-
| style="vertical-align: top; width: 550px; border:none;" | <div>\begin{LSCnameddiagram}</div><div style="margin-left: 80px;">[title width=p{65px}]<br/></div><div style="margin-left: 80px;">{Turn lights off when motion has stopped}</div><div style="margin-left: 80px;"><br/></div><div style="margin-left: 40px;">\newlifeline {light} {light}</div><div style="margin-left: 40px;">\newlifeline {office} {office}</div><div style="margin-left: 40px;">\newlifeline {sensor} {mSensor}</div><div style="margin-left: 40px;"><br/></div><div style="margin-left: 40px;"></div><div style="margin-left: 40px;">\coldmonitor {sensor} {motionStopped()} {office}</div><div style="margin-left: 40px;">\hotexecute {office} {setOff()} {light}</div><div style="margin-left: 40px;"><br/></div><div>\end{LSCnameddiagram}</div>
| style="border: none; vertical-align: middle;" |
[[File:Latex-LSC.jpg|200px|Compiled pgf-playgo-lsc chart]]

|}
<div></div>
== The Latex2PlayGo Compiler ==

The Latex2PlayGo Compiler takes the Latex charts given in the LSC.tex file and compiles them to a PlayGo LSC file named GeneratedLSC.lsc.

In order to compile the tex file you need to compile and run the file.

= References =

<references />

The Latex to LSC Compiler

2017-05-18T12:49:30Z

Achiya:

The Latex to LSC Compiler

2017-05-18T12:49:10Z

Achiya:

The Latex to LSC Compiler

2017-05-18T12:48:51Z

Achiya:

The Latex to LSC Compiler

2017-05-18T12:48:04Z

Achiya:

The Latex to LSC Compiler

2017-05-18T10:50:00Z

Achiya:

<parsererror style="display: block; white-space: pre; border: 2px solid #c77; padding: 0 1em 0 1em; margin: 1em; background-color: #fdd; color: black">
=== This page contains the following errors: ===
<div style="font-family:monospace;font-size:12px">error on line 1 at column 6163: attributes construct error </div>
=== Below is a rendering of the page up to the first error. ===
</parsererror>
This page explains how to write Contextul LSCs (Con-LSC) in Latex, compile them into PlayGo LSC instances, and finally execute them.

In nutshell, these are the required steps:

#Download the PlayGo Environment.
#Add Latex Con-LSCs to LSC.tex.
#Execute the Latex2PlayGo compiler.
#Import the compiled file in PlayGo and execute it.

= The PlayGo Environment =

First you need to download ([https://weizmann.box.com/s/vze4kqq5gbf01cw92lx5dwijjju1pddb here]) a PlayGo version that includes a template project and the Latex2PlayGo compiler.

After extracting the zip file you will find the following directory structure (the structure includes only directories relevant to this tutorial). Directories are marked with (D) and files with (F):
<div><span style="font-family:courier new,courier,monospace;">(D) PlayGo_4.0_19042017</span></div><div style="margin-left: 40px;"><span style="font-family:courier new,courier,monospace;">|</span></div><div style="margin-left: 40px;"><span style="font-family:courier new,courier,monospace;">(D) playgo</span></div><div style="margin-left: 80px;"><span style="font-family:courier new,courier,monospace;">|</span></div><div style="margin-left: 80px;"><span style="font-family:courier new,courier,monospace;">(F) playgo.exe</span></div><div style="margin-left: 40px;"><span style="font-family:courier new,courier,monospace;">(D) workspace</span></div><div style="margin-left: 80px;"><span style="font-family:courier new,courier,monospace;">|</span></div><div style="margin-left: 80px;"><span style="font-family:courier new,courier,monospace;">(D) Latex2Lsc</span></div><div style="margin-left: 120px;"><span style="font-family:courier new,courier,monospace;">|</span></div><div style="margin-left: 120px;"><span style="font-family:courier new,courier,monospace;">(F) LSC.tex</span></div><div style="margin-left: 120px;"><span style="font-family:courier new,courier,monospace;">(F) GeneratedLSC.lsc</span></div><div style="margin-left: 120px;"><span style="font-family:courier new,courier,monospace;">(D) src</span></div><div style="margin-left: 160px;"><span style="font-family:courier new,courier,monospace;">|</span></div><div style="margin-left: 160px;"><span style="font-family:courier new,courier,monospace;">(F) Latex2PlayGoCompiler.java</span></div>
<br/>Executin playgo.exe will start PlayGo.

== General links: ==

[https://weizmann.box.com/s/irjrbvlipdol1vm64v0kf7uju00lqzn1 PlayGo userguide].

[http://wiki.weizmann.ac.il/playgo/index.php/Main_Page PlayGo homepage] - more information and tutorials.

= Latex Con-LSC =

== The Latex Con-LSC Language ==

Our group has developed a dedicated Latex package for easily creating diagrams with a simple textual notation, and presenting them graphically.

The package, called '''pgf-playgo-lsc''', is built upon the ''pgf<ref>T. Tantau and C. Feuersnger, “pgf—Create PostScript and PDF graphics in TEX,” Version 3.01a, 08 2015. [Online]. Available: https://www.ctan.org/pkg/pgf</ref>'' and ''pgf-uml''<ref>X. Yuan, “pgf-umlsd—Draw UML Sequence Diagrams,” Version 0.7, 02 2014. [Online]. Available: https://www.ctan.org/pkg/pgf-umlsd</ref> packages. The package imlements only part of the PlayGo LSC idioms. The complete list of the supported idioms in Latex Con-LSC is given in the Latex [http://www Con-LSC package]. The language semantics is defined in the [https://weizmann.box.com/s/irjrbvlipdol1vm64v0kf7uju00lqzn1 PlayGo userguide], except for the context idioms that are given in the paper.

We present here a short example for creating an LSC chart using pgf-playgo-lsc:

{| cellspacing="1" cellpadding="1" style="border-top: 1px solid; border-left: 0px; border-right: 0px; border-bottom: 1px solid;width: 600px"
|-
| style="vertical-align: top; width: 550px; border:none;" | <div>\begin{LSCnameddiagram}</div><div style="margin-left: 80px;">[title width=p{65px}]<br/></div><div style="margin-left: 80px;">{Turn lights off when motion has stopped}</div><div style="margin-left: 80px;"><br/></div><div style="margin-left: 40px;">\newlifeline {light} {light}</div><div style="margin-left: 40px;">\newlifeline {office} {office}</div><div style="margin-left: 40px;">\newlifeline {sensor} {mSensor}</div><div style="margin-left: 40px;"><br/></div><div style="margin-left: 40px;"></div><div style="margin-left: 40px;">\coldmonitor {sensor} {motionStopped()} {office}</div><div style="margin-left: 40px;">\hotexecute {office} {setOff()} {light}</div><div style="margin-left: 40px;"><br/></div><div>\end{LSCnameddiagram}</div>
| style="border: none; vertical-align: middle;" |
[[File:Latex-LSC.jpg|200px|Compiled pgf-playgo-lsc chart]]

|}
<div></div>
== The Latex2PlayGo Compiler ==

The Latex2PlayGo Compiler takes the Latex charts given in the LSC.tex file and compiles them to a PlayGo LSC file named GeneratedLSC.lsc.

The Latex to LSC Compiler

2017-05-18T10:44:15Z

Achiya:

The Latex to LSC Compiler

2017-05-18T10:41:29Z

Achiya:

The Latex to LSC Compiler

2017-05-18T10:39:36Z

Achiya:

The Latex to LSC Compiler

2017-05-18T10:39:06Z

Achiya:

The Latex to LSC Compiler

2017-05-18T10:37:05Z

Achiya:

The Latex to LSC Compiler

2017-05-18T10:00:30Z

Achiya:

The Latex to LSC Compiler

2017-05-18T09:59:17Z

Achiya:

The Latex to LSC Compiler

2017-05-18T09:55:20Z

Achiya:

File:Latex-LSC.jpg

2017-05-18T09:53:25Z

Achiya:

The Latex to LSC Compiler

2017-05-18T09:48:08Z

Achiya:

The Latex to LSC Compiler

2017-05-18T09:47:46Z

Achiya:

The Latex to LSC Compiler

2017-05-18T09:45:24Z

Achiya:

The Latex to LSC Compiler

2017-05-18T09:37:43Z

Achiya:

The Latex to LSC Compiler

2017-05-18T09:36:59Z

Achiya:

The Latex to LSC Compiler

2017-05-18T09:36:09Z

Achiya:

The Latex to LSC Compiler

2017-05-18T09:21:51Z

Achiya:

The Latex to LSC Compiler

2017-05-18T09:18:47Z

Achiya:

The Latex to LSC Compiler

2017-05-18T09:18:18Z

Achiya:

The Latex to LSC Compiler

2017-05-18T09:16:38Z

Achiya:

The Latex to LSC Compiler

2017-05-18T09:16:03Z

Achiya:

The Latex to LSC Compiler

2017-05-18T09:11:20Z

Achiya:

The Latex to LSC Compiler

2017-05-18T09:05:43Z

Achiya:

The Latex to LSC Compiler

2017-05-18T09:04:32Z

Achiya:

The Latex to LSC Compiler

2017-05-18T09:02:39Z

Achiya:

The Latex to LSC Compiler

2017-05-18T08:47:50Z

Achiya: