Overview
ISO/IEC/IEEE 31320-2:2012 specifies the syntax and semantics of IDEF1X (IDEF1X97) - a conceptual modeling language for representing an enterprise’s conceptual schema. The standard defines two complementary IDEF1X styles:
- Key style for information/data modeling (structure and semantics of enterprise data), backward-compatible with FIPS PUB 184.
- Identity style for object modeling (knowledge, behaviour and rules) that can evolve key-style models toward object-oriented designs and, with suitable tooling, support executable prototypes.
The standard formalizes IDEF1X in first-order logic, provides a transformation procedure from models to logical theories, and documents constructs for rules and constraints (Rule and Constraint Language).
Key Topics and Requirements
- Conceptual schema definition: Language constructs to capture an integrated, extendible, application‑independent view of enterprise concepts.
- Two modeling styles: clear syntax and semantics for both the key style (data-centric) and the identity style (object-centric).
- Rule and Constraint Language (RCL): declarative rules and constraints to express business logic and object behaviour.
- Formal semantics: mapping of IDEF1X models to first‑order logic to enable rigorous validation and transformation.
- Transformation guidance: procedures for converting any valid IDEF1X model into an equivalent formal theory.
- Implementation targets: coverage of how IDEF1X supports implementation by relational databases, extended relational systems, object databases, and object programming languages.
- Compatibility and evolution: backward compatibility with US government FIPS PUB 184 and evolutionary path for integrating object modeling concepts.
Practical Applications and Users
ISO/IEC/IEEE 31320-2:2012 is used where a rigorous conceptual schema and model-driven approach are required:
- Enterprise architects and data architects creating unified enterprise information models.
- Database designers and system integrators performing database design, migration, or integration across heterogeneous systems.
- Systems engineers and software designers using the identity style to transition toward object-oriented implementations or to build executable prototypes.
- Tool vendors implementing modeling and transformation tools, model validation, or automated code/schema generation.
- Governments and regulated industries needing formal, repeatable modeling practices and standards-compliant documentation.
Common use cases: enterprise data modeling, metadata management, model-driven development, interoperability specification, and formal validation of conceptual schemas.
Related Standards
- ISO/IEC/IEEE 31320-1 - Syntax and Semantics for IDEF0 (related IDEF technique)
- FIPS PUB 184 - Integration Definition for Information Modeling (IDEF1X) (1993) - compatibility reference
- IEEE Std 1320.2-1998 - Conceptual Modeling Language Syntax and Semantics for IDEF1X (base IEEE standard)
Keywords: ISO/IEC/IEEE 31320-2:2012, IDEF1X, conceptual schema, data modeling, identity style, key style, Rule and Constraint Language, FIPS PUB 184, first-order logic, enterprise information model.