From State Machines to Temporal Logic: Specification Methods for Protocol Standards
- 1 December 1982
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Communications
- Vol. 30 (12) , 2486-2496
- https://doi.org/10.1109/tcom.1982.1095451
Abstract
This paper attempts to lend perspective to several different methods that have been employed for specifying computer communication protocols by comparing a spectrum of specification techniques. The paper characterizes specification languages such as state transition diagrams, variants of temporal logic approaches, and sequence expressions by the extent to Which information is encoded as properties of a single state versus properties of a history of the entire computation state sequence. Taking the prototypical alternating bit protocol as an example, each method is used to specify the requirements for the send process of the distributed system.Keywords
This publication has 5 references indexed in Scilit:
- STP: A mechanized logic for specification and verificationPublished by Springer Nature ,2005
- Specification and synthesis of communicating processes using an extended temporal logicPublished by Association for Computing Machinery (ACM) ,1982
- Algebraic Specification of Communication ProtocolsPublished by Defense Technical Information Center (DTIC) ,1981
- "Sometime" is sometimes "not never"Published by Association for Computing Machinery (ACM) ,1980
- COSY ? a system specification language based on paths and processesActa Informatica, 1979