ISO IEC IEEE 31320-2-2012 PDF

Full title and description

ISO/IEC/IEEE 31320-2:2012 — Information technology — Modeling Languages — Part 2: Syntax and Semantics for IDEF1X97 (IDEFobject). This part of the 31320 series standardizes the notation, syntax and formal semantics of the IDEF1X97 conceptual modelling language (IDEFobject), describing both the key-style (information/data models) and the identity-style (object/identity models) and their use for enterprise information and object modelling.

Abstract

Specifies syntax and semantics for IDEF1X97 (IDEFobject). Defines two modelling styles — key style for information/data structure modelling (backward-compatible with FIPS PUB 184) and identity style for object-style models (including rules, constraints and behaviour) — and provides formal definitions to support consistent interpretation, tool interoperability and transformations to logical/implementation models.

General information

• Status: Published / International Standard (confirmed at periodic review).
• Publication date: September 2012 (Edition 1).
• Publisher: Joint ISO / IEC / IEEE publication (ISO/IEC JTC 1/SC 7; IEEE Computer Society involvement).
• ICS / categories: 35.080 (Software).
• Edition / version: 1.0 (first edition, 2012).
• Number of pages: 305 (published electronic edition listing).

Scope

Defines the concrete syntax (graphical and textual elements), abstract syntax and formal semantics for the IDEF1X97 modelling language. Covers the two model styles (key and identity), notation for entities, relationships, keys and constraints, the identity-style constructs for interfaces/requests/realizations and a Rule and Constraint Language for specifying declarative rules. The standard supports mapping to relational and object implementations and provides formalization (first-order logic) to enable unambiguous interpretation and tool support.

Key topics and requirements

• Definition of graphical and textual syntax for IDEF1X97 (IDEFobject).
• Formal semantics (abstract syntax and logic-based formalization) enabling deterministic interpretation and transformations.
• Two modelling styles: key-style (information/data modelling) and identity-style (object/identity modelling) with rules for use and transitions between styles.
• Rule and Constraint Language for declarative specifications of requests, realizations and behavioural constraints.
• Conformance guidance for modelling tools and model interchange to support interoperability.
• Guidance on mapping conceptual models to implementation targets (relational, extended-relational, object databases and programming languages).

Typical use and users

Used by data architects, enterprise architects, systems and software engineers, database designers, modelling-tool vendors and educators for defining conceptual schemas, enterprise information models and object-level conceptual designs. Also used by tool developers who implement IDEF1X editing, validation, transformation and code-generation features.

Related standards

ISO/IEC/IEEE 31320-1:2012 (Part 1 — Syntax and Semantics for IDEF0) is the companion part in the 31320 series. The IDEF1X family’s original U.S. federal baseline (FIPS PUB 184, Integration Definition for Information Modeling) and earlier IEEE material on IDEF1X are historical antecedents referenced by this standard.

Keywords

IDEF1X, IDEFobject, IDEF1X97, conceptual modelling, information model, identity-style modelling, key-style modelling, syntax, semantics, meta-model, rule and constraint language, enterprise data modeling, model interchange.

FAQ

Q: What is this standard?

A: ISO/IEC/IEEE 31320-2:2012 is the international standard that defines the syntax and formal semantics for the IDEF1X97 conceptual modelling language (also called IDEFobject).

Q: What does it cover?

A: It covers the graphical and textual notation, abstract syntax, formal semantics, two modelling styles (key and identity), a Rule and Constraint Language, and guidance to map conceptual models to implementation technologies.

Q: Who typically uses it?

A: Data and enterprise architects, database designers, systems/software engineers, modelling-tool vendors and academics who need a standardized, formally-defined conceptual modelling language for data and object modelling.

Q: Is it current or superseded?

A: The 2012 edition is the published edition; ISO records indicate it was reviewed/confirmed during periodic review (confirmed in the ISO catalogue review cycle), so the 2012 edition remains the current published edition as listed in ISO/IEC/IEEE catalogues. Users should check national or publisher catalogues for availability and any corrigenda.

Q: Is it part of a series?

A: Yes — it is Part 2 of the ISO/IEC/IEEE 31320 series (Part 1 covers IDEF0). The series groups standards for modelling languages in the IDEF family.

Q: What are the key keywords?

A: IDEF1X, IDEFobject, conceptual modelling, syntax, semantics, identity-style, key-style, rule and constraint language, enterprise information model.