软件工程概论：第3章 需求分析.ppt

ERD：示例 ERD：示例 3.4.3 形式化技术 形式化方法提供了规约环境的基础，它使得所生成的分析模型比用传统的或面向对象的方法生成的模型更完整、一致和无二义性。 3.4.3 形式化技术 有限状态机（FSM）：由有限的状态和相互之间的转移构成，在任何时候只能是给定数目的状态中的一个。当接收到一个输入事件时，状态机产生一个输出，同时也可能伴随着状态的转移。 有限状态机的组成如下。 一个有限的状态集合Q。 一个有限的输入集合I。 一个变迁函数δ：Q× I→ Q。 缺点： 任何时刻系统只能有一个状态，无法表示并发性，不能描述异步并发的系统。 在系统部件较多时，状态数随之增加，导致复杂性显著增长。 3.4.3 形式化技术 Petri网：可有效地描述并发关系活动。 Petri网：四元组C=（P，T，I，O） P=（p1，…，pn）是一个有穷位置集，n≥0。 T=（t1，t2，…，tm）是一个有穷转换集，m≥0，且P和T不相交。 I∶T→P∞ 为输入函数，是由转换指向位置无序单位组的（bags）映射。 O∶T→P∞为输出函数，是由转换指向位置无序单位组的映射（一个无序单位组或多重组是允许一个元素有多个实例的广义集）。 3.4.3 形式化技术 Petri网的标记是指在Petri网中令牌（token）的分配。 Petri网C=（P，T，I，O）中的标记M（marking）是由一组位置P到一组非负整数的函数，M∶ P→{0，1，2，? } 带有标记的Petri网：五元组（P，T，I，O，M）。 禁止线 小结 需求分析阶段是软件产品生存期中的一个重要的阶段，其根本任务是确定用户对软件系统的需求。 结构化分析方法 面向对象分析方法 形式化分析方法 * 数据流图 功能分解产生N层图 功能分解是一个拆分功能的描述，将单个复杂的过程变为多个更加具体、更加精确和更加细节的过程 在功能分解过程当中，最重要的是要保证分解过程的平衡性（Balance） ，它要求DFD子图的输入流、输出流必须和父过程的输入流、输出流保持一致 数据流图 在分解产生的子图为下述情景之一时，可以判定其为原始DFD图，此时应该停止持续的功能分解活动： 所有过程都已经被简化为一个选择、计算或者数据库操作； 所有数据存储都仅仅表示了一个单独的数据实体； 用户已经不关心比子图更为细节的内容，或者子图的描述已经详细的足以支持后续的开发活动； 每一个数据流都已经不需要进行更详细的切分，以展示对不同数据的不同处理方式； 每一个业务表单、事务、计算机的屏幕显示和业务报表都已经被表示为一个单独的数据流； 系统的每一个最低层菜单选项都能在子图中找到独立的过程。 数据流图 注意：DFD的画法和分解过程以ppt前面的例子为准，书上例子仅做参考。 DFD：示例 使用DFD描述电梯控制系统。 一个控制系统控制多个电梯。每个电梯被置于一个相应甬道之中，在卷扬电机的作用下在甬道内做上下运动。甬道内安装有多个传感器，通常每个电梯停靠点一个，用来感应电梯的实时位置。电梯内部和建筑的每个电梯停靠层都设置有指示器，用来告知用户的电梯实时位置和运动状况。电梯内和建筑的每个电梯停靠层都设有按钮，用户可以通过这些按钮提出服务申请并进出电梯。控制系统调度用户的申请，让电梯以最有效的方式满足用户的服务要求 DFD：示例 1. 建立上下文图 DFD：示例 DFD：示例 2.建立DFD片段 DFD：示例 DFD：示例 3.建立0层图 DFD：示例 DFD：示例 4.功能分解建立N层图（略） 实体关系模型 实体关系模型（Entity-Relationship Modeling，ERM） 没有标准的表示法 Peter Chen表示法 James Martin表示法 基本元素 实体 关系 属性 实体关系模型 1、实体 实例（Instance） 需要在系统中收集和存储的现实世界事物 实体（Entity） 具有相同特征和属性的实例集的类别描述 实体关系模型 概念实体 逻辑实体 Student Student ID Name DOB 实体关系模型 2、属性 属性 实体的描述特征 以数字、代号、单词、短语、文本乃至声音和图像的形式存在 一系列属性的存在集成起来就可以描述一个实体的实例 属性是实体的特征，不是数据。属性会以一定的形式存在，这种存在才是数据，被称为属性的值（Value） 实体关系模型 属性的值就应该是一个合法的或者有业务含义的值，这个合法的取值范围称为域（Domain） 数据类型 类型说明 域 例子 Number 整数 ｛最小～最大｝ 月份的域：｛1～12｝ Real 实数 ｛最小～最大｝ 考试得分：｛0.0～100.0｝ Text 文本 TEXT（属性的最大长度） 电话号码：TEXT（20）