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.
CITATION STYLE
Schwartz, R. L., & Melliar-Smith, P. M. (1985). From state machines to temporal logic: Specification methods for protocol standards. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 207 LNCS, pp. 55–65). Springer Verlag. https://doi.org/10.1007/3-540-16047-7_35
Mendeley helps you to discover research relevant for your work.