<< Prev | - Up - | Next >> |
Here is a more precise description of the model:
All agents are stateless. Processing may add new agents to the system and new information and control items to the board.
Each agent processes each information item on the board exactely once.
After having processed an information item, an agend has to post the control item itemProcessed
to the board.
Before a new agent is created the control item newAgent
is posted to the board.
There is an initialization phase which create some agents and information items. When this phased is finish, the control item initialized
is posted to the board.
When the whatcher detects termination then he send the control item stop
to the board.
When the whatcher detects termination then he send the control item stop
to the board.
If stop is on the board then all agents terminate. The result consists in the finite subset of information items on the board.
<< Prev | - Up - | Next >> |