Physical Address
304 North Cardinal St.
Dorchester Center, MA 02124
Physical Address
304 North Cardinal St.
Dorchester Center, MA 02124
🗂️ BS ISO/IEC/IEEE 31320 是 ISO、IEC 与 IEEE 三方联合制定的建模语言国际标准,由 BSI 以英国标准形式采纳,其编制交由 BSI 技术委员会 IST/15(软件与系统工程)负责。该系列将美国联邦信息处理标准(FIPS)中广泛使用的 IDEF 方法族正式国际标准化:第 1 部分规范 IDEF0 功能建模语言的语法与语义,第 2 部分规范 IDEF1X97(IDEFobject)信息建模语言。两份文件的国际版本于 2012 年 9 月首次出版,英国版分别于 2013 年 7 月与 8 月发布,属 ICS 35.080(软件),是软件与系统工程活动中功能分解、业务流程建模与数据建模的共同语言基础。
IDEF(Integration DEFinition,集成定义)方法族最早源于 20 世纪 70~80 年代美国空军集成计算机辅助制造(ICAM)计划,并先后在 FIPS 标准中发布。随着标准国际化的需求增长,ISO/IEC JTC 1 与 IEEE 合作将 IDEF0 与 IDEF1X97 上升为三方联合国际标准,即 ISO/IEC/IEEE 31320 系列。该系列为软件与系统工程中的功能分解、业务过程建模与数据建模提供了正式、可互操作的语言规范,其前言中说明标准制定遵循 IEEE 的共识开发流程并经美国国家标准协会(ANSI)批准,汇集了来自行业、政府与研究机构的志愿者意见。
从定位上看,31320 与 UML、BPMN 等现代建模语言并不冲突:IDEF0 面向系统级功能架构与自上而下的分解,IDEF1X97 面向持久化数据结构的规范化表达。在大型工程项目的需求基线建立阶段,这两种语言比一般的流程图或类图更强调”严谨的语法规则”,因而更容易被形式化工具校验。
| 标准编号 | 版本年份 | 主题 | 模型类型 | 出版时间(英国版) |
|---|---|---|---|---|
| BS ISO/IEC/IEEE 31320-1 | 2012 | IDEF0 的语法与语义 | 功能建模(Function Modeling) | 2013 年 8 月 |
| BS ISO/IEC/IEEE 31320-2 | 2012 | IDEF1X97(IDEFobject)的语法与语义 | 信息/数据建模(Information Modeling) | 2013 年 7 月 |
两份文件的版权主体分别为 IEEE 1998(第 1 部分)与 IEEE 1999(第 2 部分),BSI 负责英国国家采纳与发布,用户在使用时应同时遵守国际版权与英国实施条款。
IDEF0 采用”方块与箭头”(boxes and arrows)的图形语言描述活动(Activity)及其输入、控制、输出与机制。标准系统规定了完整的语法元素与语义规则:
标准还对图框的布局、箭头命名(名词短语)、页码编号、C-编号(框内活动编号,如 C1、C2…)等表示法细节给出规定,确保不同人员绘制的模型风格一致、可交换、可自动校验。这种严格的语法约定是 IDEF0 区别于一般流程图的根本所在。
IDEF1X(Information Modeling)用于表示实体—关系类信息模型,IDEF1X97 扩展版本又称 IDEFobject。标准规范了以下核心概念与图形记号:
IDEF1X97 在数据库设计与面向对象领域模型之间架起桥梁,既可用于关系数据库逻辑设计,也可指导对象模型建立。其规范化的键与关系表达可直接映射到 SQL 建表语句与主外键约束,是数据建模工具(如 ERWin 等)所依据的重要语义原型。
无论 IDEF0 还是 IDEF1X97,标准都给出了严格的形式语法,这是国际标准化的核心价值之一:
在实际建模项目中,模型不仅需要”语法正确”,更需要”语义一致”。IDEF0 模型的质量检查包括:活动命名是否使用一致的动词短语、箭头是否有明确来源与去向、父图与子图接口是否匹配(ICOM 平衡)、是否存在孤立活动或悬空箭头。IDEF1X97 模型则应检查实体与关系的规范化程度,避免冗余依赖与不一致的主键定义。规范中隐含的”图面约定”正是为这类一致性检查提供基础,使多人协作的大型模型能够被自动工具验证与合并。
此外,国际标准化的一个直接收益是模型可移植:采用统一语法的模型可在不同 CASE/建模工具之间交换,支持企业知识资产的长期保存与复用。对需要跨组织、跨供应链协同的复杂系统,这种可移植性是降低沟通成本、避免重复建模的关键。在大型工程中,推荐建立”模型评审门禁”:逻辑评审一票否决、语法检查自动执行,确保进入下一阶段的需求基线完整且一致。
| 应用场景 | 推荐语言 | 典型产出 |
|---|---|---|
| 业务流程梳理与再造 | IDEF0 | 现状/目标功能模型、活动瓶颈清单 |
| 需求分析与系统边界 | IDEF0 | A-0 上下文图、功能需求分层骨架 |
| 数据库逻辑设计 | IDEF1X97 | 实体关系模型、主外键定义、SQL 正向工程 |
| 企业架构与知识资产 | 双语言并用 | 可交换模型库、跨工具数据字典 |