DocumentCode
2165532
Title
Automated protocol modeling and verification combining an entity-based specification language and Petri nets
Author
Shatz, S.M. ; Suzuki, T. ; Murata, T.
Author_Institution
Dept. of Electr. Eng. & Comput. Sci., Illinois Univ., Chicago, IL, USA
fYear
1989
fDate
20-22 Sep 1989
Firstpage
580
Lastpage
587
Abstract
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, and some verification of the specifications is discussed. Further verification is aided by translation of the specifications to a timed Petri net model
Keywords
Petri nets; computer communications software; program verification; protocols; software engineering; specification languages; automated modeling; automated verification; communication protocols; entity-based specification language; input/output behavior; protocol entities; timed Petri net model; translation; Automata; Petri nets; Protocols; Specification languages; System recovery; Time factors;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Software and Applications Conference, 1989. COMPSAC 89., Proceedings of the 13th Annual International
Conference_Location
Orlando, FL
Print_ISBN
0-8186-1964-3
Type
conf
DOI
10.1109/CMPSAC.1989.65151
Filename
65151
Link To Document