第二章、需求分析.pptVIP

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 活动表的语法格式如下： 事件名(参数表)/动作表达式 其中，“事件名”可以是任何事件的名称。在活动表中经常使用下述3种标准事件：entry，exit和do。 entry事件指定进入该状态的动作； exit事件指定退出该状态的动作， do事件则指定在该状态下的动作。 需要时可以为事件指定参数表。 活动表中的动作表达式描述应做的具体动作。 事件表达式的语法如下： 事件说明［守卫条件］／动作表达式 其中， 事件说明的语法为：事件名(参数表)。 守卫条件是一个布尔表达式。 如果同时使用事件说明和守卫条件，则当且仅当事件发生且布尔表达式为真时，状态转换才发生。 如果只有守卫条件没有事件说明，则只要守卫条件为真状态转换就发生。 动作表达式是一个过程表达式，当状态转换开始时执行该表达式。 2.7.4 例子 固定电话系统状态图 电话系统的状态图 复印机的工作过程大致如下： 未接到复印命令时处于闲置状态，一旦接到复印命令则进入复印状态，完成一个复印命令规定的工作后又回到闲置状态，等待下一个复印命令；如果执行复印命令时发现没纸，则进入缺纸状态，发出警告，等待装纸，装满纸后进入闲置状态，准备接受复印命令；如果复印时发生卡纸故障，则进入卡纸状态，发出警告等待维修人员来排除故障，故障排除后回到闲置状态。 思考：绘制复印机的工作状态图 复印机状态图 闲置状态 复印状态 do/复印 卡纸状态 do/警告 缺纸状态 do/警告 复印命令 完成复印命令 发生卡纸故障 发现缺纸 装满纸 排除了卡纸故障 2.8 IDEF0功能建模 2.9 IDEF1X数据建模 IDEF系统分析设计方法： IDEF是ICAM DEFinition method 的缩写,是美国空军在70年代末80年代初ICAM(Integrated Computer Aided Manufacturing)工程在结构化分析和设计方法基础上发展的一套系统分析和设计方法。是比较经典的系统分析理论与方法。 最初开发3种方法:功能建模(IDEF0)、信息建模(IDEF1)、动态建模(IDEF2)，后来，随着信息系统的相继开发，又开发出了下列IDEF族方法：数据建模(IDEF1X)、过程描述获取方法(IDEF3)、面向对象的设计(OO设计)方法(IDEF4)、使用C＋＋语言的OO设计方法(IDEF4C＋＋)、实体描述获取方法(IDEF5)、设计理论(rationale)获取方法(IDEF6)、人－系统交互设计方法(IDEF8)、业务约束发现方法(IDEF9)、网络设计方法(IDEF14)等。 根据用途，可以把IDEF族方法分成两类： 第一类IDEF方法的作用是沟通系统集成人员之间的信息交流。主要有：IDEF0、IDEF1、IDEF3、IDEF5。IDEF0通过对功能的分解、功能之间关系的分类(如按照输入、输出、控制和机制分类)来描述系统功能。IDEF1用来描述企业运作过程中的重要信息。IDEF3支持系统用户视图的结构化描述。IDEF5用来采集事实和获取知识。 第二类IDEF方法的重点是系统开发过程中的设计部分。目前有两种IDEF设计方法：IDEF1X和IDEF4。IDEF1X可以辅助语义数据模型的设计。IDEF4可以产生面向对象实现方法所需的高质量的设计产品。 IDEF0 的基本规则： 用盒子代表功能活动，用与之连接的箭头表示与其相关的各种事物。 IDEF0图一般为2-7个盒子。 整个模型是一组按递阶层次展开的模型。 参考文献：/phrase/200604250825365.html 功能活动 输出 控制 输入 机制 IDEF1X的基本规则： IDEF1X在实体联系图（E-R）的基础上，增加了一些规则。 重要元素： 实体：表示一组事物，它们与数据相联系。 独立实体：其主键由自身确定。用方角盒子表示。 从属实体：其主键部分由外来实体继承。用圆角盒子表示。 联系：实体之间的一种逻辑关系。分为标定、非标定两种。 标定联系：实体的主键必然是部分由外来实体继承的。 非标定联系：实体的主键不是由外来实体继承过来的。 分类联系：一个具有某种属性的实体，从某种意义上是其它实体的一部分，则两者之间称为分类联系 属性：指表示一组事物的一种特征或性质。 主键：确定实体每个实例的属性。 外来键：实体的属性来自其它实