Validation of LOTOS specifications using an interpreter: an application to telephone systems

Author

Boumezbeur, Rezki ; Logrippo, Luigi

Author_Institution

Dept. of Comput. Sci., Ottawa Univ., Ont., Canada

fYear

1992

fDate

6-10 Jul 1992

Firstpage

128

Lastpage

139

Abstract

LOTOS (language of temporal ordering specifications) is a formal description technique (FDT) that was developed by the International Organization for Standardization (ISO) for the specification of Open Systems Interconnection services and protocols. A design methodology for the description in LOTOS of telephone systems with modern features is provided. The description of a sample telephone system is formalized. A technique for the validation of a LOTOS specification using the facilities provided by the University of Ottawa interpreter is presented

Keywords

formal specification; program interpreters; protocols; specification languages; telecommunications computing; telephone systems; ISO; LOTOS specifications; Open Systems Interconnection services; formal description technique; interpreter; language of temporal ordering specifications; protocols; telephone systems; Application software; Computer science; Design methodology; Formal specifications; Open systems; Process design; Programming; Protocols; Software prototyping; Telephony;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer-Aided Software Engineering, 1992. Proceedings., Fifth International Workshop on

Conference_Location

Montreal, Que.

Print_ISBN

0-8186-2960-6

Type

conf

DOI

10.1109/CASE.1992.200142

Filename

200142