Timed Colored Petri Net (CPN) model of the Session Initiation Protocol (SIP) for formal verification of mobile applications

被引：0
|
作者：
Yim, Jaegeol [1 ]
Lee, Gyeyoung [1 ]
Shim, Kyubark [2 ]
机构：
[1] Dongguk Univ Gyeongju, Dept Comp Engn, Gyeongbuk, South Korea
[2] Dongguk Univ Gyeongju, Dept Appl Stat, Gyeongbuk, South Korea
来源：
ASIA LIFE SCIENCES | 2015年
基金：
新加坡国家研究基金会;
关键词：
Colored Petri Net; CPN; Session Initiation Protocol; SIP; mobile conference calls; simulation model; mobile applications;
D O I：
暂无
中图分类号：
Q [生物科学];
学科分类号：
07 ; 0710 ; 09 ;
摘要：
The main purpose of this paper is to present an improved Colored Petri Net (CPN) model, which can be applied for formal verification of mobile applications that are based on the Session Initiation Protocol (SIP). Internet telephone calls, multimedia distribution, conference calls, and multi-media online games are examples of SIP based mobile applications. In the early stage of system development building up formal models for the systems and verifying the models before implementation is extremely important because it is a proven fact doing so is much more cost effective than plunging into the implementation step and fixing flaws later as we find them. This paper discusses the disadvantages of existing CPN model for the SIP and as a result introduces our timed colored Petri net model of the SIP, which resolves some of the problems revealed. With our Petri net model, they can more efficiently develop useful applications that make life more convenient.
引用
收藏
页码：415 / 426
页数：12
相关论文
共 35 条
  • [1] Colored Petri Net Model of the Session Initiation Protocol (SIP)
    Gehlot, Vijay
    Nigro, Carmen
    IECON 2010 - 36TH ANNUAL CONFERENCE ON IEEE INDUSTRIAL ELECTRONICS SOCIETY, 2010,
  • [2] Petri Net Model of Session Initiation Protocol and Its Verification
    Yang Peng
    Yuan Zhanting
    Wang Jizeng
    2007 INTERNATIONAL CONFERENCE ON WIRELESS COMMUNICATIONS, NETWORKING AND MOBILE COMPUTING, VOLS 1-15, 2007, : 1861 - +
  • [3] Modeling and Evaluating of Net Protocol Based on Timed Colored Petri Net
    Zhu, LianZhang
    Zhang, LeWei
    Li, Qing
    PROCEEDINGS OF FIRST INTERNATIONAL CONFERENCE OF MODELLING AND SIMULATION, VOL III: MODELLING AND SIMULATION IN ELECTRONICS, COMPUTING, AND BIO-MEDICINE, 2008, : 118 - 122
  • [4] A Timed Colored Petri-Net Modeling for Precision Time Protocol
    Igorevich, Rustam Rakhimov
    Park, Pusik
    2016 INTERNATIONAL CONFERENCE ON INFORMATION SCIENCE AND COMMUNICATIONS TECHNOLOGIES (ICISCT), 2016,
  • [5] Design and Implementation of Mobile Applications for Military Personnel Based on SIP (Session Initiation Protocol)
    Sabila, Sandhya Hizrian
    Mustika, I. Wayan
    Sulistyo, Selo
    2022 IEEE 12TH ANNUAL COMPUTING AND COMMUNICATION WORKSHOP AND CONFERENCE (CCWC), 2022, : 870 - 875
  • [6] An Approach to Model the AS/RS via Colored Timed Petri Net
    Cai Wenxue
    Wu Zhongming
    PROCEEDINGS OF 2010 INTERNATIONAL CONFERENCE ON LOGISTICS SYSTEMS AND INTELLIGENT MANAGEMENT, VOLS 1-3, 2010, : 590 - 594
  • [7] Formal co-verification for SoC design with colored petri net
    Zhan, JY
    Sang, N
    Xiong, GZ
    EMBEDDED SOFTWARE AND SYSTEMS, 2005, 3605 : 188 - 195
  • [8] Analysis and Applications of Session Initiation Protocol (SIP) in Internet Telephony
    WARFIELD Bob
    The Journal of China Universities of Posts and Telecommunications, 2005, (01) : 70 - 75
  • [9] Checking Untimed and Timed Linear Properties of the Interval Timed Colored Petri Net Model
    Boucheneb, Hanifa
    COMPUTACION Y SISTEMAS, 2006, 10 (02): : 107 - 134
  • [10] A Verification Framework for Time-Triggered Networks Based on Timed Colored Petri Net
    Zhong, Wenjie
    Zhou, Jian-tao
    Sun, Tao
    Song, Xiaoyu
    Li, Zonghui
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2024, 43 (07) : 2112 - 2125
1234