Title :
Formal definition of SIP proxy behavior
Author :
Stojsic, Goran ; Radovic, Robert ; Srbljic, Sinisa
Author_Institution :
Ericsson Nikola Tesla d.d., Zagreb, Croatia
Abstract :
The rapid growth of the Internet has made possible the use of multimedia in WAN communication. In order to control multimedia sessions between users, the SIP protocol was introduced. The original definition of the SIP protocol is given in the form of a RFC document that contains a number of implementation and compatibility problems. In order to formally define the SIP protocol and thus remove the implementation and compatibility problems, we present the behavior automata for SIP proxy systems. Since the automata are defined in UML, they can be directly used with software tools that translate UML specifications into high-level language code (eg, C++, Java). Results presented improve the implementation time and compatibility for SIP proxy systems.
Keywords :
Internet; formal specification; multimedia communication; protocols; specification languages; wide area networks; C++; Internet; Java; RFC document; SIP; UML; WAN communication; behavior automata; compatibility; formal definition; high-level language code; implementation time; multimedia; protocol; proxy behavior; software tools; specification translation; Automata; Communication system control; High level languages; Internet; Java; Multimedia communication; Protocols; Software tools; Unified modeling language; Wide area networks;
Conference_Titel :
EUROCON'2001, Trends in Communications, International Conference on.
Conference_Location :
Bratislava, Slovakia
Print_ISBN :
0-7803-6490-2
DOI :
10.1109/EURCON.2001.938116
