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
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;
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
DOI :
10.1109/SICON.1993.515656
