%PDF-1.4
%
1 0 obj
<<
/Creator ( TeX output 2011.03.07:1032)
/ModDate (D:20120921144059-03'00')
/Producer (MiKTeX-dvipdfmx \(20100328\))
/CreationDate (D:20110307103340+01'00')
/PXCViewerInfo (PDF-XChange Viewer;2.5.193.0;Feb 15 2011;21:26:46;D:20120921144059-03'00')
>>
endobj
2 0 obj
<<
/Type /Catalog
/Names 3 0 R
/Pages 4 0 R
/Metadata 5 0 R
>>
endobj
3 0 obj
<<
/Dests 6 0 R
>>
endobj
4 0 obj
<<
/Kids [7 0 R 8 0 R 9 0 R 10 0 R]
/Type /Pages
/Count 33
/MediaBox [0 0 595.28 841.89]
>>
endobj
5 0 obj
<<
/Type /Metadata
/Length 2866
/Subtype /XML
>>
stream
2011-03-07T11:33:40+02:00
TeX output 2011.03.07:1032
2012-09-21T14:40:59-03:00
MiKTeX-dvipdfmx (20100328)
application/pdf
endstream
endobj
6 0 obj
<<
/Kids [11 0 R 12 0 R 13 0 R 14 0 R]
>>
endobj
7 0 obj
<<
/Kids [15 0 R 16 0 R 17 0 R 18 0 R]
/Type /Pages
/Count 8
/Parent 4 0 R
>>
endobj
8 0 obj
<<
/Kids [19 0 R 20 0 R 21 0 R 22 0 R]
/Type /Pages
/Count 8
/Parent 4 0 R
>>
endobj
9 0 obj
<<
/Kids [23 0 R 24 0 R 25 0 R 26 0 R]
/Type /Pages
/Count 8
/Parent 4 0 R
>>
endobj
10 0 obj
<<
/Kids [27 0 R 28 0 R 29 0 R 30 0 R]
/Type /Pages
/Count 9
/Parent 4 0 R
>>
endobj
11 0 obj
<<
/Kids [31 0 R 32 0 R 33 0 R 34 0 R]
/Limits [(citation:Alonso00) (fig:algorithm-find-failing-rules)]
>>
endobj
12 0 obj
<<
/Kids [35 0 R 36 0 R 37 0 R 38 0 R]
/Limits [(fig:algorithm-find-sub-correlation) (line:algorithm-find-correlation:10)]
>>
endobj
13 0 obj
<<
/Kids [39 0 R 40 0 R 41 0 R 42 0 R]
/Limits [(line:algorithm-find-correlation:11) (line:algorithm-handle-event:3)]
>>
endobj
14 0 obj
<<
/Kids [43 0 R 44 0 R 45 0 R 46 0 R]
/Limits [(line:algorithm-handle-event:4) (theo:verify-correlation)]
>>
endobj
15 0 obj
<<
/Kids [47 0 R 48 0 R]
/Type /Pages
/Count 2
/Parent 7 0 R
>>
endobj
16 0 obj
<<
/Kids [49 0 R 50 0 R]
/Type /Pages
/Count 2
/Parent 7 0 R
>>
endobj
17 0 obj
<<
/Kids [51 0 R 52 0 R]
/Type /Pages
/Count 2
/Parent 7 0 R
>>
endobj
18 0 obj
<<
/Kids [53 0 R 54 0 R]
/Type /Pages
/Count 2
/Parent 7 0 R
>>
endobj
19 0 obj
<<
/Kids [55 0 R 56 0 R]
/Type /Pages
/Count 2
/Parent 8 0 R
>>
endobj
20 0 obj
<<
/Kids [57 0 R 58 0 R]
/Type /Pages
/Count 2
/Parent 8 0 R
>>
endobj
21 0 obj
<<
/Kids [59 0 R 60 0 R]
/Type /Pages
/Count 2
/Parent 8 0 R
>>
endobj
22 0 obj
<<
/Kids [61 0 R 62 0 R]
/Type /Pages
/Count 2
/Parent 8 0 R
>>
endobj
23 0 obj
<<
/Kids [63 0 R 64 0 R]
/Type /Pages
/Count 2
/Parent 9 0 R
>>
endobj
24 0 obj
<<
/Kids [65 0 R 66 0 R]
/Type /Pages
/Count 2
/Parent 9 0 R
>>
endobj
25 0 obj
<<
/Kids [67 0 R 68 0 R]
/Type /Pages
/Count 2
/Parent 9 0 R
>>
endobj
26 0 obj
<<
/Kids [69 0 R 70 0 R]
/Type /Pages
/Count 2
/Parent 9 0 R
>>
endobj
27 0 obj
<<
/Kids [71 0 R 72 0 R]
/Type /Pages
/Count 2
/Parent 10 0 R
>>
endobj
28 0 obj
<<
/Kids [73 0 R 74 0 R]
/Type /Pages
/Count 2
/Parent 10 0 R
>>
endobj
29 0 obj
<<
/Kids [75 0 R 76 0 R]
/Type /Pages
/Count 2
/Parent 10 0 R
>>
endobj
30 0 obj
<<
/Kids [77 0 R 78 0 R 79 0 R]
/Type /Pages
/Count 3
/Parent 10 0 R
>>
endobj
31 0 obj
<<
/Kids [80 0 R 81 0 R 82 0 R 83 0 R]
/Limits [(citation:Alonso00) (citation:Chengfei-Liu01)]
>>
endobj
32 0 obj
<<
/Kids [84 0 R 85 0 R 86 0 R 87 0 R]
/Limits [(citation:Chiu99) (citation:Khanna07)]
>>
endobj
33 0 obj
<<
/Kids [88 0 R 89 0 R 90 0 R 91 0 R]
/Limits [(citation:Laguna09) (citation:WS-CDL-SPEC)]
>>
endobj
34 0 obj
<<
/Kids [92 0 R 93 0 R 94 0 R 95 0 R]
/Limits [(citation:Yan05) (fig:algorithm-find-failing-rules)]
>>
endobj
35 0 obj
<<
/Kids [96 0 R 97 0 R 98 0 R 99 0 R]
/Limits [(fig:algorithm-find-sub-correlation) (fig:pipeline-pattern)]
>>
endobj
36 0 obj
<<
/Kids [100 0 R 101 0 R 102 0 R 103 0 R]
/Limits [(fig:request-reply-pattern) (fig:syntactic-sugar-rules)]
>>
endobj
37 0 obj
<<
/Kids [104 0 R 105 0 R 106 0 R 107 0 R]
/Limits [(fig:textual-syntax-rules) (line:algorithm-detect-errors:8)]
>>
endobj
38 0 obj
<<
/Kids [108 0 R 109 0 R 110 0 R 111 0 R]
/Limits [(line:algorithm-detect-errors:9) (line:algorithm-find-correlation:10)]
>>
endobj
39 0 obj
<<
/Kids [112 0 R 113 0 R 114 0 R 115 0 R]
/Limits [(line:algorithm-find-correlation:11) (line:algorithm-find-correlation:2)]
>>
endobj
40 0 obj
<<
/Kids [116 0 R 117 0 R 118 0 R 119 0 R]
/Limits [(line:algorithm-find-correlation:20) (line:algorithm-find-failing-rules:1)]
>>
endobj
41 0 obj
<<
/Kids [120 0 R 121 0 R 122 0 R 123 0 R]
/Limits [(line:algorithm-find-failing-rules:10) (line:algorithm-find-failing-rules:9)]
>>
endobj
42 0 obj
<<
/Kids [124 0 R 125 0 R 126 0 R 127 0 R]
/Limits [(line:algorithm-find-sub-correlation:1) (line:algorithm-handle-event:3)]
>>
endobj
43 0 obj
<<
/Kids [128 0 R 129 0 R 130 0 R 131 0 R]
/Limits [(line:algorithm-handle-event:4) (line:algorithm-verify-correlation:12)]
>>
endobj
44 0 obj
<<
/Kids [132 0 R 133 0 R 134 0 R 135 0 R]
/Limits [(line:algorithm-verify-correlation:13) (sec:acknowledgements)]
>>
endobj
45 0 obj
<<
/Kids [136 0 R 137 0 R 138 0 R 139 0 R]
/Limits [(sec:complexity-analysis) (sec:meta-information-database)]
>>
endobj
46 0 obj
<<
/Kids [140 0 R 141 0 R 142 0 R 143 0 R]
/Limits [(sec:related-work) (theo:verify-correlation)]
>>
endobj
47 0 obj
<<
/Type /Page
/Annots [144 0 R 145 0 R 146 0 R 147 0 R 148 0 R 149 0 R 150 0 R 151 0 R]
/Parent 15 0 R
/Contents [152 0 R]
/Resources 153 0 R
>>
endobj
48 0 obj
<<
/Type /Page
/Annots 154 0 R
/Parent 15 0 R
/Contents [155 0 R]
/Resources 156 0 R
>>
endobj
49 0 obj
<<
/Type /Page
/Annots 157 0 R
/Parent 16 0 R
/Contents [158 0 R]
/Resources 159 0 R
>>
endobj
50 0 obj
<<
/Type /Page
/Annots 160 0 R
/Parent 16 0 R
/Contents [161 0 R]
/Resources 162 0 R
>>
endobj
51 0 obj
<<
/Type /Page
/Annots 163 0 R
/Parent 17 0 R
/Contents [164 0 R]
/Resources 165 0 R
>>
endobj
52 0 obj
<<
/Type /Page
/Annots 166 0 R
/Parent 17 0 R
/Contents [167 0 R]
/Resources 168 0 R
>>
endobj
53 0 obj
<<
/Type /Page
/Annots 169 0 R
/Parent 18 0 R
/Contents [170 0 R]
/Resources 171 0 R
>>
endobj
54 0 obj
<<
/Type /Page
/Annots 172 0 R
/Parent 18 0 R
/Contents [173 0 R]
/Resources 174 0 R
>>
endobj
55 0 obj
<<
/Type /Page
/Annots 175 0 R
/Parent 19 0 R
/Contents [176 0 R]
/Resources 177 0 R
>>
endobj
56 0 obj
<<
/Type /Page
/Annots 178 0 R
/Parent 19 0 R
/Contents [179 0 R]
/Resources 180 0 R
>>
endobj
57 0 obj
<<
/Type /Page
/Annots 181 0 R
/Parent 20 0 R
/Contents [182 0 R]
/Resources 183 0 R
>>
endobj
58 0 obj
<<
/Type /Page
/Annots 184 0 R
/Parent 20 0 R
/Contents [185 0 R]
/Resources 186 0 R
>>
endobj
59 0 obj
<<
/Type /Page
/Annots 187 0 R
/Parent 21 0 R
/Contents [188 0 R]
/Resources 189 0 R
>>
endobj
60 0 obj
<<
/Type /Page
/Parent 21 0 R
/Contents [190 0 R]
/Resources 191 0 R
>>
endobj
61 0 obj
<<
/Type /Page
/Annots 192 0 R
/Parent 22 0 R
/Contents [193 0 R]
/Resources 194 0 R
>>
endobj
62 0 obj
<<
/Type /Page
/Annots 195 0 R
/Parent 22 0 R
/Contents [196 0 R]
/Resources 197 0 R
>>
endobj
63 0 obj
<<
/Type /Page
/Annots 198 0 R
/Parent 23 0 R
/Contents [199 0 R]
/Resources 200 0 R
>>
endobj
64 0 obj
<<
/Type /Page
/Annots 201 0 R
/Parent 23 0 R
/Contents [202 0 R]
/Resources 203 0 R
>>
endobj
65 0 obj
<<
/Type /Page
/Annots 204 0 R
/Parent 24 0 R
/Contents [205 0 R]
/Resources 206 0 R
>>
endobj
66 0 obj
<<
/Type /Page
/Parent 24 0 R
/Contents [207 0 R]
/Resources 208 0 R
>>
endobj
67 0 obj
<<
/Type /Page
/Annots 209 0 R
/Parent 25 0 R
/Contents [210 0 R]
/Resources 211 0 R
>>
endobj
68 0 obj
<<
/Type /Page
/Annots 212 0 R
/Parent 25 0 R
/Contents [213 0 R]
/Resources 214 0 R
>>
endobj
69 0 obj
<<
/Type /Page
/Annots 215 0 R
/Parent 26 0 R
/Contents [216 0 R]
/Resources 217 0 R
>>
endobj
70 0 obj
<<
/Type /Page
/Annots 218 0 R
/Parent 26 0 R
/Contents [219 0 R]
/Resources 220 0 R
>>
endobj
71 0 obj
<<
/Type /Page
/Annots 221 0 R
/Parent 27 0 R
/Contents [222 0 R]
/Resources 223 0 R
>>
endobj
72 0 obj
<<
/Type /Page
/Annots 224 0 R
/Parent 27 0 R
/Contents [225 0 R]
/Resources 226 0 R
>>
endobj
73 0 obj
<<
/Type /Page
/Parent 28 0 R
/Contents [227 0 R]
/Resources 228 0 R
>>
endobj
74 0 obj
<<
/Type /Page
/Parent 28 0 R
/Contents [229 0 R]
/Resources 230 0 R
>>
endobj
75 0 obj
<<
/Type /Page
/Annots 231 0 R
/Parent 29 0 R
/Contents [232 0 R]
/Resources 233 0 R
>>
endobj
76 0 obj
<<
/Type /Page
/Parent 29 0 R
/Contents [234 0 R]
/Resources 235 0 R
>>
endobj
77 0 obj
<<
/Type /Page
/Parent 30 0 R
/Contents [236 0 R]
/Resources 237 0 R
>>
endobj
78 0 obj
<<
/Type /Page
/Annots 238 0 R
/Parent 30 0 R
/Contents [239 0 R]
/Resources 240 0 R
>>
endobj
79 0 obj
<<
/Type /Page
/Parent 30 0 R
/Contents [241 0 R]
/Resources 242 0 R
>>
endobj
80 0 obj
<<
/Names [(citation:Alonso00) 243 0 R (citation:An-Liu06) 244 0 R]
/Limits [(citation:Alonso00) (citation:An-Liu06)]
>>
endobj
81 0 obj
<<
/Names [(citation:An-Liu07) 245 0 R (citation:Avizienis04) 246 0 R (citation:Baresi08) 247 0 R]
/Limits [(citation:An-Liu07) (citation:Baresi08)]
>>
endobj
82 0 obj
<<
/Names [(citation:Borrego10) 248 0 R (citation:Brodal96) 249 0 R]
/Limits [(citation:Borrego10) (citation:Brodal96)]
>>
endobj
83 0 obj
<<
/Names [(citation:Campbell86) 250 0 R (citation:Chen04) 251 0 R (citation:Chengfei-Liu01) 252 0 R]
/Limits [(citation:Campbell86) (citation:Chengfei-Liu01)]
>>
endobj
84 0 obj
<<
/Names [(citation:Chiu99) 253 0 R (citation:Ermagan08) 254 0 R]
/Limits [(citation:Chiu99) (citation:Ermagan08)]
>>
endobj
85 0 obj
<<
/Names [(citation:Erradi06) 255 0 R (citation:Goodenough75) 256 0 R (citation:Gross03) 257 0 R]
/Limits [(citation:Erradi06) (citation:Gross03)]
>>
endobj
86 0 obj
<<
/Names [(citation:Hagen00) 258 0 R (citation:Hohpe02) 259 0 R (citation:Hohpe03) 260 0 R]
/Limits [(citation:Hagen00) (citation:Hohpe03)]
>>
endobj
87 0 obj
<<
/Names [(citation:Hopcroft73) 261 0 R (citation:Khanna06) 262 0 R (citation:Khanna07) 263 0 R]
/Limits [(citation:Hopcroft73) (citation:Khanna07)]
>>
endobj
88 0 obj
<<
/Names [(citation:Laguna09) 264 0 R (citation:Levenson91) 265 0 R]
/Limits [(citation:Laguna09) (citation:Levenson91)]
>>
endobj
89 0 obj
<<
/Names [(citation:Lingxi08) 266 0 R (citation:Messerschmitt03) 267 0 R (citation:Peltz03) 268 0 R]
/Limits [(citation:Lingxi08) (citation:Peltz03)]
>>
endobj
90 0 obj
<<
/Names [(citation:Qinyi06) 269 0 R (citation:Sampath96) 270 0 R]
/Limits [(citation:Qinyi06) (citation:Sampath96)]
>>
endobj
91 0 obj
<<
/Names [(citation:Sayed10) 271 0 R (citation:WS-BPEL-SPEC) 272 0 R (citation:WS-CDL-SPEC) 273 0 R]
/Limits [(citation:Sayed10) (citation:WS-CDL-SPEC)]
>>
endobj
92 0 obj
<<
/Names [(citation:Yan05) 274 0 R (citation:Yan07) 275 0 R]
/Limits [(citation:Yan05) (citation:Yan07)]
>>
endobj
93 0 obj
<<
/Names [(citation:Yingmin-Li09) 276 0 R (citation:Zeng05) 277 0 R (coro:detect-errors) 278 0 R]
/Limits [(citation:Yingmin-Li09) (coro:detect-errors)]
>>
endobj
94 0 obj
<<
/Names [(coro:handle-event) 279 0 R (fig:abstract-view-monitor) 280 0 R (fig:algorithm-detect-errors) 281 0 R]
/Limits [(coro:handle-event) (fig:algorithm-detect-errors)]
>>
endobj
95 0 obj
<<
/Names [(fig:algorithm-find-artefacts-involved) 282 0 R (fig:algorithm-find-correlation) 283 0 R (fig:algorithm-find-failing-rules) 284 0 R]
/Limits [(fig:algorithm-find-artefacts-involved) (fig:algorithm-find-failing-rules)]
>>
endobj
96 0 obj
<<
/Names [(fig:algorithm-find-sub-correlation) 285 0 R (fig:algorithm-handle-event) 286 0 R]
/Limits [(fig:algorithm-find-sub-correlation) (fig:algorithm-handle-event)]
>>
endobj
97 0 obj
<<
/Names [(fig:algorithm-verify-correlation) 287 0 R (fig:artefacts-involved-n1) 288 0 R (fig:dispatcher-pattern) 289 0 R]
/Limits [(fig:algorithm-verify-correlation) (fig:dispatcher-pattern)]
>>
endobj
98 0 obj
<<
/Names [(fig:merger-pattern) 290 0 R (fig:model-error-detector) 291 0 R]
/Limits [(fig:merger-pattern) (fig:model-error-detector)]
>>
endobj
99 0 obj
<<
/Names [(fig:model-event-handler) 292 0 R (fig:model-meta-information-database) 293 0 R (fig:pipeline-pattern) 294 0 R]
/Limits [(fig:model-event-handler) (fig:pipeline-pattern)]
>>
endobj
100 0 obj
<<
/Names [(fig:request-reply-pattern) 295 0 R (fig:results-experiments-dispatcher) 296 0 R]
/Limits [(fig:request-reply-pattern) (fig:results-experiments-dispatcher)]
>>
endobj
101 0 obj
<<
/Names [(fig:results-experiments-merger) 297 0 R (fig:results-experiments-pipeline) 298 0 R (fig:results-experiments-request-reply) 299 0 R]
/Limits [(fig:results-experiments-merger) (fig:results-experiments-request-reply)]
>>
endobj
102 0 obj
<<
/Names [(fig:sample-correlation) 300 0 R (fig:sample-correlation-failure-excess) 301 0 R (fig:sample-correlation-failure-lack) 302 0 R]
/Limits [(fig:sample-correlation) (fig:sample-correlation-failure-lack)]
>>
endobj
103 0 obj
<<
/Names [(fig:sample-rules) 303 0 R (fig:sample-work-graph) 304 0 R (fig:syntactic-sugar-rules) 305 0 R]
/Limits [(fig:sample-rules) (fig:syntactic-sugar-rules)]
>>
endobj
104 0 obj
<<
/Names [(fig:textual-syntax-rules) 306 0 R (fig:typical-integration-solutions) 307 0 R]
/Limits [(fig:textual-syntax-rules) (fig:typical-integration-solutions)]
>>
endobj
105 0 obj
<<
/Names [(line:algorithm-detect-errors:1) 308 0 R (line:algorithm-detect-errors:10) 309 0 R (line:algorithm-detect-errors:2) 310 0 R]
/Limits [(line:algorithm-detect-errors:1) (line:algorithm-detect-errors:2)]
>>
endobj
106 0 obj
<<
/Names [(line:algorithm-detect-errors:3) 311 0 R (line:algorithm-detect-errors:4) 312 0 R (line:algorithm-detect-errors:5) 313 0 R]
/Limits [(line:algorithm-detect-errors:3) (line:algorithm-detect-errors:5)]
>>
endobj
107 0 obj
<<
/Names [(line:algorithm-detect-errors:6) 314 0 R (line:algorithm-detect-errors:7) 315 0 R (line:algorithm-detect-errors:8) 316 0 R]
/Limits [(line:algorithm-detect-errors:6) (line:algorithm-detect-errors:8)]
>>
endobj
108 0 obj
<<
/Names [(line:algorithm-detect-errors:9) 317 0 R (line:algorithm-find-artefacts-involved:1) 318 0 R]
/Limits [(line:algorithm-detect-errors:9) (line:algorithm-find-artefacts-involved:1)]
>>
endobj
109 0 obj
<<
/Names [(line:algorithm-find-artefacts-involved:2) 319 0 R (line:algorithm-find-artefacts-involved:3) 320 0 R (line:algorithm-find-artefacts-involved:4) 321 0 R]
/Limits [(line:algorithm-find-artefacts-involved:2) (line:algorithm-find-artefacts-involved:4)]
>>
endobj
110 0 obj
<<
/Names [(line:algorithm-find-artefacts-involved:5) 322 0 R (line:algorithm-find-artefacts-involved:6) 323 0 R (line:algorithm-find-artefacts-involved:7) 324 0 R]
/Limits [(line:algorithm-find-artefacts-involved:5) (line:algorithm-find-artefacts-involved:7)]
>>
endobj
111 0 obj
<<
/Names [(line:algorithm-find-artefacts-involved:8) 325 0 R (line:algorithm-find-correlation:1) 326 0 R (line:algorithm-find-correlation:10) 327 0 R]
/Limits [(line:algorithm-find-artefacts-involved:8) (line:algorithm-find-correlation:10)]
>>
endobj
112 0 obj
<<
/Names [(line:algorithm-find-correlation:11) 328 0 R (line:algorithm-find-correlation:12) 329 0 R]
/Limits [(line:algorithm-find-correlation:11) (line:algorithm-find-correlation:12)]
>>
endobj
113 0 obj
<<
/Names [(line:algorithm-find-correlation:13) 330 0 R (line:algorithm-find-correlation:14) 331 0 R (line:algorithm-find-correlation:15) 332 0 R]
/Limits [(line:algorithm-find-correlation:13) (line:algorithm-find-correlation:15)]
>>
endobj
114 0 obj
<<
/Names [(line:algorithm-find-correlation:16) 333 0 R (line:algorithm-find-correlation:17) 334 0 R]
/Limits [(line:algorithm-find-correlation:16) (line:algorithm-find-correlation:17)]
>>
endobj
115 0 obj
<<
/Names [(line:algorithm-find-correlation:18) 335 0 R (line:algorithm-find-correlation:19) 336 0 R (line:algorithm-find-correlation:2) 337 0 R]
/Limits [(line:algorithm-find-correlation:18) (line:algorithm-find-correlation:2)]
>>
endobj
116 0 obj
<<
/Names [(line:algorithm-find-correlation:20) 338 0 R (line:algorithm-find-correlation:21) 339 0 R]
/Limits [(line:algorithm-find-correlation:20) (line:algorithm-find-correlation:21)]
>>
endobj
117 0 obj
<<
/Names [(line:algorithm-find-correlation:22) 340 0 R (line:algorithm-find-correlation:3) 341 0 R (line:algorithm-find-correlation:4) 342 0 R]
/Limits [(line:algorithm-find-correlation:22) (line:algorithm-find-correlation:4)]
>>
endobj
118 0 obj
<<
/Names [(line:algorithm-find-correlation:5) 343 0 R (line:algorithm-find-correlation:6) 344 0 R (line:algorithm-find-correlation:7) 345 0 R]
/Limits [(line:algorithm-find-correlation:5) (line:algorithm-find-correlation:7)]
>>
endobj
119 0 obj
<<
/Names [(line:algorithm-find-correlation:8) 346 0 R (line:algorithm-find-correlation:9) 347 0 R (line:algorithm-find-failing-rules:1) 348 0 R]
/Limits [(line:algorithm-find-correlation:8) (line:algorithm-find-failing-rules:1)]
>>
endobj
120 0 obj
<<
/Names [(line:algorithm-find-failing-rules:10) 349 0 R (line:algorithm-find-failing-rules:11) 350 0 R]
/Limits [(line:algorithm-find-failing-rules:10) (line:algorithm-find-failing-rules:11)]
>>
endobj
121 0 obj
<<
/Names [(line:algorithm-find-failing-rules:2) 351 0 R (line:algorithm-find-failing-rules:3) 352 0 R (line:algorithm-find-failing-rules:4) 353 0 R]
/Limits [(line:algorithm-find-failing-rules:2) (line:algorithm-find-failing-rules:4)]
>>
endobj
122 0 obj
<<
/Names [(line:algorithm-find-failing-rules:5) 354 0 R (line:algorithm-find-failing-rules:6) 355 0 R]
/Limits [(line:algorithm-find-failing-rules:5) (line:algorithm-find-failing-rules:6)]
>>
endobj
123 0 obj
<<
/Names [(line:algorithm-find-failing-rules:7) 356 0 R (line:algorithm-find-failing-rules:8) 357 0 R (line:algorithm-find-failing-rules:9) 358 0 R]
/Limits [(line:algorithm-find-failing-rules:7) (line:algorithm-find-failing-rules:9)]
>>
endobj
124 0 obj
<<
/Names [(line:algorithm-find-sub-correlation:1) 359 0 R (line:algorithm-find-sub-correlation:2) 360 0 R]
/Limits [(line:algorithm-find-sub-correlation:1) (line:algorithm-find-sub-correlation:2)]
>>
endobj
125 0 obj
<<
/Names [(line:algorithm-find-sub-correlation:3) 361 0 R (line:algorithm-find-sub-correlation:4) 362 0 R (line:algorithm-find-sub-correlation:5) 363 0 R]
/Limits [(line:algorithm-find-sub-correlation:3) (line:algorithm-find-sub-correlation:5)]
>>
endobj
126 0 obj
<<
/Names [(line:algorithm-handle-event:1) 364 0 R (line:algorithm-handle-event:10) 365 0 R (line:algorithm-handle-event:11) 366 0 R]
/Limits [(line:algorithm-handle-event:1) (line:algorithm-handle-event:11)]
>>
endobj
127 0 obj
<<
/Names [(line:algorithm-handle-event:12) 367 0 R (line:algorithm-handle-event:2) 368 0 R (line:algorithm-handle-event:3) 369 0 R]
/Limits [(line:algorithm-handle-event:12) (line:algorithm-handle-event:3)]
>>
endobj
128 0 obj
<<
/Names [(line:algorithm-handle-event:4) 370 0 R (line:algorithm-handle-event:5) 371 0 R]
/Limits [(line:algorithm-handle-event:4) (line:algorithm-handle-event:5)]
>>
endobj
129 0 obj
<<
/Names [(line:algorithm-handle-event:6) 372 0 R (line:algorithm-handle-event:7) 373 0 R (line:algorithm-handle-event:8) 374 0 R]
/Limits [(line:algorithm-handle-event:6) (line:algorithm-handle-event:8)]
>>
endobj
130 0 obj
<<
/Names [(line:algorithm-handle-event:9) 375 0 R (line:algorithm-verify-correlation:1) 376 0 R]
/Limits [(line:algorithm-handle-event:9) (line:algorithm-verify-correlation:1)]
>>
endobj
131 0 obj
<<
/Names [(line:algorithm-verify-correlation:10) 377 0 R (line:algorithm-verify-correlation:11) 378 0 R (line:algorithm-verify-correlation:12) 379 0 R]
/Limits [(line:algorithm-verify-correlation:10) (line:algorithm-verify-correlation:12)]
>>
endobj
132 0 obj
<<
/Names [(line:algorithm-verify-correlation:13) 380 0 R (line:algorithm-verify-correlation:14) 381 0 R]
/Limits [(line:algorithm-verify-correlation:13) (line:algorithm-verify-correlation:14)]
>>
endobj
133 0 obj
<<
/Names [(line:algorithm-verify-correlation:2) 382 0 R (line:algorithm-verify-correlation:3) 383 0 R (line:algorithm-verify-correlation:4) 384 0 R]
/Limits [(line:algorithm-verify-correlation:2) (line:algorithm-verify-correlation:4)]
>>
endobj
134 0 obj
<<
/Names [(line:algorithm-verify-correlation:5) 385 0 R (line:algorithm-verify-correlation:6) 386 0 R (line:algorithm-verify-correlation:7) 387 0 R]
/Limits [(line:algorithm-verify-correlation:5) (line:algorithm-verify-correlation:7)]
>>
endobj
135 0 obj
<<
/Names [(line:algorithm-verify-correlation:8) 388 0 R (line:algorithm-verify-correlation:9) 389 0 R (sec:acknowledgements) 390 0 R]
/Limits [(line:algorithm-verify-correlation:8) (sec:acknowledgements)]
>>
endobj
136 0 obj
<<
/Names [(sec:complexity-analysis) 391 0 R (sec:conclusions) 392 0 R]
/Limits [(sec:complexity-analysis) (sec:conclusions)]
>>
endobj
137 0 obj
<<
/Names [(sec:error-detector) 393 0 R (sec:event-handler) 394 0 R (sec:experiments) 395 0 R]
/Limits [(sec:error-detector) (sec:experiments)]
>>
endobj
138 0 obj
<<
/Names [(sec:finding-artefacts-involved-correlation) 396 0 R (sec:finding-correlations) 397 0 R (sec:finding-failing-rules) 398 0 R]
/Limits [(sec:finding-artefacts-involved-correlation) (sec:finding-failing-rules)]
>>
endobj
139 0 obj
<<
/Names [(sec:finding-sub-correlations) 399 0 R (sec:introduction) 400 0 R (sec:meta-information-database) 401 0 R]
/Limits [(sec:finding-sub-correlations) (sec:meta-information-database)]
>>
endobj
140 0 obj
<<
/Names [(sec:related-work) 402 0 R (sec:verifying-correlations) 403 0 R]
/Limits [(sec:related-work) (sec:verifying-correlations)]
>>
endobj
141 0 obj
<<
/Names [(tab:notation-complexity-analysis) 404 0 R (tab:summary-related-work) 405 0 R (theo:detect-errors) 406 0 R]
/Limits [(tab:notation-complexity-analysis) (theo:detect-errors)]
>>
endobj
142 0 obj
<<
/Names [(theo:find-artefacts-involved) 407 0 R (theo:find-correlation) 408 0 R (theo:find-failing-rules) 409 0 R]
/Limits [(theo:find-artefacts-involved) (theo:find-failing-rules)]
>>
endobj
143 0 obj
<<
/Names [(theo:find-sub-correlation) 410 0 R (theo:handle-event) 411 0 R (theo:verify-correlation) 412 0 R]
/Limits [(theo:find-sub-correlation) (theo:verify-correlation)]
>>
endobj
144 0 obj
<<
/A <<
/S /URI
/URI (mailto:rzfrantz@unijui.edu.br)
/Type /Action
>>
/C [0 0 1]
/Rect [265.971 618.732 349.257 626.977]
/Type /Annot
/Subtype /Link
>>
endobj
145 0 obj
<<
/A <<
/S /URI
/URI (mailto:corchu@us.es)
/Type /Action
>>
/C [0 0 1]
/Rect [282.766 576.639 332.59 583.141]
/Type /Annot
/Subtype /Link
>>
endobj
146 0 obj
<<
/A <<
/S /URI
/URI (mailto:carlos.molina@ncl.ac.uk)
/Type /Action
>>
/C [0 0 1]
/Rect [262.72 532.804 352.636 539.305]
/Type /Annot
/Subtype /Link
>>
endobj
147 0 obj
<<
/A <<
/S /URI
/URI (http://www.tdg-seville.info/rzfrantz/JSS-2010)
/Type /Action
>>
/C [0 0 1]
/Rect [144.727 187.686 325.316 196.619]
/Type /Annot
/Subtype /Link
>>
endobj
148 0 obj
<<
/C [1 0 0]
/F 4
/M (D:20120921144031-03'00')
/P 47 0 R
/T (Rafael Z. Frantz)
/AP <<
/N 413 0 R
>>
/IC [1 1 0]
/NM (5758510e-eb2b-4457-a6047a84fa437bbb)
/RD [0.5 0.5 0.5 0.5]
/Rect [54.729774 742.182636 541.29995 817.150579]
/Subj (Rectangle)
/Popup 151 0 R
/Subtype /Square
/CreationDate (D:20120921142313-03'00')
>>
endobj
149 0 obj
<<
/C [1 0 0]
/F 4
/M (D:20120921141857-03'00')
/P 47 0 R
/T (Rafael Z. Frantz)
/AP <<
/N 414 0 R
>>
/NM (f17c8f26-3df5-4dae-a80084956c55032a)
/RD [0.5 0.5 0.5 0.5]
/Rect [441.586801 793.910517 441.586801 793.910517]
/Subj (Rectangle)
/Subtype /Square
/CreationDate (D:20120921141856-03'00')
>>
endobj
150 0 obj
<<
/F 4
/M (D:20120921144035-03'00')
/P 47 0 R
/T (Rafael Z. Frantz)
/AP <<
/N 415 0 R
>>
/BS <<
/W 0
>>
/DA (1.000 0.000 0.000 rg)
/IT /FreeTextTypewriter
/LE /None
/NM (e39d43fb-45ee-414f-861589d6be62961f)
/RC (
Published in the International Journal of Systems and Software
Volume 85, Issue 3, March 2012, Pages 480–497
The final publication is available at:
http://dx.doi.org/10.1016/j.jss.2011.10.048
)
/RD [0 0 0 0]
/Rect [65.225896 752.204748 513.425896 807.404748]
/Subj (Typewriter)
/Subtype /FreeText
/Contents (Published in the International Journal of Systems and Software\rVolume 85, Issue 3, March 2012, Pages 480497\rThe final publication is available at:\rhttp://dx.doi.org/10.1016/j.jss.2011.10.048)
/CreationDate (D:20120921141902-03'00')
>>
endobj
151 0 obj
<<
/F 25
/M (D:20120921142346-03'00')
/P 47 0 R
/NM (df998d8b-914e-4cfe-8319b321cc050b01)
/Open false
/Rect [595.28 737.900259 745.28 817.900259]
/Parent 148 0 R
/Subtype /Popup
>>
endobj
152 0 obj
<<
/Filter [/FlateDecode]
/Length 2313
>>
stream
xڍXKs8m*&>sx2N3N\v%N(BC(~Jbdgt
t7_?@dA(j
@&B%Yz
RdyL(U{xX,:")_`ӛӺE\w}A4X\vmS顱~ϝ߳43G2A)LձD^% _NKq)e ^Y?iQq$|(TkP_7/% 2Q Jɥ*P"Iԓw\qOET2^)&ԨPw5龵mtz>Tvc8=iS?˼`DVΎ;"Ц݇/J`F_Olz88,/fakLO]-$4"b֮z)P`@?_yGmґG*"gEEgoMKoW/ȲT"aߞ @÷c16ԣxc3!gޕI!dB2g5^{"ڰi[rc]d{I"7vc`ƛ*|mw?>2q^f09'NCbxś1-U@$SYr]ߎNB1FJ_'GvCk|Bi(M2tǶ| nZ58߁$9wGȯT:5,6\cj05յݾT-:H"o!Q-刷]
]LJqRJʡqz^Wm9T%f=SIsg9Հઇa+ܱ p,1KTdQ3xS5JnUib["T9@ цr5̅L]ΎWla^]ѹI)| U
VeXo$
8JovL![#،tZإOnv?1փߍ%CBvQdtt<]Zu;e1{
Z1[KfmB#oÁ[yTz$wi֛7#!?m );%/ iQ)Bm4<F7ꖬ *$fݑ 7ÆGEBYQJ7KMWs8ˮ6.F vL[4g$iRt
7{(="P2*Пq.D2p|H%evX5P]+JcjF
b
|$AcT~xp<_/(fOۃ7oG1\71{g)w !"`bHxkQo^ (쨿<`LʒFFF3QcwY[2\7.3BI7V
yQb1.nv{e}Yȧ|jS;z mxpOO_piw?:^&%M#
&Χe*S~@P6ش~f#.mՄnl8w{d$nxN)[ˁ'մgLt8,/#>at@>]l慨Ô##FPoEmRH~d7G;+E o^,]fݙaXy iDv%Ie@aO鱂XoOp7Eb:@W;Ntoc%;~ЮV_2Y)LL$ïXzU|E
)sOS`K#}Box{ k+|}Nx=9BzM*=Д_ Ex !e۹*7@"?^h(bo=y.r"|ƳN,vzWCJd4zJS^-MS=N~F]`p
j> ?.e`_7|OS,8K+;lqY{+[4{:C|#Fkc^
>CwPe,7b! p%:|"},:=?T(xg@A8
M$Xz~O_g>pHRi1Oy_.$mR):WC0o^{Ffvo56t97h?D?3;ds1NPL2:s*0UX.wݻ@,":%Qьo
gTSg<#lz~'^X)!,)3
endstream
endobj
153 0 obj
<<
/Font <<
/F1 416 0 R
/F2 417 0 R
/F3 418 0 R
/F4 419 0 R
/F5 420 0 R
/F6 421 0 R
/F7 422 0 R
/F8 423 0 R
/F9 424 0 R
/F10 425 0 R
>>
/ProcSet [/PDF /Text /ImageC /ImageB /ImageI]
>>
endobj
154 0 obj
[426 0 R 427 0 R 428 0 R 429 0 R 430 0 R 431 0 R 432 0 R]
endobj
155 0 obj
<<
/Filter [/FlateDecode]
/Length 2053
>>
stream
xڅ˒8_ޒݤ6{ؚ-ɁM
G8alϔ,nuA#A?8Y!"G r #-Q
`(,x2ME*p||
?ջ3wkYPÑ|D%B q+Cúp0;W戫 }|` r bQ\ѭ-M-J@zc\,u3{|%AP &nE`N3-%p/t;=cǶ|B$C|AJ )-Ǔ2
á+Rqϐy5RxS=yfJW(:0 H$Qk)gsDlHڈMIPLEỉ'Tv(cWʦ3ӥHu I$T73@Nȫ:E$D#%أ>6{|1vٳcYhル8|G:@~|dO2aC5Uu?D8y>`tdž==X<|߅"=2s(:mp 3ݎW/}$[S2X`ߘuGՃ|-\uB;zx-f87,`=k+h+ ||̽8
q6L✂2bwlK5E,uS"O0Tu9n