BS ISO/IEC 15437:2001
Current
The latest, up-to-date edition.
Hardcopy , PDF
English
09-21-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
Access your standards online with a subscription
Features
-
Simple online access to standards, technical information and regulations.
-
Critical updates of standards and customisable alerts and notifications.
-
Multi-user online standards collection: secure, flexible and cost effective.