软件工程基础：IDEF0功能建模 IDEF1X数据建模.pptVIP

4.4IDEF0功能建模1981年美国空军公司ICAM（IntegratedComputerAidedManufacturing）工程中用了名为“IDEF”（ICAMDEFinitionmethod）的方法，后来称之为IntegrationDEFintionmethod，简称仍不变。IDEF方法是一套用来对复杂系统进行建模分析和设计的系统方法：IDEF0进行功能建模，IDEF1X用来建立数据模型，IDEF4方法则用于面向对象设计，等等。IDEF0方法用严格的自顶向下、逐层分解的方式来构造系统的功能模型，用IDEF0图来描述。4.4.1IDEF0图IDEF0图的主要元素是简单的盒子及箭头。盒子代表系统的功能（活动）。箭头表示系统处理的数据约束，可以是具体的事物，也可以是抽象的信息。IDEF0图有时也称为活动图形盒子IDEF0功能建模方法要求一张IDEF0图中的盒子最多只能有6个（子图形还要求不少于3个）蓝图工单坯料刀具机器制造零件1调度表样板成品零件切屑输入边线what控制边线why输出边线what机制边线how箭头----分支箭头表示多个活动需要同一种数据或同一种数据的不同成份。IDEF0图中，箭头代表数据约束，而不是数据流或执行顺序。在同一图上，若几个盒子所需的数据约束都满足，则这个几个活动可同时时执行。箭头------汇合箭头表示多个活动产生（或合成）同一种数据。123箭头------通道箭头表示箭头描述的数据约束不出现在子图（或父图）中。X1a（）bce（）d通道箭头可使子图的描述能够得到简化，也可避免在高层父图中出现信息过细的现象，干扰用户对图形的理解。箭头----双向箭头表示两个盒子描述的活动互为输入或互为控制，且将先触发的盒子画在较高的位置上。箭头----虚线箭头表示活动触发的先后顺序。123abcdef箭头----选择箭头表示数据的选择关系。a或bababa或b分层IDEF0图为了明确分解过程中数据和图形间的关系，采用ICOM码和结点号来进行标识。对于来自父盒子的数据约束，分别用I、C、O、M表明来自父盒子的输入、控制、输出及机制边线，并在字母之后跟上数据约束在父盒子中的数字顺序号（编号顺序为：从上至下，从左至右）以表明数据约束在父盒子中的位置，统称为ICOM码。结点号用来表明图形或盒子在分层IDEF0图中的位置。ICOM码例子结点树例子对于图形的文字说明，其编号为图形结点号加上字母“T”例如A12T；对于图形的其它参考图形，其编号为图形结点号加上字母“F”后再跟上顺序号，例如A1F4。A-1A-0A0A1AnA2A21A22A2m……顶层图IDEF0图示例4.4.2IDEF0建模步骤IDEF0方法在详细的功能需求调研基础上，用严格的自顶向下、逐层分解的方式来进行。确定建模的范围、观点及目的；建立系统的内外关系图，即A-0图；建立A0图的一系列子图；书写文字说明。4.5IDEF1X数据建模IDEF1X方法是IDEF1方法的扩展版本。IDEF1用来表示系统的信息结构和语义。IDEF1X方法增强了图形的表达能力，丰富了语义和简化了开发过程。4.5.1IDEF1X图---实体实体是具有相同属性或特征的现实或抽象事物的集合，这个集合中的一个元素便称为实体的一个实例。在一张IDEF1X图中，一个实体只能在图中出现一次。实体名/实体编号供应商/2实体名/实体编号供应合同/6（a）独立实体及示例（b）从属实体及示例