The UofO LOTOS Project

The Eludo Toolkit

Related Documents

Other papers and theses related to various aspects of the toolkit can be obtained via our anonymous ftp.

The LOTOS standard, including a tutorial

• Information Processing Systems - Open Systems Interconnection - LOTOS - A Formal Description Technique Based on the Temporal Ordering of Observational Behavior (E. Brinksma, ed.)(ISO 8807, 1989)

General introduction to LOTOS

• Bolognesi, T. and Brinksma, E. Introduction to the ISO Specification Language LOTOS, Computer Networks and ISDN Systems 14 (1987) 25-59.
• Logrippo, L., Faci, M., and Haj-Hussein, M. An Introduction to LOTOS: Learning by Examples. Computer Networks and ISDN Systems 23 (1992) 325-342.

The philosophy and some features of the toolkit

• Guillemot, R., Haj-Hussein, M., and Logrippo, L. Executing Large LOTOS Specifications. In Aggarwal, S., and Sabnani, K., Protocol Specification, Testing and Verification, VIII, North-Holland, 1988, 399-410.
• Guillemot, R., and Logrippo, L. Derivation of Useful Execution Trees from LOTOS by Using an Interpreter. In: K. J. Turner (ed.) Formal Description Techniques. North-Holland, 1989, 311-325.
• Fehri, M. C. A System for Validating and Executing LOTOS Data Abstractions. MCS Thesis, University of Ottawa, 1987.
• Haj-Hussein, M. An Interactive System for LOTOS Applications (ISLA). MCS Thesis, University of Ottawa, 1988.
• Logrippo, L., Obaid, A., Briand, J.P., and Fehri, M.C. An Interpreter for LOTOS, a Specification Language for Distributed Systems. Software-Practice and Experience, 18 (1988), 365-385.