Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : application alert for state equality detection
[simgrid.git] / src / surf / simgrid.dtd
1 <!-- Small DTD for SURF based tools. -->
2 <!ELEMENT platform ((config|random)*,(include|cluster|peer|AS|trace|trace_connect)*,(process)*)>
3 <!ATTLIST platform version CDATA "0.0">
4
5 <!ELEMENT include (include|cluster|peer|AS|trace|trace_connect)*>
6 <!ATTLIST include file CDATA #REQUIRED>
7
8 <!ELEMENT trace (#PCDATA)>
9 <!ATTLIST trace id CDATA #REQUIRED>
10 <!ATTLIST trace file CDATA "">
11 <!ATTLIST trace periodicity CDATA #REQUIRED>
12
13 <!ELEMENT random (prop*)>
14 <!ATTLIST random id CDATA #REQUIRED>
15 <!ATTLIST random min CDATA #REQUIRED>
16 <!ATTLIST random max CDATA #REQUIRED>
17 <!ATTLIST random mean CDATA #REQUIRED>
18 <!ATTLIST random std_deviation CDATA #REQUIRED>
19 <!ATTLIST random seed CDATA "2147483647">
20 <!ATTLIST random radical CDATA "">
21 <!ATTLIST random generator (DRAND48|RAND|RNGSTREAM|NONE) "DRAND48">
22
23 <!ELEMENT trace_connect EMPTY>
24 <!ATTLIST trace_connect kind (HOST_AVAIL|POWER|LINK_AVAIL|BANDWIDTH|LATENCY) "HOST_AVAIL">
25 <!ATTLIST trace_connect trace CDATA #REQUIRED>
26 <!ATTLIST trace_connect element CDATA #REQUIRED>
27
28 <!ELEMENT AS (((AS|include|storage_type|storage|link|backbone|cluster|peer|trace|trace_connect)*,(ASroute|trace|trace_connect|bypassASroute)*,(trace|trace_connect)*)|((include|storage_type|storage|host|router|link|backbone|trace|trace_connect|host_link)*,(route|trace|trace_connect|bypassRoute)*))>
29
30 <!ATTLIST AS id CDATA #REQUIRED>
31 <!ATTLIST AS routing (Full|Floyd|Dijkstra|DijkstraCache|None|RuleBased|Vivaldi|Cluster) "None">
32
33 <!ELEMENT storage_type (prop*)>
34 <!ATTLIST storage_type id       CDATA #REQUIRED>
35 <!ATTLIST storage_type model    CDATA #REQUIRED>
36 <!ATTLIST storage_type size     CDATA #REQUIRED>
37 <!ATTLIST storage_type content  CDATA "">
38
39 <!ELEMENT storage (prop*)>
40 <!ATTLIST storage id CDATA #REQUIRED>
41 <!ATTLIST storage typeId CDATA #REQUIRED>
42 <!ATTLIST storage content  CDATA "">
43
44 <!ELEMENT mount EMPTY>
45 <!ATTLIST mount id CDATA #REQUIRED>
46 <!ATTLIST mount name CDATA #REQUIRED>
47
48 <!ELEMENT mstorage EMPTY>
49 <!ATTLIST mstorage typeId CDATA #REQUIRED>
50 <!ATTLIST mstorage name CDATA #REQUIRED>
51
52 <!ELEMENT host (prop|mount|mstorage)*>
53 <!ATTLIST host id CDATA #REQUIRED>
54 <!ATTLIST host power CDATA #REQUIRED>
55 <!ATTLIST host core  CDATA "1">
56 <!ATTLIST host availability CDATA "1.0">
57 <!ATTLIST host availability_file CDATA "">
58 <!ATTLIST host state (ON|OFF) "ON">
59 <!ATTLIST host state_file CDATA "">
60 <!ATTLIST host coordinates  CDATA "">
61
62 <!ELEMENT host_link EMPTY>
63 <!ATTLIST host_link id CDATA #REQUIRED>
64 <!ATTLIST host_link up CDATA #REQUIRED>
65 <!ATTLIST host_link down CDATA #REQUIRED>
66
67 <!ELEMENT cluster EMPTY>
68 <!ATTLIST cluster id CDATA #REQUIRED>
69 <!ATTLIST cluster prefix CDATA #REQUIRED>
70 <!ATTLIST cluster suffix CDATA #REQUIRED>
71 <!ATTLIST cluster radical CDATA #REQUIRED>
72 <!ATTLIST cluster power CDATA #REQUIRED>
73 <!ATTLIST cluster core CDATA "1">
74 <!ATTLIST cluster bw CDATA #REQUIRED>
75 <!ATTLIST cluster lat CDATA #REQUIRED>
76 <!ATTLIST cluster sharing_policy (SHARED|FULLDUPLEX|FATPIPE) "FULLDUPLEX">
77 <!ATTLIST cluster bb_bw CDATA "">
78 <!ATTLIST cluster bb_lat CDATA "">
79 <!ATTLIST cluster bb_sharing_policy (SHARED|FATPIPE) "SHARED">
80 <!ATTLIST cluster availability_file CDATA "">
81 <!ATTLIST cluster state_file CDATA "">
82 <!ATTLIST cluster router_id CDATA "">
83
84 <!ELEMENT peer EMPTY>
85 <!ATTLIST peer id CDATA #REQUIRED>
86 <!ATTLIST peer power CDATA #REQUIRED>
87 <!ATTLIST peer bw_in CDATA #REQUIRED>
88 <!ATTLIST peer bw_out CDATA #REQUIRED>
89 <!ATTLIST peer lat CDATA #REQUIRED>
90 <!ATTLIST peer coordinates CDATA "">
91 <!ATTLIST peer availability_file CDATA "">
92 <!ATTLIST peer state_file CDATA "">
93
94 <!ELEMENT router EMPTY>
95 <!ATTLIST router id CDATA #REQUIRED>
96 <!ATTLIST router coordinates  CDATA "">
97
98 <!ELEMENT backbone EMPTY>
99 <!ATTLIST backbone id CDATA #REQUIRED>
100 <!ATTLIST backbone bandwidth CDATA  #REQUIRED>
101 <!ATTLIST backbone latency CDATA #REQUIRED>
102
103 <!ELEMENT link (prop*)>
104 <!ATTLIST link id CDATA #REQUIRED>
105 <!ATTLIST link bandwidth CDATA  #REQUIRED>
106 <!ATTLIST link bandwidth_file CDATA "">
107 <!ATTLIST link latency CDATA "0.0">
108 <!ATTLIST link latency_file CDATA "">
109 <!ATTLIST link state (ON|OFF) "ON">
110 <!ATTLIST link state_file CDATA "">
111 <!ATTLIST link sharing_policy (SHARED|FATPIPE|FULLDUPLEX) "SHARED">
112
113 <!ELEMENT route (link_ctn*)>
114 <!ATTLIST route src CDATA #REQUIRED>
115 <!ATTLIST route dst CDATA #REQUIRED>
116 <!ATTLIST route symmetrical (YES|NO) "YES">
117
118 <!ELEMENT ASroute (link_ctn*)>
119 <!ATTLIST ASroute src CDATA #REQUIRED>
120 <!ATTLIST ASroute dst CDATA #REQUIRED>
121 <!ATTLIST ASroute gw_src CDATA #REQUIRED>
122 <!ATTLIST ASroute gw_dst CDATA #REQUIRED>
123 <!ATTLIST ASroute symmetrical (YES|NO) "YES">
124
125 <!ELEMENT link_ctn EMPTY>
126 <!ATTLIST link_ctn id CDATA #REQUIRED>
127 <!ATTLIST link_ctn direction (UP|DOWN|NONE) "NONE">
128
129 <!ELEMENT bypassRoute (link_ctn*)>
130 <!ATTLIST bypassRoute src CDATA #REQUIRED>
131 <!ATTLIST bypassRoute dst CDATA #REQUIRED>
132
133 <!ELEMENT bypassASroute (link_ctn*)>
134 <!ATTLIST bypassASroute src CDATA #REQUIRED>
135 <!ATTLIST bypassASroute dst CDATA #REQUIRED>
136 <!ATTLIST bypassASroute gw_src CDATA #REQUIRED>
137 <!ATTLIST bypassASroute gw_dst CDATA #REQUIRED>
138
139 <!ELEMENT process ((argument|prop)*)>
140 <!ATTLIST process host CDATA #REQUIRED>
141 <!ATTLIST process function CDATA #REQUIRED>
142 <!ATTLIST process start_time CDATA "-1.0">
143 <!ATTLIST process kill_time CDATA "-1.0">
144 <!ATTLIST process on_failure (DIE|RESTART) "DIE">
145
146 <!ELEMENT argument EMPTY>
147 <!ATTLIST argument value CDATA #REQUIRED>
148
149 <!ELEMENT config (prop*)>
150 <!ATTLIST config id CDATA "">
151
152 <!ELEMENT prop EMPTY>
153 <!ATTLIST prop id CDATA #REQUIRED> <!-- <!ATTLIST prop key CDATA #REQUIRED> -->
154 <!ATTLIST prop value CDATA #REQUIRED>