Difference between revisions of "The Latex to LSC Compiler"

From WeizmannWiki
Jump to: navigation, search
Line 25: Line 25:
  
 
== The Latex Con-LSC Language ==
 
== The Latex Con-LSC Language ==
<div>We developed a dedicated package that&nbsp;</div><div>allows to easily create diagrams and present them graphically, with a simple textual notation.</div><div>The package, called \textit{pgf-playgo-lsc}, is built upon the pgf~\cite{pgf} and&nbsp;</div><div>pgf-uml~\cite{pgf-umlsd} packages. All the diagrams in this paper were created with this tool.&nbsp;</div><div>To allow the execution of our models, we have also created a pre-processing compiler from&nbsp;</div><div>pgf-playgo-lsc models to PlayGo LSC called \textit{Latex2PlayGo}. The \LaTeX\ package&nbsp;</div><div>as well as the Latex2PlayGo Compiler and examples can be found at&nbsp;</div><div>\url{http://wiki.weizmann.ac.il/playgo/index.php/The_Latex_to_LSC_Compiler}.</div>
+
Our group has developed a dedicated Latex package for easily creating diagrams with a simple textual notation, and presenting them graphically.<br/>
 +
The package, called '''pgf-playgo-lsc''', is built upon the ''pgf''<ref name="pgf">T. Tantau and C. Feuersnger, “pgf—Create PostScript and PDF</ref> and&nbsp;''pgf-uml<ref>X. Yuan, “pgf-umlsd—Draw UML Sequence Diagrams,” Version 0.7,<br/></ref>''&nbsp;packages. To allow the execution of our models, we have also created a pre-processing compiler from&nbsp;</div><div>pgf-playgo-lsc models to PlayGo LSC called \textit{Latex2PlayGo}. The \LaTeX\ package&nbsp;</div><div>as well as the Latex2PlayGo Compiler and examples can be found at&nbsp;</div><div>\url{[http://wiki.weizmann.ac.il/playgo/index.php/The_Latex_to_LSC_Compiler} http://wiki.weizmann.ac.il/playgo/index.php/The_Latex_to_LSC_Compiler}].</div>
 
The Latex2LSC compiler is designed to be a&nbsp;proof-of-concept tool for Con-LSC executability.
 
The Latex2LSC compiler is designed to be a&nbsp;proof-of-concept tool for Con-LSC executability.
  

Revision as of 11:02, 18 May 2017

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:

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

The PlayGo Environment

First you need to download (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):

(D) PlayGo_4.0_19042017
|
(D) playgo
|
(F) playgo.exe
(D) workspace
|
(D) Latex2Lsc
|
(F) LSC.tex
(F) GeneratedLSC.lsc
(D) src
|
(F) Latex2PlayGoCompiler.java


Executin playgo.exe will start PlayGo.

General links:

PlayGo userguide.

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[1] and pgf-uml[2] packages. To allow the execution of our models, we have also created a pre-processing compiler from </div>
pgf-playgo-lsc models to PlayGo LSC called \textit{Latex2PlayGo}. The \LaTeX\ package 
as well as the Latex2PlayGo Compiler and examples can be found at 

The Latex2LSC compiler is designed to be a proof-of-concept tool for Con-LSC executability.

Therefore the supported LSC idioms in Latex Con-LSC is only a subset of the PlayGo LSC idioms.

The complete list of the supported idoms in Latex Con-LSC is given in the Latex Con-LSC package.
Cite error: <ref> tags exist, but no <references/> tag was found