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