The formal theory of IDEF1X provides both the semantics and a means to precisely express the necessary constraints.
IDEF1Xの形式理論では、意味と、必要な制約を正確に表す手段の両方を提供している。