BS ISO/IEC 15437:2001

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.2 The module language
   A.3 An E-LOTOS specification of the ODP trader
B Guidelines for LOTOS to E-LOTOS translation
   B.1 Introduction

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