Formal definition of SIP proxy behavior

Author

Stojsic, Goran ; Radovic, Robert ; Srbljic, Sinisa

Author_Institution

Ericsson Nikola Tesla d.d., Zagreb, Croatia

Volume

2

fYear

2001

fDate

4-7 July 2001

Firstpage

289

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;

fLanguage

English

Publisher

ieee

Conference_Titel

EUROCON'2001, Trends in Communications, International Conference on.

Conference_Location

Bratislava, Slovakia

Print_ISBN

0-7803-6490-2

Type

conf

DOI

10.1109/EURCON.2001.938116

Filename

938116