南华大学计算机科学与技术学院软件工程概论课件第2章 需求分析（3）.ppt

主要内容 IDEF0功能建模 IDEF1X数据建模 2.8 IDEF0功能建模 1981年美国空军公司ICAM（Integrated Computer Aided Manufacturing）工程中用了名为“IDEF”（ICAM DEFinition method）的方法，后来称之为Integration DEFintion method，简称仍不变。 IDEF方法是一套用来对复杂系统进行建模分析和设计的系统方法：IDEF0进行功能建模，IDEF1X用来建立数据模型，IDEF4方法则用于面向对象设计，等等。 IDEF0方法用严格的自顶向下、逐层分解的方式来构造系统的功能模型，用IDEF0图来描述。 2.8.1 IDEF0图 IDEF0图的主要元素是简单的盒子及箭头。 盒子代表系统的功能（活动）。 箭头表示系统处理的数据约束，可以是具体的事物，也可以是抽象的信息。 盒子 箭头 ---- 分支箭头 表示多个活动需要同一种数据或同一种数据的不同成份。 箭头 ------汇合箭头 表示多个活动产生（或合成）同一种数据。 箭头 ------通道箭头 表示箭头描述的数据约束不出现在子图（或父图）中。 箭头 ---- 双向箭头 表示两个盒子描述的活动互为输入或互为控制，且将先触发的盒子画在较高的位置上。 箭头----虚线箭头 表示活动触发的先后顺序。 箭头----选择箭头 表示数据的选择关系。 ICOM码：分层IDEF0图 为了明确分解过程中数据和图形间的关系，采用ICOM码和结点号来进行标识。 对于来自父盒子的数据约束，分别用I、C、O、M表明来自父盒子的输入、控制、输出及机制边线，并在字母之后跟上数据约束在父盒子中的数字顺序号（编号顺序为：从上至下，从左至右）以表明数据约束在父盒子中的位置，统称为ICOM码。 结点号用来表明图形或盒子在分层IDEF0图中的位置。 ICOM码例子 结点号与结点树 IDEF0图示例 2.8.2 IDEF0建模步骤 IDEF0方法在详细的功能需求调研基础上，用严格的自顶向下、逐层分解的方式来进行。 确定建模的范围、观点及目的； 建立系统的内外关系图，即A-0图； 建立A0图的一系列子图； 书写文字说明。 2.8.3 有关注意 盒子 箭头 评审和复查 盒子 盒子在活动图形中，盒子应按约束关系从左至右，从上到下呈对角线排列； 每一个盒子应有一个在活动图形中的顺序号； A-0图之下的所有图形中的盒子不能少于3个，不能超过6个； 盒子中的活动名词要使用动词短语，而较少使用专门术语或缩略词。 箭头 箭头表示约束条件而不是执行顺序； 输出箭头表示活动可能出现的结果，并不表明在那种条件下一定出现哪种结果； 箭头的详细程度必须与盒子的详细程度相一致； 箭头若可同时用作（或怀疑是）控制及输入时，则将其作为控制； 一个箭头在父图是控制箭头时，在子图中可能是控制，也可能是输入； 一个盒子至少要有一个控制箭头； 箭头线只能是水平线或垂直线； 如果箭头线较长，则应标记它两次； 除特殊原因外，一般将有相同源和目的的箭头用一个箭头代替； 盒子的一边一般不要超过4个箭头，多于4个则可采用一个箭头加分支来处理； 通常不要把一个箭头分裂成对同一盒子的输入及控制箭头；否则，要分别写出所分出2个箭头的标签，以示区别原因； 评审和复查 评审人员与图形设计人员不应是相关人员。（保证评审的公正性） 对于一个子系统的所有图纸都要由相关业务部门或其它子系统负责人会签。（确保全局范围内的协调和集成） 整个图纸最后应交上级部门批准和保存。 2.9 IDEF1X数据建模 IDEF1X方法是IDEF1方法的扩展版本。 IDEF1用来表示系统的信息结构和语义。 IDEF1X方法增强了图形的表达能力，丰富了语义和简化了开发过程。 2.9.1 IDEF1X图---实体 实体是具有相同属性或特征的现实或抽象事物的集合，这个集合中的一个元素便称为实体的一个实例。 在一张IDEF1X图中 ，一个实体只能在图中出现一次。 IDEF1X图---联系（关系） 确定联系： 一对一（多） 连接联系 分类联系 非确定联系及转化 属性 属性表示现实或抽象的事物一种特性或性质。 外键 如果实体间存在“确定联系”，则“子实体”（或“分类实体”）将继承“父实体”（或“一般实体”）的“主关键字”的属性，称为“外来关键字”，在属性名后跟FK以区别其它属性。 角色名 如果一个子实体对同一个父实体有多种联系，则用“角色名”（role name）来区分每次继承，其使用形式为：角色名.属性名。 2.9.2 IDEF1X建模步骤 0阶段——确定建模目标和计划; 1阶段——定义实体; 2阶段——定义联系； 3阶段——定义键； 4阶段——定义属性。 中南大学 信息科学与工程学院 任胜兵