03IDEF建模方法.ppt

上海交通大学信息系统实验室 Lecture3 基于IDEF0的企业功能建模 步丰林 bu-fl@cs.sjtu.edu.cn 1.2 IDEF2方法 IDEF2用于系统模拟，建立动态模型。这是由HOS公司为主发展起来的。 IDEF2则因为其它仿真软件（如SLAM、SIMAN等）发展很快，覆盖了它所涉及的功能，很少有人再应用IDEF2，有点自然萎缩的倾向 方盒代表一个行为单元（ unit of behavior--UOB） ， 连接这些盒子之间的箭头称为联结（ link） ， 联结反映了UOB之间的先后顺序或者约束关系。 带有“X”记号的方盒表示过程的分叉和汇合关系。 IDEF3状态转移图 每个圆圈代表一个对象状态； 联结不同圆圈之间的连线反映对象状态之间的转换； 与每个连线相关联的是实现对象状态转换的参照物。参照物表示了对象状态转换发生的条件、动作、必须满足的约束等多种含义。 1.4 IDEF4方法 IDEF4是一种面向对象方法，应用于设计可重用的、模块化的、易于维护的OO系统模型,由于它具有OO的特点，使得便于根据其模型编写OO程序代码 IDEF4将OO设计看作是大系统开发框架的一部分，IDEF4用图形语法和图辅助设计图形化的OO系统模型。 IDEF4与其它OO方法的最大区别是：符合“最小化功能原则”，而且支持对于类继承、对象合成、功能分解和多态等设计的交互作用的评估。 IDEF4将设计活动分为离散的、可管理的几个部分 每个子活动由一个强调必须制定的设计决策决策和它们在设计的其它方面的影响的图形语法支持 IDEF4的任何一张图都不能包含IDEF4设计模型的所有信息，这样来减少模型太复杂造成的混乱， 并便于快速查看需要的信息。 通过对各种类型的图的关联部分进行细致设计可来确保不同子模型之间的兼容性 Protocol Diagram 1.5 IDEF5本体学语言 本体论(Ontology)--哲学名词 哲学中研究世界的本原或本性的问题的部分 本体论是对概念的本质和关系的描述 本体论可以理解为“概念定义集” 是关于“种类”和“关系”的词汇表 相当于一个数据字典 文法和公理上更加严格 采用形式化程度更高的精确语言 IDEF0方法 IDEF0方法是： 图形化的表达方式 简洁 作为群组间沟通的工具 有严谨的定义 组织性及功能性 具有层次状的结构(Hierarchy) 一个实例 A1 新产品开发例子 IDEF0 – 0-level IDEF0 – Develop a new product IDEF0 －design a part IDEF0－record a new part IDEF1x IDEF1x A2 IDEF1方法 信息模型 建立信息模型是实施CIM的信息集成的重要环节，数据流图（DFD）、实体-联系图（E-R）……等都是得到广泛应用的建模方法，而IDEF1-IDEF1X则是在E-R模型的原则基础上，增加了一些规则，使语意更为丰富而形成的一套方法。 IDEF1描述系统信息及其联系，建立信息模型作为数据库设计的依据。这是由Hughes飞机公司为主发展起来的。 在实践中，形成了IDEF1的扩展版本（extended）,称为IDEF1X， IDEF1x方法 基本要素及画法规定 实体 实体表示具有相同属性或特性的一个现实或抽象事物的集合 实体包括三个部分：语义、语法和规则 实体的实例是实体抽象概念的一个具体的值 独立实体：全称为“独立标识符实体”（Identifier Independent Entities），该类实体的每个实例的唯一标识依赖于该实体与其它实体的关系。 依赖实体：全称为“依赖标识符实体”（Identifier Dependent Entities），该类实体的每个实例的唯一标识依赖于该实体与其它实体的关系，或以一个完全外来键（或称外来码）为实体主键的全部或部分者，就称该实体为依赖实体。 IDEF1x方法 实体有下述语法规则： （1）每一个实体必须使用唯一的实体名，相同的含义必须总是用于同一实体名。而且相同的含义决不能用于不同的实体名，别名除外。 （2）一个实体可以有一个或多个属性，这些属性可以是它自身所具有的，也可以是通过一个关系而继承得到的。 （3）一个实体应有一个或多个能唯一标识实体每一个实例的属性。 （4）任何实体都可与模型中任何其它的实体有任何关系。 IDEF1x方法 属性 指一类现实或抽象的事物的一种特征或性质（如：人、物、地点、事件、概念等）其实例要由“特征型”（Type）和“值”（Value）来定义。实体的每一个相关属性都必须具有一个单一且确定的值。 连接关系 用来描述实体之间的关系 确定的连接关系（Specific Connection Relationship），还可称