Introduction of Standard Data Types into LOTOS.

摘要

The theme of this paper is the introduction of so called 'standard data types' into the specification language LOTOS, which will make the specification of data types more user friendly. It begins with a general overview of LOTOS. It concentrates on the data type part and discusses problems that arise from the current language definition. It then gives proposals for language enhancements for LOTOS that constitute the basis of the introduction of standard data types. The standard data types that are proposed for introduction into LOTOS are: constants; arrays; records; unions; sequences; and sets. The final chapter explains by some examples the formal semantics that is given to standard data types. The formal semantics is defined by the mapping of standard data types onto LOTOS. The two annexes contain the formal definition of the syntax and semantics of standard data types.