IDEF1X
属性が持ちうる実際の値を規定する、データ型がすべて同一の値の集合(有限個もしくは無限個)に名前を付けたもの。すべての属性は必ず1つのドメイン上に定義される。複数の属性が同じドメイン上にあっても構わない。
メタモデルとは、モデリングシステムの構成要素のモデルである。通常のモデルと同様に、モデルの主題(この場合はIDEF1X)について、その構成要素が何であり、それらが互いにどう関連するかといった、表現、推論を行うために用いられる。このようなメタモデルは、リポジトリ設計、ツール設計、有効なIDEF1Xモデル集合の特定など、様々な用途に利用されうる。作成されるモデルは目的によっていくらか異なり、「唯一の正しいモデル」というのは存在しない。たとえばモデルを少しずつ構築することを支援するツールであれば、不完全なモデルや時には矛盾したモデルを許容しなければならない。しかし形式化のためのメタモデルであれば、形式化の概念との整合が重視されるため、不完全なモデルや矛盾したモデルは許容されない。
メタモデルには重要な制限が2つある。1つ目は、メタモデルとは構文 (syntax) を規定するものであり、意味 (semantics) を規定するものではないということ。2つ目は、自然言語または形式言語によって制約を補足しなければならないということである。IDEF1Xの形式理論では、意味と、必要な制約を正確に表す手段の両方を提供している。
IDEF1Xメタモデルは右(あるいは上)の図に示されている。ドメインの階層構造と制約も与えられており、制約はメタモデルの形式理論の文によって表現される。
エンティティにおいて、関連する親エンティティの主キーとその値が一致するような、1つもしくは複数の属性の組。外部キーは、接続リレーションまたは分類リレーションを通じて親エンティティの主キーを「移行 (migration)」した結果現れるものである。外部キーの属性の組には子エンティティでの役割に基づく役割名を割り当てることができる。
リレーションの多重度(カーディナリティ)の構文
依存リレーションの構文
分類リレーションの構文
不特定リレーションの構文