Abstract
LOTOS (Language of Temporal Ordering Specification) (ISO 8807, 1989) was developed by the FDT experts of the working group ISO/TC97/SC21/WG1 during the 80’s. It is a specification language developed for formal description of the OSI architecture and distributed systems in general. In fact, most examples of LOTOS specifications found in the literature today relate to these types of applications.
Chapter PDF
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Bolognesi, T., and Brinksma, E. (1987), “Introduction to the ISO Specification Language LOTOS,” Computer Networks and ISDN Systems, Vol. 14, pp. 25–59.
Bolognesi, T., and Brinksma, E. (1989), “Introduction to the ISO Specification Language LOTOS,” P.H.J. van Eijk, C.A. Vissers and M. Diaz (Eds.), The Formal Description Technique LOTOS, pp. 23–73.
Brinksma, E. (1986), “A Tutorial on LOTOS,” M. Diaz (Ed.), Protocol Specification, Testing and Verification, V, pp. 171–194.
de Meer, J. (1987), “Introduction to the Formal Description Technique LOTOS,” Proceedings of the International Congress on Terminology and Knowledge Engineering, pp. 415–431.
de Meer, J., Roth, R., and Vuong, S. (1992), “Introduction to Algebraic Specifications Based on the Language ACT ONE,” Computer Networks and ISDN Systems, Vol. 23.
Ehrig, H., and Mahr, B. (1985), Fundamentals of Algebraic Specification, Springer-Verlag.
Hoare, C.A.R. (1985), Communicating Sequential Processes, Prentice-Hall.
Hogrefe, D. (1989), Estelle, LOTOS and SDL, Springer Verlag.
ISO 8807 (1989), Information Processing Systems — Open Systems Interconnection — LOTOS — A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour.
ISO/IEC 8807/DAM1 (1989), Information Processing Systems — Open Systems Interconnection — LOTOS — A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour — Amendment 1: G-LOTOS.
ISO/IEC TR 10167 (1991), Information Technology — Open Systems Interconnection — Guidelines for the Application of Estelle, LOTOS and SDL.
Logrippo, L., Melanchuk, T., and DuWors, R.J. (1990), “The Algebraic Specification Language LOTOS: An Industrial Experience,” M. Moriconi (Ed.), Proceedings of the ACM SIGSOFT International Workshop on Formal Methods in Software Development (Napa, CA., 1990), pp. 59–66.
Logrippo, L., Faci, M., and Haj-Hussein, M. (1992), “An Introduction to LOTOS: Learning by Examples,” Computer Networks and ISDN Systems, Vol. 23, pp. 325–342.
Milner, R. (1980), A Calculus of Communicating Systems, Lecture Notes in Computer Science, Vol. 92, Springer-Verlag.
Turner, K. (1988), “Constraint-Oriented Style in LOTOS,” Proceedings of the British Computer Society Workshop on Formal Methods in Standards, Did-cot, April 1988.
Turner, K. (1993), Using Formal Description Techniques — An Introduction to Estelle, LOTOS and SDL, John Wiley & Sons Ltd.
Vissers, C., Scollo, G., and van Sinderen, M. (1988), “Architecture and Specification Style in Formal Descriptions of Distributed Systems,” Aggarwal, S., and Sabnani, K. (Eds.), Protocol Specification, Testing and Verification, VIII, pp. 189–204.
van Eijk, P., Vissers, C.A., and Diaz, M. (1989), The Formal Description Technique LOTOS, North-Holland.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1998 Springer Science+Business Media New York
About this chapter
Cite this chapter
Lai, R., Jirachiefpattana, A. (1998). Lotos. In: Communication Protocol Specification and Verification. The Springer International Series in Engineering and Computer Science, vol 464. Springer, Boston, MA. https://doi.org/10.1007/978-1-4615-5549-0_4
Download citation
DOI: https://doi.org/10.1007/978-1-4615-5549-0_4
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4613-7537-1
Online ISBN: 978-1-4615-5549-0
eBook Packages: Springer Book Archive