Game01
Documentation

Properties:

1 Package Game01

1.1 Use Case View Use Cases

Use Case Diagrams



Class User
Class Referee
Class Player1
Class Player2
Class Player3

1.1.1 Use Case Game Set Up

In the game set up, the user tells
the Referee where to find the input
text file that identifies which agents
can communicate with each other, and
what the original domain values of
each agent are. This scenario also
tells the Historian where to write
the transaction history when the game
is wrapping up.

1.1.2 Use Case Initialization

In Initialization, the Referee
communicates the agent initial
values and the History output
file.

1.1.3 Use Case Game Play

Game play proceeds by having one
agent contact a second to receive
the Current_Selection of Domain
values. The receiving agent then
compares his Current_Selection and
removes Selections that are inconsistent
with those just brought in by the
rendezvous. After this, the receiving
agent sends a transaction to the
Historian. Finally, if there has
been no change of state after contacting
all of the possible communicants,
or if there are no values in the
Current_Selections, the agent contacts
the Referee to note the fact of
this agent not seeing any point in
continuing to revise his Selections.

1.1.4 Use Case History Writing

When the Referee has received notice
that all of the agents have finished
revising their selections, he requests
that the Historian write out the
transaction record, together with
a statement as to the final state
of the game. Then, the Referee
notifies the user that the Historian's
output can be found at a particular
location.

Game Play



1.1.5 State Player_State

Entry Behavior :

Exit Behavior :

Do activity :

Stereotype: machine

Player_State_Diagram



Initial pseudo state

Defined in Player_State

Transition Accept_Input

From initial pseudo state To Initializing

Trigger :

    Guard :

      Activity :

        1.1.5.1 State Initializing

        Entry Behavior :

          Exit Behavior :

            Do activity :

              Transition Initialized

              From Initializing To Participate_In_Play

              Trigger :

                Guard :

                  Activity :

                    1.1.5.2 State Terminating

                    Entry Behavior :

                      Exit Behavior :

                        Do activity :

                          Transition <transition>

                          From Terminating To final state

                          Trigger :

                            Guard :

                              Activity :

                                State action receive-signal

                                Stereotype: receive-signal

                                Defined in Player_State

                                Expression :

                                  Transition Game_Done

                                  From state action To Terminating

                                  Trigger :

                                    Guard :

                                      Activity :

                                        1.1.5.3 State Participate_In_Play

                                        Entry Behavior :

                                          Exit Behavior :

                                            Do activity :

                                              Initial pseudo state

                                              Stereotype: Not_Playing

                                              Defined in Participate_In_Play

                                              Transition <transition>

                                              From initial pseudo state To Waiting

                                              Trigger :

                                                Guard :

                                                  Activity :

                                                    1.1.5.3.1 State Waiting

                                                    Entry Behavior :

                                                      Exit Behavior :

                                                        Do activity :

                                                          1.1.5.3.2 State Playing

                                                          Entry Behavior :

                                                            Exit Behavior :

                                                              Do activity :

                                                                Transition <transition>

                                                                From Playing To state action

                                                                Trigger :

                                                                  Guard :

                                                                    Activity :

                                                                      Transition <transition>

                                                                      From Playing To state action

                                                                      Trigger :

                                                                        Guard :

                                                                          Activity :

                                                                            Transition Not Playing

                                                                            From Playing To Waiting

                                                                            Trigger :

                                                                              Guard :

                                                                                Activity :

                                                                                  State action receive-signal

                                                                                  Stereotype: receive-signal

                                                                                  Defined in Participate_In_Play

                                                                                  Expression :

                                                                                    Transition Start_Play

                                                                                    From state action To Playing

                                                                                    Trigger :

                                                                                      Guard :

                                                                                        Activity :

                                                                                          State action send-signal

                                                                                          Stereotype: send-signal

                                                                                          Defined in Participate_In_Play

                                                                                          Expression :

                                                                                            State action send-signal

                                                                                            Stereotype: send-signal

                                                                                            Defined in Participate_In_Play

                                                                                            Expression :

                                                                                              State action receive-signal

                                                                                              Stereotype: receive-signal

                                                                                              Defined in Participate_In_Play

                                                                                              Expression :

                                                                                                Transition <transition>

                                                                                                From state action To Playing

                                                                                                Trigger :

                                                                                                  Guard :

                                                                                                    Activity :

                                                                                                      Final state

                                                                                                      Defined in Player_State

                                                                                                      1.1.5.4 State Provide_Selection

                                                                                                      Entry Behavior :

                                                                                                        Exit Behavior :

                                                                                                          Do activity :

                                                                                                            Transition <transition>

                                                                                                            From Provide_Selection To state action

                                                                                                            Trigger :

                                                                                                              Guard :

                                                                                                                Activity :

                                                                                                                  State action receive-signal

                                                                                                                  Stereotype: receive-signal

                                                                                                                  Defined in Player_State

                                                                                                                  Expression :

                                                                                                                    Transition <transition>

                                                                                                                    From state action To Provide_Selection

                                                                                                                    Trigger :

                                                                                                                      Guard :

                                                                                                                        Activity :

                                                                                                                          State action send-signal

                                                                                                                          Stereotype: send-signal

                                                                                                                          Defined in Player_State

                                                                                                                          Expression :

                                                                                                                            1.2 Class View Classes

                                                                                                                            Class Diagram



                                                                                                                            Class Player