BS ISO/TR 10303-12:1997

1 Scope
2 Normative references
3 Definitions
    3.1 Terms defined in ISO 10303-1
    3.2 Terms defined in ISO 10303-11
    3.3 Terms defined in ISO 10303-31
    3.4 Other definitions
4 Conformance requirements
    4.1 Formal specifications written in EXPRESS-I
    4.2 Implementations of EXPRESS-I
5 Fundamental principles
6 Language elements
    6.1 Character set
    6.2 Reserved words
    6.3 Symbols
    6.4 Identifiers and references
7 Named domains
    7.1 Entity domain
    7.2 Enumeration domain
    7.3 Select domain
    7.4 Type domain
8 Values and instances
    8.1 Base values
    8.2 Aggregation values
    8.3 Simple instance
    8.4 Type instance
    8.5 Select instance
    8.6 Enumeration instance
    8.7 Entity instance
    8.8 Constant instance
    8.9 Schema data instance
    8.10 Model display
9 Abstract test case specification
    9.1 Context
    9.2 Parameters
    9.3 Test case
    9.4 Test objective
    9.5 Test realization
10 Interfaces
    10.1 Schema instance interface
    10.2 Schema reference
    10.3 Context data references
11 Scope and visibility
    11.1 Scope rules
    11.2 Visibility rules
    11.3 Explicit item rules
12 Mapping from EXPRESS to EXPRESS-I
    12.1 Mapping of EXPRESS schema
    12.2 Mapping of EXPRESS simple data types
    12.3 Mapping of aggregation data types
    12.4 Mapping of EXPRESS defined data type
    12.5 Mapping of EXPRESS enumeration type
    12.6 Mapping of EXPRESS select type
    12.7 Mapping of EXPRESS constant
    12.8 Mapping of EXPRESS entity
    12.9 Mapping of EXPRESS entity attributes
    12.10 Mapping of supertypes and subtypes
Annexes
A Syntax description of EXPRESS-I
    A.1 Tokens
    A.2 Lexical elements
    A.3 Interpreted identifiers
    A.4 Grammar rules
    A.5 Cross reference listing
B Protocol implementation conformance statement (PICS)
    B.1 EXPRESS-1 language parser
C Information object registration
D Language specification syntax
    D.1 The syntax of the specification
    D.2 Special character notation
E Example test cases
    E.1 Test case 1
    E.2 Test case 2
    E.3 Test case 3
    E.4 Test case 4
F Usage notes
    F.1 EXPRESS data examples
    F.2 Abstract test cases
    F.3 Object bases
    F.4 Non-EXPRESS data examples
G Technical discussions
    G.1 Abstract test cases
    G.2 Relationship with EXPRESS
    G.3 Object references
    G.4 Aggregations
    G.5 String values
    G.6 Model testing and validation
    G.7 Enhancement of test case capabilities
    G.8 Compatibility with EXPRESS
    G.9 Trial Usage
    G.10 Alphabet extensions
    G.11 Supertype mapping
    G.12 CD ballot comments - 1995
H Bibliography
Index
Figures
1 The major elements of the EXPRESS-I language
Tables
1 Keywords common to EXPRESS-I and EXPRESS
2 Additional EXPRESS-I keywords
3 The EXPRESS-I use of EXPRESS operator
4 The EXPRESS-I use of EXPRESS constants
5 The EXPRESS-I use of EXPRESS functions
6 The EXPRESS-I use of EXPRESS procedures
7 Symbols common to EXPRESS-I and EXPRESS
8 Additional EXPRESS-I symbols
9 Scope and identifier defining EXPRESS-I items
10 Scope and identifier defining EXPRESS items utilised
    by EXPRESS-I
11 Scope and visibility rules
12 Summary overview of EXPRESS to EXPRESS-I mappings
13 Overview of SCHEMA mapping
14 Simple type mapping
15 Mapping of AGGREGATES
16 Overview of ENTITY mapping
17 Overview of SUPERTYPE and SUBTYPE mapping

Specifies a language by which an instance of part of a universe of discourse can be displayed. In addition it gives a formal description procedure for support of the specification of abstract test cases. This language is known as EXPRESS-1.