The Latex to LSC Compiler - Revision history

Achiya at 17:51, 29 May 2017

2017-05-29T17:51:20Z

Achiya at 17:46, 29 May 2017

2017-05-29T17:46:53Z

Achiya at 17:40, 29 May 2017

2017-05-29T17:40:56Z

Achiya at 18:25, 24 May 2017

2017-05-24T18:25:37Z

Achiya at 21:09, 19 May 2017

2017-05-19T21:09:19Z

Achiya at 20:26, 18 May 2017

2017-05-18T20:26:05Z

Achiya at 20:22, 18 May 2017

2017-05-18T20:22:31Z

Achiya at 20:17, 18 May 2017

2017-05-18T20:17:52Z

Achiya at 20:16, 18 May 2017

2017-05-18T20:16:25Z

Achiya at 20:12, 18 May 2017

2017-05-18T20:12:43Z

@@ Line 30: / Line 30: @@
 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&nbsp;[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&nbsp;[http://github.com/eggsterino/pgf-playgo-lsc [1]].
+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:

@@ Line 28: / Line 28: @@
 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&nbsp;[https://weizmann.box.com/s/irjrbvlipdol1vm64v0kf7uju00lqzn1 PlayGo userguide], except for the context idioms that are given in the paper.
+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&nbsp;[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:
+The package repository and download link can be found at&nbsp;[http://github.com/eggsterino/pgf-playgo-lsc [1]].
 {| 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="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]]

@@ Line 28: / Line 28: @@
 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&nbsp;[https://weizmann.box.com/s/irjrbvlipdol1vm64v0kf7uju00lqzn1 PlayGo userguide], except for the context idioms that are given in the paper.
+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&nbsp;[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:

@@ Line 76: / Line 76: @@
 #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:
+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.
 #Run the project.
 #In the System Model window -> Objects:
-##Righth click Office
+##Right click mSensor and select "Call other object".
 = References =
 <references />

@@ Line 49: / Line 49: @@
 #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 ==
@@ Line 56: / Line 58: @@
 #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).
+#Locate the red X button.
 #On the file selection window select GeneratedLSC.lsc.
-That's it, we are ready for running, however there
+#Run the project.
 = References =
 <references />

@@ Line 54: / Line 54: @@
 #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
+#On the right panel you have a window called "System Model". Press the leftmost icon there (see Figure 2).
 #Open GeneratedLSC.lsc.
 #Here you&nbsp;