This paper describes the formal approach to modeling IETF Session Initiation Protocol (SIP)
and its services in SDL. The main objective is to discover the advantages and shortcomings …

There are currently two standards for signaling and control of Internet telephone calls,
namely ITU-T Recommendation H. 323 and the IETF session initiation protocol (SIP). Both …

This paper addresses the design and implementation of Session Initiation Protocol (SIP)
server components required for providing Internet telephony services. We first describe a …

Abstract A Session Initiation Protocol (SIP) Call Flow is a causal sequence of messages that
is exchanged between interacting SIP entities. We present a novel test system for SIP based …

Voice over IP is a technology that offers voice communication service over IP-based
networks. It has been in a focus of much attention in recent years. SIP, the Session Initiation …

The paper describes experience with the use of formal protocol specifications in the protocol
implementation process. As formal description techniques (FDT) for OSI protocols are being …

The Session Initiation Protocol (SIP) is a signalling protocol for Internet Telephony,
multimedia conferenc-ing, and instant messaging. The behavior of SIP platforms can be …

Next to the binary-based H. 323 signaling protocol for IP telephony developed by the
telecommunication community (ITU-T), a more lightweight text-based protocol was deemed …

Abstract Formal Description Techniques (FDTs) are an efficient support for protocol
engineering, as they permit early detection of design errors through a validation of the …

Formal specifications are a well-known technique for improving software development. In
the context of OSI communication protocol standards, Formal Description Techniques …