CSSA(ID:1314/css001)

1.....script NODE is
2.....defines KNOW, MARK, ECHO;
3.....uses MARK, ECHO;
4.....type AGENT_LIST is set of agent;
5.....var AGENT_LIST: NEIGHBORS;
6.....var agent: ACTIVATOR;
7.....facet NOT_MARKED is
8.....operation KNOW (int:I; array [1 . . I]
9.....of agent: N) assert I > = 1 is
10.....loop for J in 1 . . I do
11.....put N[J] into NEIGHBORS;
12.....endloop;
13.....endoperation;
14.....operation MARK(-- > ACTIVATOR)
15.....assert not empty(NEIGHBORS) is
16.....send MARK(self) to NEIGHBORS;
17.....replace by MARKED;
18.....endoperation;
19.....operation MARK(agent: SENDER)
20.....assert empty(NEIGHBORS) is
21.....send ECHO(self) to SENDER;
22.....replace by MARKED;
23.....endoperation;
24.....endfacet;
25.....facet MARKED is
26.....operation MARK(agent: SENDER) is
27.....send ECHO(self) to SENDER;
28.....endoperation;
29.....operation ECHO(agent: A) is
30.....remove A from NEIGHBORS;
31.....if empty(NEIGHBORS)
32.....then send ECHO(self) to ACTIVATOR;
33.....endif;
34.....endoperation;
35.....endfacet;
36.....initial NOT_MARKED;
37 endscript