Formal definition of SIP proxy behavior

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.