IDEF0模型的形式化描述与展开模型

摘要

以IDEF0功能建模方法为基础，本文建立了一种IDEF0模型的形式化描述，通过IDEF0模型的标准化处理，提出IDEF0的完善模型和IDEF0展开模型的概念，并给出了从IDEF0模型自动生成相应IDEF0展开模型的算法。IDEF0模型的形式化描述及其展开模型，将有助于系统功能结构的耦合度、复杂度，将对系统业务流程重组、功能优化以及功能可靠性分析等提供有力支持。