ISO/IEC/IEEE 31320-2:2012 PDF

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.