A PROTOCOL MODELING AND VERIFICATION APPROACH BASED ON A SPECIFICATION LANGUAGE AND PETRI NETS

被引：16
|
作者：
SUZUKI, T [1 ]
SHATZ, SM [1 ]
MURATA, T [1 ]
机构：
[1] UNIV ILLINOIS, DEPT ELECT ENGN & COMP SCI, CHICAGO, IL 60680 USA
来源：
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING | 1990年 / 16卷 / 05期
基金：
美国国家科学基金会;
关键词：
Petri nets; protocols; specification; verification;
D O I：
10.1109/32.52775
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
An approach for automated modeling and verification of communication protocols is presented. A language that specifies input/ output behavior of protocol entities is introduced as the starting point of the approach and verification of the linguistic specifications is discussed. Rules for conversion of the specifications into a Petri net model (based on a timed Petri net) are presented and illustrated by examples. This leads to a second level of verification on the net model. The approach is illustrated by its application to a part of the LAPD protocol. © 1990, IEEE.
引用
收藏
页码：523 / 536
页数：14
相关论文
共 50 条
  • [1] AUTOMATED PROTOCOL MODELING AND VERIFICATION COMBINING AN ENTITY-BASED SPECIFICATION LANGUAGE AND PETRI NETS
    SHATZ, SM
    SUZUKI, T
    MURATA, T
    [J]. PROCEEDINGS : THE THIRTEENTH ANNUAL INTERNATIONAL COMPUTER SOFTWARE & APPLICATIONS CONFERENCE, 1989, : 580 - 587
  • [2] On Verification of Implementation of Security Specification with Petri Nets' Protocol Inheritance
    Tang, Wenshan
    Gou, Zhaolong
    Bin Ahmadon, Mohd Anuaruddin
    Yamaguchi, Shingo
    [J]. 2016 IEEE 5TH GLOBAL CONFERENCE ON CONSUMER ELECTRONICS, 2016,
  • [3] FORMAL APPROACH BASED ON PETRI NETS FOR MODELING AND VERIFICATION OF VIDEO GAMES
    Barreto, Franciny M.
    Julia, Stephane
    [J]. COMPUTING AND INFORMATICS, 2021, 40 (01) : 216 - 248
  • [4] FORMULAS, PROCESSES, AND PETRI-NETS APPLIED TO THE SPECIFICATION AND VERIFICATION OF A HDLC PROTOCOL
    ANTON, MD
    BRETSCHNEIDER, M
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1989, 352 : 140 - 154
  • [5] Use of expanded Petri nets for protocol specification
    Golovin, Yu.A.
    Matveeva, V.A.
    [J]. Automatic Control and Computer Sciences, 1988, 22 (06) : 10 - 16
  • [6] Modeling and Verification of a Protocol for Operational Support Using Coloured Petri Nets
    Westergaard, Michael
    Maggi, Fabrizio M.
    [J]. APPLICATIONS AND THEORY OF PETRI NETS, 2011, 6709 : 169 - 188
  • [7] Modeling User Specification Based on Supervisor Control and Petri nets
    Song, Yujin
    Kim, Jongwoog
    Lee, Jongkun
    [J]. 2008 INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE FOR MODELLING CONTROL & AUTOMATION, VOLS 1 AND 2, 2008, : 76 - 81
  • [8] A model-based approach to formal specification and verification of embedded systems using colored Petri nets
    da Silva, LD
    Perkusich, A
    [J]. COMPONENT-BASED SOFTWARE DEVELOPMENT FOR EMBEDDED SYSTEMS: AN OVERVIEW OF CURRENT RESEARCH TRENDS, 2005, 3778 : 35 - 58
  • [9] Formal Specification and Verification of Modular Security Policy Based on Colored Petri Nets
    Huang, Hejiao
    Kirchner, Helene
    [J]. IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, 2011, 8 (06) : 852 - 865
  • [10] SPECIFICATION AND VERIFICATION OF CACHE COHERENCE PROTOCOLS USING PETRI NETS
    AHMAD, I
    SALEH, K
    [J]. INTERNATIONAL JOURNAL OF ELECTRONICS, 1995, 78 (05) : 841 - 854
12345