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
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;
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
DOI :
10.1109/CMPSAC.1989.65151
