Table of Contents

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

Abstract

Defines the semantics and syntax of IDEF1X, a language used to represent a conceptual schema. The two styles of IDEF1X described are; The Key Style is used to produce information models that represent the structure and semantics of data within an enterprise and is backward-compatible with the US governments Federal Information Processing Standard (FIPS) PUB 184, Integration Definition for Information Modeling (IDEF1X). The Identity Style is used to produce object models that represent the behavior, knowledge, and rules of the concepts within an enterprise. Used as a growth path for key-style models.

General Product Information

Published
Document Type	Standard
Status	Current
Publisher	Institute of Electrical & Electronics Engineers
Pages
ISBN
Supersedes	IEEE DRAFT 1320.2 : D0.9 FEB 98