一、概述1981年,美国空军ICAM(IntegratedComputerAidedManufacturing)计划提出IDEF(ICAMDefinitionMethod)方法IDEF0:功能建模(FunctionModeling)描述系统功能活动及其联系,建立系统的功能模型IDEF1:信息建模(InformationModeling)描述系统信息及其联系,建立系统的信息模型一、概述IDEF2:仿真建模设计(SimulationModelDesign),进行系统模拟,建立系统的动态模型IDEF3:过程描述获取(ProcessDescriptionCapture),建立系统的过程模型IDEF4:面向对象设计(Object-OrientedDesign)IDEF5:本体论描述(OntologyDescriptionCapture)一、概述IDEF6:设计原理(DesignRationaleCapture)IDEF7:信息系统审定(InformationSystemAuditing)IDEF8:用户界面建模(UserInterfaceModeling)IDEF9:场景驱动信息系统设计(Scenario-DrivenISDesign)IDEF10:实施体系结构建模(ImplementationArchitectureModeling)一、概述IDEF11:信息制品建模(InformationArtifactModeling)IDEF12:组织建模(OrganizationModeling)IDEF13:三模式映射设计(ThreeSchemaMappingDesign)IDEF14:网络规划(NetworkDesign)二、IDEF0方法IDEF0以结构化分析和设计技术(StructuredAnalysisandDesignTechnique,SADT)为基础,利用规定的图形符号和自然语言,按照自顶向下、逐层分解的结构化方法描述和建立系统的功能模型二、IDEF0方法IDEF0特点运用简单的图形符号和自然语言,清楚全面地描述系统的功能、活动、数据(信息)流采用严格的自顶向下、逐层分解的结构化方法建立系统模型明确系统功能和系统实现之间的差别,即“做什么”和“如何做”通过严格的人员分工、评审、文档管理等程序来控制所建模型的完整性与准确性二、IDEF0方法IDEF0基本符号活动:指某种系统功能或任何其他事物,用盒子表示,一般用主动的动词短语来描述输入、输出、控制与机制输入:完成某项活动所需的条件(一个活动可以没有输入)输出:执行活动产生的结果控制:活动输入变成输出所受的约束机制:活动完成的依附体,如人、设备等二、IDEF0方法活动功能输入Input控制Control输出Output机制MechanismICOM码二、IDEF0方法箭头表示方法分支箭头:表示多个活动需要同一数据,或同一数据的不同组成部分联合箭头:多个活动产生同一类数据123321AAB123A二、IDEF0方法双向箭头:互为输入、互为控制的两个活动虚箭头:表示活动的触发顺序1212ABA/B123触发顺序1-2-3二、IDEF0方法通道箭头:仅在一个层次出现的箭头ICOM码:父子对应()()()()二、IDEF0方法结点号A-0A0A1A2Amm≤6A11A12A1mA111A112二、IDEF0方法二、IDEF0方法A-0:定义该模型的主题和范围,并且也是该模型的最高层级A0:将A-0层级更进一步的展开,并且将A-0的主题和范围明显地描述出建构者所要表达的观点A3:对A0所展开的某一项作业程序,做出更详细的分解,使此模型的目标被更充分的描述A31:对A3所展开的某一项作业程序,做出更详细的分解,使此模型的目标被更充分的描述二、IDEF0方法IDEF0建模步骤明确建模的范围、观点和目的建立系统的内外联系图(A-0图)建立A0图顺次建立各层模型文字说明评阅、修改、定稿二、IDEF0方法优点缺点共同语法规定与批注功能的关联性缺乏功能范围及问题的定义提供组织的细部功能分工模式,协助决策者制定决策可能由于分工过细,导致一般人无法实际参与整个模式的运作活动透过层级的分解可将问题清楚的表达,有助于组织内部及外部的沟通模式当中没有清楚地列出活动顺序,因此常被误解为一连串的活动具有良好的弹性与良好的逻辑性以自然的语法表达各活动,有助于功能细部的分工可以与IDEF家族当中的其它分析工具相整合二、IDEF0实例题图顺序主体说明二、IDEF0实例二、IDEF0实例二、IDEF0实例三、IDEF1x方法IDEF1x特点支持概念模式的信息模型:IDEF1x是一种语义数据模型化技术,支持数据库的概念模式,完善的IDEF1x模型具有所期望的一致性,可扩展性和可变换性完整和清晰的概念集:IDEF1x通过实体类、联系类、属性类和键类等概念集系完整、清晰的表达信息,每一类又进一步细分为若干类逐步求精的建模过程具有明确含义的图形记号集规范化的建模过程三、IDEF1x方法数据库模式外模式(用户模式):用户可见的数据视图,以报表、屏幕格式定义内模式(存贮模式):数据在数据库的内部表示方式,即数据的物理结构和存贮方式的描述概念模式(逻辑模式):数据库中全体数据的逻辑结构和特征的单一、确定的描述三、IDEF1x方法外模式1外模式2外模式m概念模式内模式数据库IDEF1x支持概念模式设计三、IDEF1x方法IDEF1x基本要素及语法定义实体:实体是客观世界中具有相同属性和特征的现实或抽象事物的集合,集合中的一个元素称为该实体的一个“实例”如果一个实体的每个实例都能被惟一标识而不依赖于其它实体的联系,则称为“独立实体”如果实体的一个实例的惟一标识依赖于该实体与其它实体的联系,则称为“从属实体”或“非独立实体”三、IDEF1x方法实体描述方法实体名/实体号独立实体实体名/实体号从属实体一张图上一个实体只能出现一次,但可以在多张图上出现三、IDEF1x方法实体构造规则每个实体必须使用惟一的实体名,实体名必须具有单一的含义一个实体可以有一个或多个属性,有些属性可以是自身所具有的,有些属性是通过联系而继承得到的一个实体应有一个或多个能惟一标识实体中每个实例的属性(主关键字)任何实体都可以与模型中的任意其它实体有任意联系如果一个外来关键字是一个实体的全部或部分,则该实体为从属实体,反之为独立实体三、IDEF1x方法实体的属性:用来描述实体的某种性质和特征,实体的每个属性必须具有一个单一且确定的值一个实体必须具有一个属性或属性组来惟一标识实体的每一个实例属性的描述三、IDEF1x方法属性的描述实体名/实体号职工/032属性名[属性名][属性名][属性名]职工工号姓名性别主关键字三、IDEF1x方法属性的使用规则单主规则:每个实体可以具有任意多个属性,一个属性只能归属一个实体非空规则:实体的每一个实例,对每一属性都必须有一个值与之对应非重复规则:对于同某个实体相关的属性而言,该实体的每个实例不能具有一个以上的值惟一规则:每个属性必须具有一个惟一的名称一个实体可以有任意多个继承属性,而每个继承属性都必须是某个相关实体主关键字的一部分三、IDEF1x方法实体间的联系连接联系标定联系非标定联系分类联系完全分类联系不完全分类联系非确定联系三、IDEF1x方法实体A/1属性A实体B/2属性B实体C/3属性C实体D/4属性DA到B的联系名标定联系A到B的联系名非标定联系三、IDEF1x方法实体A/1属性A实体B/2属性B实体C/3属性C实体D/4属性D实体E/5属性E实体F/6属性F完全分类联系不完全分类联系三、IDEF1x方法实体A/1属性A实体B/2属性BA到B联系名/B到A联系名非确定型联系三、IDEF1x方法实体关键字:用来惟一标识实体的每个实例的一个属性或多个属性的组合实体可以有一个或多个关键字,若有多个,必须指定“主关键字”雇员/035雇员号姓名出生日期主关键字次关键字三、IDEF1x方法关键字特征一个实体必须有一个主关键字一个实体可以有任意多个次关键字主、次关键字可以由单个或多个属性组成个别属性可以是单个关键字的一部分主、次关键字可以是实体具有的属性或继承属性主、次关键字必须只包含有助于惟一实体的实例的那些属性----最小关键字原则如果主关键字由多个属性组成,则每个非关键属性的值必须完全函数依赖于主关键字----完全函数依赖规则三、IDEF1x方法外来关键字:从其它实体引入的关键字外来关键字可以作为一个实体的部分或全部主关键字、次关键字或非键属性,标记为FK如果父实体的主关键字所有属性继承为子实体的主关键字的一部分,则父子实体为“标定型联系”,否则为“非标定型联系”分类联系中,分类实体的主关键字都是从一般实体的主关键字继承而来三、IDEF1x方法外来关键字使用规则在确定型连接联系或分类联系中,子实体或分类实体必须包含一个外来关键字一般实体的主关键字必须被每一个分类实体继承为其主关键字对于一个给定的确定型联系,只能有一个外来关键字三、IDEF1x方法组件(Components)分类(Classify)实体Entities1.Identifier-IndependentEntities2.Identifier-DependentEntities关联Relationships1.IdentifyingConnectionRelationships2.Non-IdentifyingConnectionRelationships3.CategorizationRelationships4.Non-SpecificRelation属性/键值Attributes/Keys1.Attribute2.PrimaryKeys3.AlternateKeys4.ForeignKeys三、IDEF1x方法建模过程准备阶段确定目标、范围制定建模计划组织队伍收集资料定义阶段定义联系定义键定义属性编号实体名12产品客户实体表实体名产品客户客户产品X矩阵图三、IDEF1x实例出入库流水帐/3PK单据号入出标识日期业务类型物料编号(FK)批号单价部门编码出入库流水帐明细表/4PK序号PK单据号(FK)仓库编码货排编码货层编码货位编码入库数量出库数量金额退库单/5PK单据号批号物料编号(FK)日期原单据号退库单子表/6PK序号PK单据号(FK)仓库编码货排编码货层编码货位编码退库数量转库单/7PK单据号物料编号(FK)转出批号转入批号日期单价转库单子表/8PK序号PK单据号(FK)转库数量转出仓库编码转入仓库编码转出货排编码转入货排编码转出货层编码转入货层编码转出货位编码转入货位编码被说明明细明细物料基本信息/13PK物料编号物料名称物料规格物料型号所属物料类别(FK)物料分类/12PK类别编码类别名称被使用被使用被使用被使用盘点单/9PK单据号日期仓库编码物料编号(FK)盘点单子表/10PK单据号(FK)PK仓库编码PK物料编号(FK)帐面数量盘库数量盈亏数量盈亏标识盘点单明细表/11PK单据号(FK)PK序号物料编号(FK)批号仓库编码(FK)货排编码货层编码货位编码帐面数量盘库数量被使用被使用明细明细三、IDEF1x实例采购申请表/1PK单据号物料编号(FK)数量日期申请人代号(FK)申请供货日期处理标志采购计划表/2PK计划代号物料编号(FK)计划员代号(FK)计划到货日期审核标志审核领导计划采购数量到货单/3PK单据号物料编号(FK)到货日期到货数量计划代号(FK)复验标志供货商代号(FK)复验台帐/4PK序号物料编号(FK)复验日期合格数量不合格数量送检数量交付数量检验员代号(FK)入库日期人员信息表/5PK职工代号职工姓名性别所属部门(FK)部门信息表/6PK部门代号部门名称主管领导物料基本信息/8PK物料编号物料名称物