Difference between revisions of "Chess Game Example"

From WeizmannWiki
Jump to: navigation, search
 
(104 intermediate revisions by 4 users not shown)
Line 1: Line 1:
 
This is a protected page for the Chess Game Example.
 
This is a protected page for the Chess Game Example.
  
−
<br>
+
This project was carried out by Jaysree Nair and Michal Gordon, in 2013.
  
−
== Chess Game Example<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>
−
 
+
# Using the [[PlayGo_Feature_List#Natural_language_play-in | natural language interface to LSCs]] (NL-Play-In).
−
&nbsp; The ChessGameExample demonstrate chess game with a two-player strategy played on a chessboard. The original chess game has lots of rules and regulations most of them are implemented in this example.The game accepts moves through the mouse click on the pieces. A source selection highlights valid user moves for target selection. The game can be constructed in different ways, in which two of them are described below.
+
# Using the LSC Editor.&nbsp;
  
 
== Game Board  ==
 
== Game Board  ==
  
−
[[Image:ChessScreenShot.png]]
+
[[Image:ChessGUIScreenShot.png]]
  
 
<br>
 
<br>
−
 
−
== Example 1 - LSC for the game  ==
 
  
 
<br>
 
<br>
  
−
{| width="100%" border="1" align="left" cellpadding="1" cellspacing="1"
+
== Example 1 with NL-Play-In  ==
−
|-
+
−
! scope="col" width="15%" | Name
+
−
! scope="col" width="70%" | Description
+
−
! scope="col" width="15%" | LSC
+
−
|-
+
−
| Square PieceClick
+
−
| When the user click any square Sq1, and then click any square Sq2, if the board next turn is equals to the Sq1 piece type then the square Sq1 check_Move square Sq2.&nbsp;
+
−
|
+
−
[[Image:PieceClick.png|thumb|left|LSC]]
+
  
−
|-
+
The LSCs in this section were created using [[PlayGo Feature List#Natural_language_play-in|NL-Play-In]].
−
| Square 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.
+
−
| [[Image:MovePiece.png|thumb|left|LSC]]
+
−
|-
+
−
| Square RemovePiece
+
−
| When&nbsp;the square Sq1 move_Piece to square Sq2, &nbsp;then the square Sq2 emptyPiece the square Sq2.
+
−
| [[Image:RemovePiece.png|thumb|left|LSC]]
+
−
|-
+
−
| Square NextMove
+
−
| When the square Sq1 move_Piece to square Sq2, if the board next turn is "white" the board next turn changes to "black" otherwise if the board next turn is "black" the board next turn changes to "white".
+
−
| [[Image:NextMove.png|thumb|left|LSC]]
+
−
|-
+
−
| Square SetSource
+
−
| When the user click any square Sq1, if the Issource is "empty" then the square Sq1's possible positions are set and the IsSource changes to "set". &nbsp;
+
−
| [[Image:SetSource.png|thumb|left|LSC]]
+
−
|-
+
−
| Square ShowMessage
+
−
| When the user click any square Sq1, if the square IsSource is "empty" and the board next turn not equals the Sq1 piecetype then the square showmessage and the Issource is set to "empty".
+
−
| [[Image:ShowMessage.png|thumb|left|LSC]]
+
−
|-
+
−
| Square ShowMessageReset
+
−
| When the user click any square Sq1, if the square IsSource is "empty" and the board next turn not equals the Sq1 piecetype then the square showmessage and the Issource is set to "empty".
+
−
| [[Image:ShowmessageReset.jpg|thumb|left|LSC]]
+
−
|-
+
−
| Square ResetPossiblePosition
+
−
| When the user click any square Sq1, the square Sq1 setPossiblePosition and the user click any other square Sq2 then the Sq2 resetPossiblePosition of the Sq1.
+
−
| [[Image:ResetPossiblePosition.png|thumb|left|LSC]]
+
−
|}
+
−
 
+
−
<br>
+
−
 
+
−
== Graph and Connections<br>  ==
+
−
 
+
−
===== Example of a not working LSC  =====
+
  
 
<br>
 
<br>
Line 69: Line 24:
 
|-
 
|-
 
! scope="col" width="15%" | Name
 
! scope="col" width="15%" | Name
−
! scope="col" width="70%" | Explanation
+
! scope="col" width="70%" | Requirement in Natural Language Text
 
! scope="col" width="15%" | LSC
 
! scope="col" width="15%" | LSC
 
|-
 
|-
−
| Square ResetHighlight
+
| SelectSource
−
| when the square sq2 is highlighed and the user click that square Sq2 then the square reset the highlight. &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;Since the Sq2 is dynamic and there are more highlighted squares it leads to the universal binding. The&nbsp;
+
−
| [[Image:ResetHighlight.png|thumb|left|LSC]]
+
−
|}
+
−
 
+
−
<br> &nbsp; &nbsp;
+
−
 
+
−
== Example-2 LSCs with Natural Language &nbsp; &nbsp;&nbsp;  ==
+
−
 
+
−
<br>
+
−
 
+
−
{| width="100%" border="1" align="left" cellpadding="1" cellspacing="1"
+
−
|-
+
−
! scope="col" width="15%" | Name
+
−
! scope="col" width="70%" | Natural Language Text
+
−
! scope="col" width="15%" | LSC
+
−
|-
+
−
| ChessNL 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;
 
| 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;
 
|
 
|
Line 95: Line 33:
  
 
|-
 
|-
−
| ChessNL SelectTarget
+
| 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;
 
| when the user clicks any Square, if the board sourcetargetValue is "1" then the Square selectTarget and the board sourcetargetValue changes to "0".&nbsp;
 
|
 
|
Line 101: Line 45:
  
 
|-
 
|-
−
| ChessNL CheckPossibility
+
| CheckPossibility
 
| when any Square selectTarget then the Square checkPossibility. &nbsp;
 
| when any Square selectTarget then the Square checkPossibility. &nbsp;
 
|
 
|
Line 107: Line 51:
  
 
|-
 
|-
−
| ChessNL MovePiece
+
| MovePiece
 
| when any Square checkPossibility, if the Square possibility is "true" then the Square MovePiece. &nbsp;
 
| when any Square checkPossibility, if the Square possibility is "true" then the Square MovePiece. &nbsp;
 
|
 
|
Line 113: Line 57:
  
 
|-
 
|-
−
| ChessNL TurnChange
+
| 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;
 
| 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;
 
|
 
|
Line 119: Line 63:
  
 
|-
 
|-
−
| ChessNL WrongTurn
+
| WrongTurn
 
| when any Square selectSource, if the Square type is "black" and the board state is "white" then the Square showMessage. &nbsp;
 
| when any Square selectSource, if the Square type is "black" and the board state is "white" then the Square showMessage. &nbsp;
 
|
 
|
Line 125: Line 69:
  
 
|-
 
|-
−
| ChessNL WrongTurn2
+
| WrongTurn2
 
| when any Square selectSource, if the Square type is "white" and the board state is "black" then the Square showMessage. &nbsp;
 
| when any Square selectSource, if the Square type is "white" and the board state is "black" then the Square showMessage. &nbsp;
 
|
 
|
Line 131: Line 75:
  
 
|-
 
|-
−
| ChessNL ResetBoard
+
| ResetBoard
 
| when any Square showMessage then the board sourcetargetValue changes to "0". &nbsp;
 
| when any Square showMessage then the board sourcetargetValue changes to "0". &nbsp;
 
|
 
|
Line 137: Line 81:
  
 
|-
 
|-
−
| ChessNL PawnPossiblePosition
+
| checkmate
−
| when any Square selectSource, if the Square piecename is "pawn" then the Square setPossiblePawnSquares. &nbsp;
+
| when any Square MovePiece then the Square check_CheckMate &nbsp;
 
|
 
|
−
[[Image:PawnPossible.png|thumb|left|LSC]]
+
[[Image:Checkmate-NL.png|thumb|left|LSC]]
  
 
|-
 
|-
−
| ChessNL RookPossiblePosition
+
| BlkKingPosition
−
| when any Square selectSource, if the Square piecename is "rook" then the Square setPossibleRookSquares . &nbsp;
+
| when any Square MovePiece, if the Square piecename is "blkking" then the board BlkkingPosition changes to the Square position&nbsp;
 
|
 
|
−
[[Image:RookPossible.png|thumb|left|LSC]]
+
[[Image:BlkKingPosition.png|thumb|left|LSC]]
  
 
|-
 
|-
−
| ChessNL KnightPossiblePosition
+
| WteKingPosition
−
| when any Square selectSource, if the Square piecename is "knight" then the Square setPossibleKnightSquares. &nbsp;
+
| when any Square MovePiece, if the Square piecename is "wteking" then the board WtekingPosition changes to the Square position &nbsp;
 
|
 
|
−
[[Image:KnightPossible.png|thumb|left|LSC]]
+
[[Image:WteKingPosition.png|thumb|left|LSC]]
  
 
|-
 
|-
−
| ChessNL BishopPossiblePosition
+
| Newgame
−
| when any Square selectSource, if the Square piecename is "bishop" then the Square setPossibleBishopSquares. &nbsp;
+
| when the user click the newgame then the newgame loadnewgame and the board reset &nbsp;
 
|
 
|
−
[[Image:BishopPossible.png|thumb|left|LSC]]
+
[[Image:NewGame.png|thumb|left|LSC]]
  
 
|-
 
|-
−
| ChessNL QueenPossiblePosition
+
| ShowScoreblack
−
| when any Square selectSource, if the Square piecename is "queen" then the Square setPossibleQueenSquares . &nbsp;
+
| when the board state change then the BlkScore show the board blackPoint &nbsp;
 
|
 
|
−
[[Image:QueenPossible.png|thumb|left|LSC]]
+
[[Image:ShowScoreblack.png|thumb|left|LSC]]
  
 
|-
 
|-
−
| ChessNL KingPossiblePosition
+
| ShowScorewhite
−
| when any Square selectSource, if the Square piecename is "king" then the Square setPossibleKingSquares . &nbsp;
+
| when the board state change then the WteScore show the board whitePoint &nbsp;
 
|
 
|
−
[[Image:KingPossible.png|thumb|left|LSC]]
+
[[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> <br>
+
<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]].
 +
 
 +
== Example 2 ==
 +
 
 +
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>
 +
 
 +
{| width="100%" border="1" align="left" cellpadding="1" cellspacing="1"
 +
|-
 +
! scope="col" width="15%" | Name
 +
! scope="col" width="70%" | Requirement
 +
! scope="col" width="15%" | LSC
 +
|-
 +
| PieceClick
 +
| When the user click any square Sq1, and then click any square Sq2, if the board next turn is equals to the Sq1 piece type and if the Sq1 is a source then the square Sq1 check_Move square Sq2.&nbsp;
 +
|
 +
[[Image:ClickonPiece.png|thumb|left|LSC]]
 +
 
 +
|-
 +
| MovePiece
 +
| 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]]
 +
|-
 +
| Square RemovePiece
 +
| When&nbsp;the square Sq1 move_Piece to square Sq2, &nbsp;then the square Sq2 emptyPiece the square Sq2.
 +
| [[Image:RemovePiece.png|thumb|left|LSC]]
 +
|-
 +
| NextMove
 +
| When the square Sq1 move_Piece to square Sq2, if the board next turn is "white" the board next turn changes to "black" otherwise if the board next turn is "black" the board next turn changes to "white".
 +
| [[Image:NextMove.png|thumb|left|LSC]]
 +
|-
 +
| SetSource
 +
| When the user click any square Sq1, if the Issource is "empty" then the square Sq1's possible positions are set and the IsSource changes to "set". &nbsp;
 +
| [[Image:SetSource.png|thumb|left|LSC]]
 +
|-
 +
| ShowMessage
 +
| When the user click any square Sq1, if the square IsSource is "empty" and the board next turn not equals the Sq1 piecetype then the square showmessage and the Issource is set to "empty".
 +
| [[Image:ShowMessage.png|thumb|left|LSC]]
 +
|-
 +
| ShowMessageReset
 +
| When the user click any square Sq1, if the square IsSource is "empty" and the board next turn not equals the Sq1 piecetype then the square showmessage and the Issource is set to "empty".
 +
| [[Image:ShowmessageReset.jpg|thumb|left|LSC]]
 +
|-
 +
| ResetPossiblePosition
 +
| When the user click any square Sq1, the square Sq1 setPossiblePosition and the user click any other square Sq2 then the Sq2 resetPossiblePosition of the Sq1.
 +
| [[Image:ResetPossiblePosition.png|thumb|left|LSC]]
 +
|-
 +
| CheckMate
 +
| When the any square Sq2 emptypiece any square Sq1, then isCheck is assigned whether there is any checkmate, if the checkmate is true then the square show the checkmate otherwise square removecheckmate.
 +
| [[Image:Checkmate.png|thumb|left|LSC]]
 +
|-
 +
| kingposition
 +
| When the any square Sq2 emptypiece any square Sq1, if the Sq2 piecname is wteking then the Sq1 removecheckMate and the board wtekingposition is set to the Sq2 position else if the Sq2 piecname is blkking then the Sq1 removecheckMate and the board blkkingposition is set to the Sq2 position .
 +
| [[Image:Kingposition.png|thumb|left|LSC]]
 +
|-
 +
| showturn
 +
| When the board set the Next_turn to any then the NextTurn show the board Next turn.
 +
| [[Image:Showturn.png|thumb|left|LSC]]
 +
|-
 +
| BlackPiecepoint
 +
| When the any square Sq2 emptypiece any square Sq1, if the board Next_turn is white then the blk_score show the black point.
 +
| [[Image:Blackpiecepoint.png|thumb|left|LSC]]
 +
|-
 +
| WhitePiecepoint
 +
| When the any square Sq2 emptypiece any square Sq1, if the board Next_turn is black then the wte_score show the white point.
 +
| [[Image:Whitepiecepoint.png|thumb|left|LSC]]
 +
|-
 +
| GameOver
 +
| When the any square Sq1 movePiece to any square Sq2, if the board black point is 0 then the white won the game otherwise if the board white point is 0 then the black won the game
 +
| [[Image:GameOver.png|thumb|left|LSC]]
 +
|-
 +
| Loadgame
 +
| when the user click NewGame then the NewGame load new game
 +
| [[Image:LoadGame.png|thumb|left|LSC]]
 +
|}
 +
 
 +
<br><br> &nbsp; <br>
 +
 
 +
=== Download the ChessGame Example  ===
 +
 
 +
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)  ====
 +
 
 +
[[Media:ChessGameSwingGUI.zip|Runnable Chess Game with Swing GUI]] <br><br> To run the ChessGame, simply extract the downloaded zip and double click the jar file.<br> &nbsp;
 +
 
 +
==== ChessGame LSC project  ====
 +
 
 +
[[Media:ChessGame.zip|The ChessGame 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 ChessGame example.
 +
##Click finish.
 +
#The ChessGame 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]].
 +
 
 +
<br>
 +
 
 +
== Graph and Connections  ==
 +
 
 +
'''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>
 +
 
 +
'''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>
 +
 
 +
== SystemModel  ==
  
−
== Graph and Connections<br> ==
+
<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>

Latest revision as of 07:50, 8 December 2015

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 [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 Swing, and the game behavior is implemented with LSCs. This example demonstrates LSCs creation in two different ways, which also generates different LSCs:

  1. Using the natural language interface to LSCs (NL-Play-In).
  2. Using the LSC Editor. 

Game Board

ChessGUIScreenShot.png



Example 1 with NL-Play-In

The LSCs in this section were created using NL-Play-In.


Name Requirement in Natural Language Text 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". 
LSC
SetPossiblePosition when any Square selectSource then the Square setPossibleSquares .  
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". 
LSC
CheckPossibility when any Square selectTarget then the Square checkPossibility.  
LSC
MovePiece when any Square checkPossibility, if the Square possibility is "true" then the Square MovePiece.  
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" .  
LSC
WrongTurn when any Square selectSource, if the Square type is "black" and the board state is "white" then the Square showMessage.  
LSC
WrongTurn2 when any Square selectSource, if the Square type is "white" and the board state is "black" then the Square showMessage.  
LSC
ResetBoard when any Square showMessage then the board sourcetargetValue changes to "0".  
LSC
checkmate when any Square MovePiece then the Square check_CheckMate  
LSC
BlkKingPosition when any Square MovePiece, if the Square piecename is "blkking" then the board BlkkingPosition changes to the Square position 
LSC
WteKingPosition when any Square MovePiece, if the Square piecename is "wteking" then the board WtekingPosition changes to the Square position  
LSC
Newgame when the user click the newgame then the newgame loadnewgame and the board reset  
LSC
ShowScoreblack when the board state change then the BlkScore show the board blackPoint  
LSC
ShowScorewhite when the board state change then the WteScore show the board whitePoint  
LSC
ShowNextTurn when the board state change then the NextTurndisplay show the board state  
LSC
ResetPossiblePosition when any Square selectTarget then the Square reset  
LSC
WrongTurnReset when any Square showMessage then the Square reset  
LSC


 
 

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.

ChessProject final application (runnable jar)

Runnable ChessProject with Swing GUI

To run the ChessProject, simply extract the downloaded zip and double click the jar file.
 

ChessProject LSC project

The ChessProject LSC Project (for development purposes)

Installation Instructions
  1. Extract the downloaded zip.
  2. Download PlayGo.
  3. Import the downloaded project to your workspace:
    1. From the File menu choose Import-->General-->Existing Projects into Workspace.
    2. Click the 'Next' button.
    3. When prompted, select the directory to which you extracted the downloaded ChessProject example.
    4. Click finish.
  4. The ChessProject example project is now part of your workspace. You can start playing with it. For details refer to how to play out.

Example 2

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.


Name Requirement LSC
PieceClick When the user click any square Sq1, and then click any square Sq2, if the board next turn is equals to the Sq1 piece type and if the Sq1 is a source then the square Sq1 check_Move square Sq2. 
LSC
MovePiece When a square Sq1 check_Move square Sq2, canmove is assigned with whether the movement of piece from square Sq1 to Sq2 is possible,  if the piece canmove and Sq1 piecetype is not equals to Sq2 piecetype then the square Sq1 move_Piece to square Sq2.
LSC
Square RemovePiece When the square Sq1 move_Piece to square Sq2,  then the square Sq2 emptyPiece the square Sq2.
LSC
NextMove When the square Sq1 move_Piece to square Sq2, if the board next turn is "white" the board next turn changes to "black" otherwise if the board next turn is "black" the board next turn changes to "white".
LSC
SetSource When the user click any square Sq1, if the Issource is "empty" then the square Sq1's possible positions are set and the IsSource changes to "set".  
LSC
ShowMessage When the user click any square Sq1, if the square IsSource is "empty" and the board next turn not equals the Sq1 piecetype then the square showmessage and the Issource is set to "empty".
LSC
ShowMessageReset When the user click any square Sq1, if the square IsSource is "empty" and the board next turn not equals the Sq1 piecetype then the square showmessage and the Issource is set to "empty".
LSC
ResetPossiblePosition When the user click any square Sq1, the square Sq1 setPossiblePosition and the user click any other square Sq2 then the Sq2 resetPossiblePosition of the Sq1.
LSC
CheckMate When the any square Sq2 emptypiece any square Sq1, then isCheck is assigned whether there is any checkmate, if the checkmate is true then the square show the checkmate otherwise square removecheckmate.
LSC
kingposition When the any square Sq2 emptypiece any square Sq1, if the Sq2 piecname is wteking then the Sq1 removecheckMate and the board wtekingposition is set to the Sq2 position else if the Sq2 piecname is blkking then the Sq1 removecheckMate and the board blkkingposition is set to the Sq2 position .
LSC
showturn When the board set the Next_turn to any then the NextTurn show the board Next turn.
LSC
BlackPiecepoint When the any square Sq2 emptypiece any square Sq1, if the board Next_turn is white then the blk_score show the black point.
LSC
WhitePiecepoint When the any square Sq2 emptypiece any square Sq1, if the board Next_turn is black then the wte_score show the white point.
LSC
GameOver When the any square Sq1 movePiece to any square Sq2, if the board black point is 0 then the white won the game otherwise if the board white point is 0 then the black won the game
LSC
Loadgame when the user click NewGame then the NewGame load new game
LSC



 

Download the ChessGame Example

Below are downloads of the ChessGame final application, as well as the LSC project that can be opened and modified in PlayGo.

ChessGame final application (runnable jar)

Runnable Chess Game with Swing GUI

To run the ChessGame, simply extract the downloaded zip and double click the jar file.
 

ChessGame LSC project

The ChessGame LSC Project (for development purposes)

Installation Instructions
  1. Extract the downloaded zip.
  2. Download PlayGo.
  3. Import the downloaded project to your workspace:
    1. From the File menu choose Import-->General-->Existing Projects into Workspace.
    2. Click the 'Next' button.
    3. When prompted, select the directory to which you extracted the downloaded ChessGame example.
    4. Click finish.
  4. The ChessGame example project is now part of your workspace. You can start playing with it. For details refer to how to play out.


Graph and Connections

Example1-ChessProject
 
SIV Graph
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.
For details, see [| SIV-Plugin].
 

Example2-ChessGame
 
SIV Graph
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.
Note: messages were unified here regardless of the parameters, since parameters are symbolic, e.g., MovePiece(String piecename).
For details, see[| SIV-Plugin].


 

SystemModel


 
Example1-ChessProject
 SystemModel
 
Example2-ChessGame
 System Model
 

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