Towards a denotational semantics for ET-LOTOS
The formal specification language LOTOS is an international standard for use in Open Systems Interconnection. A timed extension called ET-LOTOS has been proposed. This paper presents a fully-abstract denotational semantics for the process algebraic component of this extension. The benefits of a denotational semantics are discussed, as are the applications.
KeywordsExternal Action Operational Semantic Transition Rule Semantic Function Denotational Semantic
Unable to display preview. Download preview PDF.
- T. Bolognesi, F. Lucidi, and S. Trigila. Converging towards a timed LOTOS standard. Computer Standards and Interfaces, 16(2), 1994.Google Scholar
- J. Davies. Specification and proof in real time CSP. Cambridge University Press, 1993.Google Scholar
- C. A. R. Hoare. Communicating Sequential Processes. Prentice-Hall, 1985.Google Scholar
- ISO. Information Processing Systems—Open Systems Interconnection—LOTOS, a Formal Description Technique based on the Temporal Ordering of Observational Behaviour, February 1988. ISO/IEC-JTC1/SC21/WG1/FDT/C.Google Scholar
- JTC1/SC21/WG1/Q48.6. Revised draft on enhancements to LOTOS. obtainable from ftp.dit.upm.es, 1994.Google Scholar
- L. Léonard and G. Leduc. An enhanced version of timed LOTOS and its application to a case study. In Formal Description Techniques VI, 1994.Google Scholar
- Z. Manna and A. Pneuli. The temporal logic of reactive and concurrent systems. Springer-Verlag, 1992.Google Scholar
- R. Milner. Communication and Concurrency. Prentice-Hall, 1989.Google Scholar
- S. Schneider. An operational semantics for timed CSP. Information and Computation, 116(2), 1995.Google Scholar
- S. Schneider. Timewise refinement for communicating processes. Science of Computer Programming, 1995. to appear.Google Scholar
- Kenneth J. Turner, editor. Using Formal Description Techniques — An Introduction to Estelle, LOTOS and SDL. Wiley, New York, January 1993.Google Scholar