Tic-Tac-Toe - Revision history

Assaf: /* Verification Example */

2014-04-27T19:15:35Z

‎Verification Example

2014-04-27T19:14:13Z

2014-04-17T09:56:40Z

‎Strategies

2014-04-17T07:57:19Z

2014-04-17T07:48:50Z

‎A behavioral program for the game of Tic-Tac-Toe

2014-04-17T07:36:02Z

2014-04-17T07:34:59Z

2014-04-15T08:42:20Z

‎A behavioral program for the game of Tic-Tac-Toe

2014-04-15T08:41:54Z

‎b-Threads

2014-04-07T08:14:32Z

← Older revision		Revision as of 19:15, 27 April 2014
Line 47:		Line 47:
	##The tic-tac-toe example project is now part of your workspace.		##The tic-tac-toe example project is now part of your workspace.
	##Refer to the readme.txt file for execution instructions.		##Refer to the readme.txt file for execution instructions.
−
−	~~== Verification Example ==~~
−	* [www.Movie:

← Older revision		Revision as of 19:14, 27 April 2014
Line 47:		Line 47:
	##The tic-tac-toe example project is now part of your workspace.		##The tic-tac-toe example project is now part of your workspace.
	##Refer to the readme.txt file for execution instructions.		##Refer to the readme.txt file for execution instructions.
		+
		+	== Verification Example ==
		+	* [www.Movie:

@@ Line 27: / Line 27: @@
 *AddThirdO: when two Os are located on a single line,  add a third O (and win).
 *PreventXFork: when two Xs are noticed, in a corner and opposing edge such that X may force a win,  mark an O in the intersection corner of the potential fork, thus preventing its creation.
-*PreventAnotherXFork: when the first two Xs are marked in two opposite corners  and the first O is marked at the center, request O_<0,1>.
+*PreventAnotherXFork: when the first two Xs are marked in two opposite corners  and the first O is marked at the center, request O_<0,1>. In the spirit of ``the best defense is a good offense'', this move creates an attack that forces X to play X_<2,1>, and seems to avoid the immediate fork threat.
 In the spirit of ``the best defense is a good offense'', this move creates an attack that forces X to play X_<2,1>, and seems to avoid the immediate fork threat.
 *PreventYetAnotherXFork: when two Xs are noticed in two edge squares that are adjacent to a common corner, mark an O in that corner.

@@ Line 1: / Line 1: @@
 = A behavioral program for the game of Tic-Tac-Toe =
 == Game Description ==
@@ Line 47: / Line 37: @@
 == Design Notes ==
 For some b-threads such as DefaultMoves there is a single instance. Other b-threads, such as AddThirdO are parametric, and there is a separate instance of the b-thread for each ordering of the three events in each row, column and diagonal. Thus, in the present design such b-threads do not maintain a copy of the board, but instead are simply waiting for very specific two events in a given order and responding with other events. Other designs are of course possible> for example a b-thread can be responsible for three events in any order, wait for any two in any order and then request the third. In another design a b-thread can maintain a copy of the board, wait for almost any event, keep track of board configuration changes, look for lines to complete, and request the corresponding move events.

@@ Line 4: / Line 4: @@
 # Installation Instructions:
 ##Import the downloaded project to your workspace:
-###From the File menu choose Import--&gt;General--&gt;Existing Projects into Workspace.
+###From the 'File' menu choose 'Import'--&gt;'General'--&gt;'Existing Projects into Workspace'.
 ###Click the 'Next' button.
-###When prompted, select the downloaded zip file.
+###Click the 'Select archive file' option and then click the 'Browse...' button to select the downloaded zip file.
-###Click finish.
+###Click 'Finish'.
 ##The tic-tac-toe example project is now part of your workspace.
 ##Refer to the readme.txt file for execution instructions.

@@ Line 33: / Line 33: @@
 *PreventYetAnotherXFork: when two Xs are noticed in two edge squares that are adjacent to a common corner, mark an O in that corner.
 == Other Classes ==
 *ExternalApp: The main class of the application. Loads and starts the b-threads
 *GUI: Manages the display

@@ Line 15: / Line 15: @@
 == b-Threads ==
-Below are listed the b-threads of the application. For some b-threads such as DefaultMoves there is a single instance. Other b-threads, such as AddThirdO are parametric, and there is an instance of the b-thread for each configuration. Thus in the present design such b-threads do not maintain a copy of the board, but instead are simply waiting for very specific two events in a given order and responding with other events. Other designs are of course possible.
+Below are listed the b-threads of the application.
 === Rules of the game ===