|Final Report of the COST-247 Action|
Data Typing for Extended LOTOS
Jose A. Manas
|Dept. Ingenieria de Sistemas Telematicos|
|Universidad Politecnica de 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.