• There are no items in your cart

BS ISO/IEC 15437:2001

Current
Current

The latest, up-to-date edition.

Information technology. Enhancements to LOTOS (E-LOTOS)
Available format(s)

Hardcopy , PDF

Language(s)

English

Published date

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

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

Committee
IST/15
DevelopmentNote
Supersedes 98/651447 DC (05/2005)
DocumentType
Standard
Pages
202
PublisherName
British Standards Institution
Status
Current
Supersedes

Standards Relationship
ISO/IEC 15437:2001 Identical

ISO/IEC 10746-3:2009 Information technology Open distributed processing Reference model: Architecture Part 3:
ISO/IEC 10746-2:2009 Information technology Open distributed processing Reference model: Foundations Part 2:
ISO 8807:1989 Information processing systems Open Systems Interconnection LOTOS A formal description technique based on the temporal ordering of observational behaviour

View more information
US$426.44
Excluding Tax where applicable

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.