next up previous

Final Report of the COST-247 Action

Data Typing for Extended LOTOS

Jose A. Manas

Dept. Ingenieria de Sistemas Telematicos
Universidad Politecnica de Madrid
ETSI Telecomunicacion
E-28040 Madrid


Data typing facilities in current LOTOS have been subject to a lot of criticism. There is a strong requirement for E-LOTOS to sort out the problems associated to data in LOTOS and provide something that is usable at industrial scenarios. The presentation will try to focus the problems, and propose solutions, starting with predefined basic data types, basic constructors, syntax and semantics implications. There are a large number of options, so the talk will try to summarize the pros and cons of the most interesting ones, and make a complete, global and coherent proposal. The talk presents a proposal of the author to the ISO working group on E-LOTOS.

This presentation has been given during the COST-247 4th Management Committee Meeting (Berlin, Germany, February 9--10, 1995).

COST-247 Working Group(s): 1

This Page was prepared by Mark Jorgensen.

Back to the VASY Home page