Your Search Results

Use this resource - and many more! - in your textbook!

AcademicPub holds over eight million pieces of educational content for you to mix-and-match your way.

Experience the freedom of customizing your course pack with AcademicPub!
Not an educator but still interested in using this content? No problem! Visit our provider's page to contact the publisher and get permission directly.

Modeling Session Initiation Protocol with Extended Finite State Machines

By: Dai Gang; Liu Feng; Sun Wenhui; Li Honghui;

2007 / IEEE / 0-7695-3049-4

Description

This item was taken from the IEEE Conference ' Modeling Session Initiation Protocol with Extended Finite State Machines ' Formal specification are indispensable for computer-aided verification and testing of communication protocols. However, a large number of the practical protocols have only informal specifications, mostly in English. There are no general procedures to derive formal specifications from such informal specification. In this paper we model Session Initiation Protocol (SIP) by parameterized extended finite state machines. We also provide insights gained in the derivation of the formal specification.