DocumentCode
2407637
Title
Derivation of communication protocol specification based on LOTOS and temporal logic
Author
Ando, Toshihiko ; Kato, Yasushi ; Takahashi, Kaoru ; Noguchi, Shoichi
Author_Institution
Sendai Nat. Coll of Technol., Japan
Volume
2
fYear
1993
fDate
6-11 Sep 1993
Firstpage
591
Abstract
In general, specifying systems using global properties should be desirable. LOTOS specifications can be derived from global properties of communication systems, described in a temporal logic, using this method. Those specifications have a structured style, so that meanings of specifications can be understood easily. This method, hence, can be effective to specify protocols
Keywords
formal specification; protocols; specification languages; temporal logic; LOTOS specifications; communication protocol specification; global properties; temporal logic; Educational institutions; Formal specifications; Logic; Protocols; Safety; System testing;
fLanguage
English
Publisher
ieee
Conference_Titel
Networks, 1993. International Conference on Information Engineering '93. 'Communications and Networks for the Year 2000', Proceedings of IEEE Singapore International Conference on
Print_ISBN
0-7803-1445-X
Type
conf
DOI
10.1109/SICON.1993.515656
Filename
515656
Link To Document