Table of Contents

1 Scope<br>2 Conformance<br>3 Normative reference<br>4 Terms, definitions and notation<br>5 E-LOTOS grammar<br>&nbsp;&nbsp;&nbsp;5.1 Lexical Structure<br>&nbsp;&nbsp;&nbsp;5.2 Syntax of the language<br>6 E-LOTOS abstract syntax<br>&nbsp;&nbsp;&nbsp;6.1 Overview<br>&nbsp;&nbsp;&nbsp;6.2 Concrete to abstract syntactic translation<br>7 E-LOTOS semantics<br>&nbsp;&nbsp;&nbsp;7.1 Overview<br>&nbsp;&nbsp;&nbsp;7.2 Static Semantics<br>&nbsp;&nbsp;&nbsp;7.3 Untimed dynamic semantics<br>&nbsp;&nbsp;&nbsp;7.4 Timed dynamic semantics<br>&nbsp;&nbsp;&nbsp;7.5 Write-many variables: the value substitution <br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;operator<br>8 The E-LOTOS modules<br>&nbsp;&nbsp;&nbsp;8.1 Specification<br>&nbsp;&nbsp;&nbsp;8.2 Top-level declaration<br>&nbsp;&nbsp;&nbsp;8.3 Module body<br>&nbsp;&nbsp;&nbsp;8.4 Module expression<br>&nbsp;&nbsp;&nbsp;8.5 Module formal parameters<br>&nbsp;&nbsp;&nbsp;8.6 Interface expressions<br>&nbsp;&nbsp;&nbsp;8.7 Interface body<br>&nbsp;&nbsp;&nbsp;8.8 Record module expression<br>&nbsp;&nbsp;&nbsp;8.9 Equation declarations<br>&nbsp;&nbsp;&nbsp;8.10 Simple equation declaration<br>&nbsp;&nbsp;&nbsp;8.11 Declarations<br>9 The E-LOTOS base language<br>&nbsp;&nbsp;&nbsp;9.1 Introduction<br>&nbsp;&nbsp;&nbsp;9.2 Behaviours<br>&nbsp;&nbsp;&nbsp;9.3 Type expressions<br>&nbsp;&nbsp;&nbsp;9.4 Record type expressions<br>&nbsp;&nbsp;&nbsp;9.5 Value expressions<br>&nbsp;&nbsp;&nbsp;9.6 Record value expressions<br>&nbsp;&nbsp;&nbsp;9.7 Patterns<br>&nbsp;&nbsp;&nbsp;9.8 Record patterns<br>&nbsp;&nbsp;&nbsp;9.9 Record of variables<br>&nbsp;&nbsp;&nbsp;9.10 Behaviour pattern-matching<br>10 Predefined library<br>&nbsp;&nbsp;&nbsp;10.1 Booleans<br>&nbsp;&nbsp;&nbsp;10.2 Natural Numbers<br>&nbsp;&nbsp;&nbsp;10.3 Integral Numbers<br>&nbsp;&nbsp;&nbsp;10.4 Rational Numbers<br>&nbsp;&nbsp;&nbsp;10.5 Floating Point Numbers<br>&nbsp;&nbsp;&nbsp;10.6 Characters<br>&nbsp;&nbsp;&nbsp;10.7 Strings<br>&nbsp;&nbsp;&nbsp;10.8 Enumerated Type Scheme<br>&nbsp;&nbsp;&nbsp;10.9 Record Type Scheme<br>&nbsp;&nbsp;&nbsp;10.10 Set Type Scheme<br>&nbsp;&nbsp;&nbsp;10.11 List Type Scheme<br>A Tutorial<br>A.1 The base language<br>&nbsp;&nbsp;&nbsp;&nbsp;A.1.1 Basic concepts <br>A.2 The module language<br>&nbsp;&nbsp;&nbsp;&nbsp;A.2.1 Basic concepts <br>A.3 An E-LOTOS specification of the ODP trader<br>&nbsp;&nbsp;&nbsp;&nbsp;A.3.1 Introduction <br>&nbsp;&nbsp;&nbsp;&nbsp;A.3.2 An overview of the ODP Trader <br>&nbsp;&nbsp;&nbsp;&nbsp;A.3.3 E-LOTOS Specification of the trader <br>&nbsp;&nbsp;&nbsp;&nbsp;A.3.4 The complete specification <br>B Guidelines for LOTOS to E-LOTOS translation<br>B.1 Introduction<br>&nbsp;&nbsp;&nbsp;&nbsp;B.1.1 Specification and process definition <br>&nbsp;&nbsp;&nbsp;&nbsp;B.1.2 Basic LOTOS<br>&nbsp;&nbsp;&nbsp;&nbsp;B.1.3 Data Types <br>&nbsp;&nbsp;&nbsp;&nbsp;B.1.4 Full LOTOS

Abstract

Specifies the syntax and semantics of the enhanced LOTOS language named E-LOTOS.

General Product Information

Published
Document Type	Standard
Status	Current
Publisher	Canadian Standards Association
ProductNote	Reconfirmed EN
Pages
ISBN