CAN/CSA-ISO/IEC 15437-02 (R2011)

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