blob: 66afb443e216b58d01a381e14a58f5c11175e1b4 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
|
[entities]
# define the entities in the system (in order)
client
libmap_cl
libtcap_cl
libtcap_srv
libmap_srv
server
[messages]
# define the protocol messages in-order
client libmap_cl "MAP-OPEN.req"
client libmap_cl "MAP-INVOKE.req"
libmap_cl libtcap_cl "TC-INVOKE.req"
client libmap_cl "MAP-INVOKE.req"
libmap_cl libtcap_cl "TC-INVOKE.req"
client libmap_cl "MAP-DELIMITER.req"
libmap_cl libtcap_cl "TC-BEGIN.req"
libtcap_cl libtcap_srv "TC-BEGIN(INV, INV)"
libtcap_srv libmap_srv "TC-BEGIN.ind"
libmap_srv server "MAP-OPEN.ind"
server libmap_srv "MAP-OPEN.resp"
libtcap_srv libmap_srv "TC-INVOKE.ind"
libmap_srv server "MAP-INVOKE.ind"
server libmap_srv "MAP-RESULT-L.req"
libmap_srv libtcap_srv "TC-RESULT-L.req"
libtcap_srv libmap_srv "TC-INVOKE.ind (last)"
libmap_srv server "MAP-INVOKE.ind"
server libmap_srv "MAP-RESULT-L.req"
libmap_srv libtcap_srv "TC-RESULT-L.req"
libmap_srv server "MAP-DELIMITER.ind"
server libmap_srv "MAP-DELIMITER.req"
libmap_srv libtcap_srv "TC-CONTINUE.req"
libtcap_srv libtcap_cl "TC-CONTINUE(ResL, ResL)"
libtcap_cl libmap_cl "TC-CONTINUE.req"
libmap_cl client "MAP-OPEN.resp"
libtcap_cl libmap_cl "TC-RESULT-L.ind"
libmap_cl client "MAP-RESULT-L.ind"
libtcap_cl libmap_cl "TC-RESULT-L.ind (last)"
libmap_cl client "MAP-RESULT-L.ind"
libmap_cl client "MAP-DELIMITER.ind"
|
