1 Overview
    1.1 Scope
    1.2 Purpose
    1.3 Evolution of IDEF1X
    1.4 Conformance
2 References
3 Definitions, acronyms, and abbreviations
    3.1 Definitions
    3.2 Abbreviations and acronyms
4 IDEF1X language overview
    4.1 IDEF1X language constructs
    4.2 IDEF1X notation
5 Class
    5.1 Introduction
    5.2 State class
    5.3 Value class
    5.4 Generalization
    5.5 Relationship
6 Responsibility
    6.1 Introduction
    6.2 Request
    6.3 Property
    6.4 Attribute
    6.5 Participant property
    6.6 Operation
    6.7 Constraint
    6.8 Note
7 Rule and constraint language
    7.1 Introduction
    7.2 Realization
    7.3 Message
    7.4 Typing
    7.5 Dynamic binding
    7.6 Assignment
    7.7 Propositions
    7.8 Sentences
    7.9 Type checking
    7.10 Constraint checking
    7.11 Query
    7.12 Total ordering
    7.13 Implementation-dependent
    7.14 Lexical characteristics
    7.15 RCL syntax
8 Model infrastructure constructs
    8.1 View
    8.2 Identity-style view level
    8.3 Environment
    8.4 Glossary
    8.5 Model
9 Key-style modeling
    9.1 Entity
    9.2 Domain/value class
    9.3 Key-style view
    9.4 Attribute
    9.5 Relationship
    9.6 Entity generalization
    9.7 Primary and alternate key
    9.8 Foreign key
    9.9 Common ancestor constraint
    9.10 Key-style view level
    9.11 Key-style glossary
    9.12 Key-style notes
    9.13 Key-style lexical rules
10 Formalization
    10.1 Introduction
    10.2 IDEFobject metamodel
    10.3 Definitions clausal form
    10.4 Vocabulary
    10.5 Axioms of base theories
    10.6 Rewriting an IDEFobject view to definition clausal form
    10.7 Formalization of the modeling constructs
    10.8 Summary of the formal meaning of a view
Annex A (informative) Bibliography
Annex B (informative) Comparison of IDEF1X93 and IDEF1X97 constructs
Annex C (informative) Examples
Annex D (informative) Built-in classes