Chess Game Example - Revision history

Michal at 07:50, 8 December 2015

2015-12-08T07:50:47Z

Yaaritn: /* Example 1 with NL-Play-In */

2014-03-11T13:20:42Z

‎Example 1 with NL-Play-In

Yaaritn: /* Example 1 with NL-Play-In */

2014-03-10T11:39:09Z

‎Example 1 with NL-Play-In

Show changes

Smadar: /* Discussion */

2013-11-03T07:26:33Z

‎Discussion

Smadar: /* Example 3 - a non working LSC */

2013-11-03T07:26:23Z

‎Example 3 - a non working LSC

Smadar: /* Graph and Connections */

2013-11-03T07:24:48Z

‎Graph and Connections

Smadar: /* Download the ChessGame Example */

2013-11-03T07:22:04Z

‎Download the ChessGame Example

Smadar: /* Example 2 (ChessGame - square.umlseq) */

2013-11-03T07:20:41Z

‎Example 2 (ChessGame - square.umlseq)

Smadar: /* ChessProject LSC project */

2013-11-03T07:19:04Z

‎ChessProject LSC project

Smadar: /* Download the ChessProject Example */

2013-11-03T07:18:49Z

‎Download the ChessProject Example

← Older revision		Revision as of 07:50, 8 December 2015
Line 1:		Line 1:
	This is a protected page for the Chess Game Example.		This is a protected page for the Chess Game Example.
		+
		+	This project was carried out by Jaysree Nair and Michal Gordon, in 2013.

	The '''chess game example''' demonstrates the creation of a chess game for two-players. Chess game has many rules which we have implemented in this example, see [[http://en.wikipedia.org/wiki/Chess chess]]. On his turn, the user plays by mouse clicking the game pieces and the chess board's squares. A click on a square highlights valid user moves for the selected piece. The game GUI is implemented with [http://en.wikipedia.org/wiki/Swing_(Java) Swing], and the game behavior is implemented with LSCs. This example demonstrates LSCs creation in two different ways, which also generates different LSCs: <br>		The '''chess game example''' demonstrates the creation of a chess game for two-players. Chess game has many rules which we have implemented in this example, see [[http://en.wikipedia.org/wiki/Chess chess]]. On his turn, the user plays by mouse clicking the game pieces and the chess board's squares. A click on a square highlights valid user moves for the selected piece. The game GUI is implemented with [http://en.wikipedia.org/wiki/Swing_(Java) Swing], and the game behavior is implemented with LSCs. This example demonstrates LSCs creation in two different ways, which also generates different LSCs: <br>

@@ Line 15: / Line 15: @@
 == Example 1 with NL-Play-In  ==
 The LSCs in this section were created using [[PlayGo Feature List#Natural_language_play-in|NL-Play-In]].
 <br>
 {| width="100%" border="1" align="left" cellpadding="1" cellspacing="1"
 |-
 ! scope="col" width="15%" | Name
 ! scope="col" width="70%" | Requirement in Natural Language Text
 ! scope="col" width="15%" | LSC
 |-
 | SelectSource
 | when the user clicks any Square, if the board sourcetargetValue is "0" and the Square type is not "vacent" then the Square selectSource and the board sourcetargetValue changes to "1".&nbsp;
-−
+|
 [[Image:SelectSource.png|thumb|left|LSC]]
 |-
 | SetPossiblePosition
 | when any Square selectSource then the Square setPossibleSquares . &nbsp;
-−
+|
 [[Image:SetPossiblePositionNL.png|thumb|left|LSC]]
 |-
 | SelectTarget
 | when the user clicks any Square, if the board sourcetargetValue is "1" then the Square selectTarget and the board sourcetargetValue changes to "0".&nbsp;
-−
+|
 [[Image:SelectTarget.png|thumb|left|LSC]]
 |-
 | CheckPossibility
 | when any Square selectTarget then the Square checkPossibility. &nbsp;
-−
+|
 [[Image:CheckPossibility.png|thumb|left|LSC]]
 |-
 | MovePiece
 | when any Square checkPossibility, if the Square possibility is "true" then the Square MovePiece. &nbsp;
-−
+|
 [[Image:MoveSource.png|thumb|left|LSC]]
 |-
 | ChangeTurn
 | when any Square MovePiece, if the board state is "black" then the board state changes to "white" otherwise if the board state is "white" then the board state changes to "black" . &nbsp;
-−
+|
 [[Image:TurnChange.png|thumb|left|LSC]]
 |-
 | WrongTurn
 | when any Square selectSource, if the Square type is "black" and the board state is "white" then the Square showMessage. &nbsp;
-−
+|
 [[Image:WrongTurn1.png|thumb|left|LSC]]
 |-
 | WrongTurn2
 | when any Square selectSource, if the Square type is "white" and the board state is "black" then the Square showMessage. &nbsp;
-−
+|
 [[Image:WrongTurn2.png|thumb|left|LSC]]
 |-
 | ResetBoard
 | when any Square showMessage then the board sourcetargetValue changes to "0". &nbsp;
-−
+|
 [[Image:ResetBoard.png|thumb|left|LSC]]
 |-
 | checkmate
 | when any Square MovePiece then the Square check_CheckMate &nbsp;
-−
+|
 [[Image:Checkmate-NL.png|thumb|left|LSC]]
 |-
-| BlkKingPosition.png
+| BlkKingPosition
 | when any Square MovePiece, if the Square piecename is "blkking" then the board BlkkingPosition changes to the Square position&nbsp;
-−
+|
 [[Image:BlkKingPosition.png|thumb|left|LSC]]
 |-
 | WteKingPosition
 | when any Square MovePiece, if the Square piecename is "wteking" then the board WtekingPosition changes to the Square position &nbsp;
-−
+|
 [[Image:WteKingPosition.png|thumb|left|LSC]]
 |-
 | Newgame
 | when the user click the newgame then the newgame loadnewgame and the board reset &nbsp;
-−
+|
 [[Image:NewGame.png|thumb|left|LSC]]
 |-
 | ShowScoreblack
 | when the board state change then the BlkScore show the board blackPoint &nbsp;
-−
+|
 [[Image:ShowScoreblack.png|thumb|left|LSC]]
 |-
 | ShowScorewhite
 | when the board state change then the WteScore show the board whitePoint &nbsp;
-−
+|
 [[Image:ShowScorewhite.png|thumb|left|LSC]]
 |-
 | ShowNextTurn
 | when the board state change then the NextTurndisplay show the board state &nbsp;
 | [[Image:ShowNextTurn.png|thumb|left|LSC]]
 |-
 | ResetPossiblePosition
 | when any Square selectTarget then the Square reset &nbsp;
 | [[Image:ResrPossiblePositionNL.png|thumb|left|LSC]]
 |-
 | WrongTurnReset
 | when any Square showMessage then the Square reset &nbsp;
 | [[Image:WrongTurnReset.png|thumb|left|LSC]]
 |}
 <br>&nbsp;<br>&nbsp;
 === Download the ChessProject Example  ===
 Below are links for downloading the ChessProject final application, as well as the LSC project that can be opened and modified in PlayGo.<br>
 ==== ChessProject final application (runnable jar)  ====
 [[Media:ChessProjectSwingGUI.zip|Runnable ChessProject with Swing GUI]] <br><br> To run the ChessProject, simply extract the downloaded zip and double click the jar file.<br> &nbsp;
 ==== ChessProject LSC project  ====
 [[Media:ChessProject.zip|The ChessProject LSC Project (for development purposes)]] <br>
 ===== Installation Instructions  =====
 #Extract the downloaded zip.
 #[[Download PlayGo|Download PlayGo]].
 #Import the downloaded project to your workspace:
 ##From the File menu choose Import--&gt;General--&gt;Existing Projects into Workspace.
 ##Click the 'Next' button.
 ##When prompted, select the directory to which you extracted the downloaded ChessProject example.
 ##Click finish.
 #The ChessProject example project is now part of your workspace. You can start playing with it. For details refer to [[How to Play-Out|how to play out]].

← Older revision		Revision as of 07:26, 3 November 2013
Line 266:		Line 266:

	<br> <br> Example1-ChessProject<br> [[Image:ChessProjectSystemModel.png\|SystemModel]] <br> <br> Example2-ChessGame<br> [[Image:ChessGameSystemmodel.png\|System Model]] <br> <br>		<br> <br> Example1-ChessProject<br> [[Image:ChessProjectSystemModel.png\|SystemModel]] <br> <br> Example2-ChessGame<br> [[Image:ChessGameSystemmodel.png\|System Model]] <br> <br>
−
−
−
−	~~== Discussion ==~~
−
−	We show here two very different ways to implement the same behavior using LSCs. The examples demonstrate that various LSC methods can apply. The third example demonstrates that it is necessary to have some understanding of symbolic objects and binding to create an executable model.

@@ Line 267: / Line 267: @@
 <br>&nbsp;<br> Example1-ChessProject<br>&nbsp;[[Image:ChessProjectSystemModel.png|SystemModel]] <br>&nbsp;<br> Example2-ChessGame<br>&nbsp;[[Image:ChessGameSystemmodel.png|System Model]] <br>&nbsp;<br>
 == Discussion  ==
 We show here two very different ways to implement the same behavior using LSCs. The examples demonstrate that various LSC methods can apply. The third example demonstrates that it is necessary to have some understanding of symbolic objects and binding to create an executable model.

@@ Line 257: / Line 257: @@
 == Graph and Connections  ==
-'''Example1-ChessProject'''<br>&nbsp;<br>[[Image:SivChessGame.png|SIV Graph]]<br> Dependency graph for Example 1. This graph shows clusters (communities). And MovePiece is selected here and the connected LSCs are colored (blue or pink). Green edges are unified messages between LSCs. <br>See [[http://www.weizmann.ac.il/mediawiki/harelgroup/index.php/SIV_Plugin | SIV-Plugin]] for details. <br>&nbsp;<br> '''Example2-ChessGame'''<br>&nbsp;<br>[[Image:ChessSIV-example2.png|SIV Graph]]<br> Dependency graph for Example 2. This graph also shows clusters (communities). And MovePiece is selected here and the connected LSCs are colored (blue or pink). Green edges are unified messages between LSCs.<br> Note: messages were unified here regardless of the parameters, since parameters are symbolic, e.g., MovePiece(String piecename). <br>see[[http://www.weizmann.ac.il/mediawiki/harelgroup/index.php/SIV_Plugin | SIV-Plugin]] for details
+'''Example1-ChessProject'''<br>&nbsp;<br>[[Image:SivChessGame.png|SIV Graph]]<br> Dependency graph for example #1. This graph shows clusters (communities). The LSC MovePiece is selected here and the connected LSCs are colored (blue or pink). Green edges indicate unified messages between LSCs. <br>For details, see [[http://www.weizmann.ac.il/mediawiki/harelgroup/index.php/SIV_Plugin | SIV-Plugin]]. <br>&nbsp;<br>
-<br> General observations: Both seem plausible, although they are a bit different.
+'''Example2-ChessGame'''<br>&nbsp;<br>[[Image:ChessSIV-example2.png|SIV Graph]]<br> Dependency graph for example #2. This graph shows clusters (communities). The LSC MovePiece is selected here and the connected LSCs are colored (blue or pink). Green edges indicate unified messages between LSCs.<br> Note: messages were unified here regardless of the parameters, since parameters are symbolic, e.g., MovePiece(String piecename). <br>For details, see[[http://www.weizmann.ac.il/mediawiki/harelgroup/index.php/SIV_Plugin | SIV-Plugin]].
 <br>&nbsp;<br>

@@ Line 232: / Line 232: @@
 === Download the ChessGame Example  ===
-Below are downloads of the ChessGame final application, as well as of the LSC project that can be opened and modified in PlayGo.<br>
+Below are downloads of the ChessGame final application, as well as the LSC project that can be opened and modified in PlayGo.<br>
 ==== ChessGame final application (runnable jar)  ====

@@ Line 153: / Line 153: @@
 #The ChessProject example project is now part of your workspace. You can start playing with it. For details refer to [[How to Play-Out|how to play out]].
-== Example 2 (ChessGame - square.umlseq)  ==
+== Example 2 ==
-The following LSCs where created with the use of the editor. Our intention was to create a specification with more than one symbolic lifeline in the LSCs, which was not supported by NL-Play-In, and possibly more than one monitored event at the chart start.
+The following LSCs were created using the LSC editor. Our intention was to create a specification with more than one symbolic lifeline in the LSCs, which was not supported by NL-Play-In.
 <br>
@@ Line 162: / Line 162: @@
 |-
 ! scope="col" width="15%" | Name
-! scope="col" width="70%" | Description
+! scope="col" width="70%" | Requirement
 ! scope="col" width="15%" | LSC
 |-
@@ Line 172: / Line 172: @@
 |-
 | MovePiece
-| When the square Sq1 check_Move square Sq2, canmove is assigned whether the movement of piece from square Sq1 to Sq2 is possible, &nbsp;if the piece canmove and Sq1 piecetype is not equals to Sq2 piecetype then the square Sq1 move_Piece to square Sq2.
+| When a square Sq1 check_Move square Sq2, canmove is assigned with whether the movement of piece from square Sq1 to Sq2 is possible, &nbsp;if the piece canmove and Sq1 piecetype is not equals to Sq2 piecetype then the square Sq1 move_Piece to square Sq2.
 | [[Image:MovePiece.png|thumb|left|LSC]]
 |-