Abstract:

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.