7, 129, 284, 383 - in protocol networks 301 private data type 312, 318 - unit 143, 148, 154 process Remote Operation Service Element 97 - controller 15-17 - message format 315 - operator 16 ReportConfirm 390 process control system 2, 6, 10, 13-16, 28, ReportInit 390 37-38, 41, 86, 100, 108 ReportRefuse 390 - modelling 323, 365 REQUEST 390 - unit 199 Request 390 processing resource 13-14, 38, 41, 143 - dimension 12, 31, 101, 209 - controller 15, 17, 199, 331 - system 2, 11, 13-17, 28, 35-36, 39 - model 28, 100 product 21, 23-24, 33 - model graph 375-376 - name 22 - modelling 28, 91, 328, 331-333, 337-338 - structure 21-26, 30, 35 - state 335, 400, 402 protocol 10, 17, 28-29, 38-39, 73-79, 87, 95, resource system 2, 13-16, 28, 38, 40-41, 86, 206, 253 108, 112, 328 - conversion 148, 302, 307, 309 - model 324 - data unit 42, 83, 116, 117 - notation 329 - element 21, 74, 79, 88-89, 90-95, 120, 143, - unit 193 result event 342 - specification 97, 277, 279, 293, 311 reusable specification 327 - stack 228 reverse engineering 220, 225, 293-294, 422 - termination 143 roaming 232, 261 protocol network 20, 75, 83-85, 89-99, 253 route 162, 183, 197, 212, 214 - identifier 264 - endpoint 184, 215 - modelling 253 - endpoint identifier 170 - structure 262 - management 162, 169, 199 provider 90 router 142, 145, 166 - port 366 routing 270 Public Land Mobile Network 230 - analysis 145, 160, 169, 181, 188, 199 Pulse Code Modulation 106, 148, 160 - table 184, 188 Q-adapter 121 SAP (see Service Access Point) quality of service 41, 45, 125, 166 SAPI (see Service Access Point Identifier) segmentation 292 radio interface 230 Segmentation And Reassembling protocol 179 Radio Link Control 234 selective receive 130, 271 Index selector operation 392, 417-418 spatial semantic diagram 93 - dimension 80 send 123 - network 39 - operation 132 - space 81 sensor 14, 15 Specification and Description Language 3, 6, sequence diagram 398-399 34-35 sequencing 292 specification refinement 33, 36-37, 283, 381, server 199 384, 386, 400 service (see also prim