TSC/GMSC server 131, 167, 169, 207, 223-225, tunnel mode 213, 229, 232, 256, 271, 272, 314, tunnelling 78, 106, 197, 199, 201, 320, 344, 346, 353-355, 390, 210, 211, 215, 217, 220, 227, 256, 403, 405, 455 262, 267, 275, 280, 301, 327, 452 VoIP gateway VoIPoWL 223 UDDI 262, 461 VPN 39, 96, 200, 201, 210-212, 215, UMTS-WLAN 1, 5, 11, 426 216, 243, 254, 275, 293, 301, UNI 267, 341, 349, 480, 485, 486 347, 349, 381, 399 UNI signalling Index 16, 40, 95, 148, 157, 158, 165, wireless Internet service provider 166, 169-172, 177, 188, 219, (WISP) 111, 112, 389 244, 254, 260-262, 265, 294, wireless session protocol (WSP) 295, 301-305, 309, 311-313, wireless transport layer security (WTLS) 204 WASP 32 111, 112, 389 WCDMA 65, 235, 366, 371, 381, 4, 7, 74, 83, 86, 87, 111, 172, 398, 423 198, 218, 255, 278, 312, 313, WCDMA (wideband CDMA) 366 322, 354, 356, 357, 359, WCDMA radio access network 379-381, 389, 426-428 (UTRAN) 371, 423 WLAN roaming WCDMA/UMTS 217, 278, 280, 282, working capital 367,371 WSDL 262, 461 wearables 312 WSFL 262 web services 13, 87-89, 150, 459-461 198, 218, 219 4, 133, 182, 200, 255, 339, 354, 357, 363, 427 wired equivalent privacy (WEP) XHTML 96, 168, 243 218, 219 XML (extensible markup language) wireless application protocol (WAP) 79, 88, 96-98, 243, 254, 262, 148, 157, 158, 165, 166, 287, 290, 296, 317, 411, 434, 169-172, 177, 188, 219, 244, 460, 461 254, 260-262, 265, 293, 294, XML data 295, 301, 303, 304, 309, 311-313, 315 wireless Internet (WI) 58, 71, 157 zonification Brought to You by TeamLiB Like the book? Buy it! 0095 38837 Validation of Communications Systems with The Art of SDL Simulation and Reachability Analysis Validation of Communications Systems with SDL Validation of Communications Systems with SDL The Art of SDL Simulation and Reachability Analysis Laurent Doldi TransMeth Sud-Ouest, France WILEY Copyright © 2003 John Wiley & Sons Ltd, The Atrium, Southern Gate, Chichester, West Sussex PO19 8SQ, England Telephone (+44) 1243 779777 Email (for orders and customer service enquiries): cs-b