Abstract
This section introduces the Lotos and E-Lotos languages, and how they may be used in requirements capture.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bolognesi T., Brinksma E. (1988) Introduction to the ISO specification language Lotos. Computer Networks and ISDN Systems 14 (1): 25 – 59
Bolognesi T., van de Lagemaat J., Vissers C. A., Eds. (1995) The LotosSphere Project. Kluwer Academic Publishers, London, UK
Clarke E., Emerson E. A., Sistla A. P (1983) Automatic verification of finite-state concurrent systems using temporal logic. In: 10th Annual Symposium on Principles of Programming Languages
Fernández J.-C., Garavel H., Kerbrat A., Mateescu R., Mounier L., Sighireanu M. (1996) CADP (Cæsar/Aldébaran Development Package): A protocol validation and verification toolbox. In: Alur R., Henzinger T. A. (Eds.) 8th Conference on Computer-Aided Verification, Number 1102 in Lecture Notes in Computer Science. Springer-Verlag, Berlin, Germany, 437 – 440
Fernández J.-C., Mounier L. (1991) A tool set for deciding behavioral equivalences. In: CONCUR’91, Amsterdam, Netherlands
Garavel H. (1989) Compilation of Lotos abstract data types. In: Vuong S. T. (Ed.) Formal Description Techniques II. North-Holland, Amsterdam, Netherlands
ISO/IEC (1989) Information Processing Systems — Open Systems Interconnection — Lotos — A Formal Description Technique based on the Temporal Ordering of Observational Behaviour. ISO/IEC 8807, International Organization for Standardization, Geneva, Switzerland
ISO/IEC (2000) Information Processing Systems — Open Systems Interconnection — Enhancements to Lotos — A Formal Description Technique based on the Temporal Ordering of Observational Behaviour. ISO/IEC 8807, International Organization for Standardization, Geneva, Switzerland
Leduc G. (1987) The intertwining of data types and processes in Lotos. In: Rudin H., West C. H. (Eds.) Protocol Specification, Testing and Verification VII. North-Holland, Amsterdam, Netherlands, 123 – 136
Milner A. J. R. G. (1989) Communication and Concurrency. Addison-Wesley, Reading, Massachusetts, USA
Pecheur C. (1993) Vlib• Infinite virtual libraries for Lotos. In: Danthine A. A. S., Leduc G., Wolper P. (Eds.) Protocol Specification, Testing and Verification XIII. North-Holland, Amsterdam, Netherlands, 29 – 44
Scollo G. (1993) On the Engineering of Logics. PhD Thesis, Department of Informatics, University of Twente, Enschede, Netherlands
Sighireanu M. (1998) Model-checking validation of the Lotos descriptions of the invoicing case study. In: Allemand M., Attiogbé C., Habrias H. (Eds.) International Workshop on Comparing Systems Specification Techniques. University of Nantes, France, 99 – 114
Sighireanu M., Turner K. J. (1998) Requirement capture, formal description and verification of an invoicing system. Technical Report RR-3575, Institut National de Recherche en Informatique et Automatique, Le Chesnay, France
Turner K. J. (1990) A Lotos-based development strategy. In: Vuong S. T. (Ed.) Formal Description Techniques II. North-Holland, Amsterdam, Netherlands, 157–174
Turner K. J., Ed. (1993) Using Formal Description Techniques — An Introduction to ESTELLE, Lotos and SDL. John Wiley, New York, USA
Turner K. J. (1997) Specification architecture illustrated in a communications context. Computer Networks and ISDN Systems 29 (4): 397 – 411
Turner K. J. (1998) The invoicing case study in (E-)Lotos. In: Allemand M., Attiogbé C., Habrias H. (Eds.) International Workshop on Comparing Systems Specification Techniques. University of Nantes, France, 83 – 98
Turner K. J. (2000) World-wide Environment for Learning Lotos. http:// http://www.cs.stir.ac.uk/well/
VASY (Validation des Systèmes) Team (1999) CADP ( Cæsar/Aldébaran Development Package ): A software engineering toolbox for protocols and distributed systems. http://www.inrialpes.fr/vasy/cadp/
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag London Limited
About this chapter
Cite this chapter
Turner, K.J., Sighireanu, M. (2001). (E)-Lotos: (Enhanced) Language of Temporal Ordering Specification. In: Frappier, M., Habrias, H. (eds) Software Specification Methods. Formal Approaches to Computing and Information Technology FACIT. Springer, London. https://doi.org/10.1007/978-1-4471-0701-9_10
Download citation
DOI: https://doi.org/10.1007/978-1-4471-0701-9_10
Publisher Name: Springer, London
Print ISBN: 978-1-85233-353-9
Online ISBN: 978-1-4471-0701-9
eBook Packages: Springer Book Archive