• DocumentCode
    2623387
  • 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
  • fYear
    2007
  • fDate
    3-6 Dec. 2007
  • Firstpage
    488
  • Lastpage
    492
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • 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
  • Type

    conf

  • DOI
    10.1109/PDCAT.2007.17
  • Filename
    4420207
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2623387