Title :
Modeling Session Initiation Protocol with Extended Finite State Machines
Author :
Wenhui, Sun ; Feng, Liu ; Gang, Dai ; Honghui, Li
Author_Institution :
Beijing Jiaotong Univ., Beijing
Abstract :
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.
Keywords :
Internet telephony; finite state machines; formal specification; formal verification; protocols; communication protocols; computer-aided testing; computer-aided verification; finite state machines; informal specifications; session initiation protocol; Application software; Automata; Concurrent computing; Distributed computing; Educational institutions; Formal specifications; Internet telephony; Sun; Testing; Transport protocols;
Conference_Titel :
Parallel and Distributed Computing, Applications and Technologies, 2007. PDCAT '07. Eighth International Conference on
Conference_Location :
Adelaide, SA
Print_ISBN :
0-7695-3049-4
DOI :
10.1109/PDCAT.2007.17
