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

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