The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.05 - May (1990 vol.16)
pp: 523-536
ABSTRACT
<p>An approach for automated modeling and verification of communication protocols is presented. A language that specifies the 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.</p>
INDEX TERMS
conversion rules; specification language; Petri nets; automated modeling; verification; communication protocols; input/output behavior; linguistic specifications; timed Petri net; LAPD protocol; Petri nets; program verification; protocols; specification languages.
CITATION
T. Suzuki, S.M. Shatz, T. Murata, "A Protocol Modeling and Verification Approach Based on a Specification Language and Petri Nets", IEEE Transactions on Software Engineering, vol.16, no. 5, pp. 523-536, May 1990, doi:10.1109/32.52775
22 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool