第四章 需求分析过程.ppt

3 过程规格说明 对数据流图无须再分解的处理功能，可借助结构化的自然语言、 “程序设计的语言（PDL）”、数学方程、表、图或图表等工具进行描述。 必须为数据流流模型的每个加工园盘提供相应的加工过程规格说明。 谢谢 2 数据流图的实时系统扩充? 实时系统 系统与现实世界实体交互具有时间特性。 数据流 时间连续的数据流 时间离散的数据流（控制信号或事件） 实时系统的状态随时间及相关事件的激励变化 。 数据流图的实时系统扩充? 实时系统响应事件的“加工”称“控制”，它在限定的时间内完成对事件的识别、输出，改变系统的状态。  实时系统软件对响应速度和可靠性的要求比非实时系统软件高。 在软件开发的各个阶段都应关注实时控制部件的性能和可靠性。 数据流图的实时系统扩充? 传统数据流方法不能胜任实时系统的需求分析任务。为开发实时嵌入式系统，必须对传统方法进行扩充。 Ward ＆ Mellor 在数据流图中引入实时图形记号 Hatley ＆ Pirbhai 在数据流图中引进状态加工图描述系统的外部行为 实时嵌入式系统对软件的要求 在连续的时间域内采集並生成信息流 软件要及时处理控制信息 必须在規定的时间内完成与现实世界的交互 系统状态实时变化，存在状态迁移机制 多任务的场合，一个加工可能存在多个实例 (1) Ward ＆ Mellor扩充 符号的扩充 引入表示事件、连续数据流、控制及事件源的图形符号。 引入多任务环境下，同一控制的多个进程实例。 Ward ＆ Mellor扩充 计算机控制的水温监测与调节系统 水温测量仪传给温度监控子系统的测量数据是连续的。 温度监控子系统将水温数据与允许的波动范围进行比较，然后连续输出调节后的温度值。 Ward ＆ Mellor扩充 扩充的图形记号可以和传统的数据流图符号混合使用。 加工可接收事件作为输入，控制也可接收数据作为输入。 扩充数据字典，描述离散事件和连续数据流。 数据流图对控制的文字描述应包括响应时间、可靠性等约束。 离散数据流(事件)与普通数据流 机器人装配机械部件 待装配部件处于就绪状态，“部件监控与操作员界面”过程读操作员命令 处理操作员命令，发送“启动信号”命令 “机器人初始化，发送“进程活跃信号”启动“移位命令处理”完成装配工作。 (2) Hatley ＆ Pirhai扩充 建立实时系统的过程模型和控制模型 引进两个新的图形记号，用虚线表示控制流或事件流； 虚符号和实符号分开，专门定义控制流图CFD； CFD定义控制流、表示控制加工並引入粗短线表示控制规格说明； 控制规格说明指明 （1）当事件发生或控制信号被感知时，软件的行为 （2）当某一事件发生时，激活相关加工部件 Hatley ＆ Pirhai扩充 传统的数据流图 描述实时系统的静态过程模型 表示数据和数据的加工 数据流图的元素没有时间意义 控制流图 描述实时系统的动态过程模型 表示事件在加工过程中的变化， 控制流图的元素有时间意义 Hatley ＆ Pirhai扩充 实时系统或子系统的数据流图和控制流图具有同名“加工” 控制流图的“加工”称“进程” “加工激活表”指明加工导致必须激活的外部事件 控制规格说明包括一系列的建模工具 Hatley ＆ Pirhai扩充 实时系统模型 Hatley ＆ Pirhai扩充 过程模型和控制模型 数据流图（过程模型）用来表示实时系统的数据以及对数据进行操作的过程 控制流图用来描述进程之间的控制流并刻画系统的行为特征：每个事件所引发的系统状态变更和进程活跃情况。 过程模型和控制模型以数据流图和控制流图之间的简单对应关系互为关联。 过程模型的过程规格说明可能产生事件输出，引发控制规格说明所描述的状态加工。 进程规格说明可以产生进程活跃信号，作用于数据流图。 Hatley ＆ Pirhai扩充 数据流图和控制流图的对应关系 例 复印机控制软件的 数据流图和控制流图 状态加工图 进程活跃表 4.2.2.4 行为建模 基于结构化分析的扩展版本提出这种建模的符号。 状态-变迁图通过描述状态以及导致系统改变状态的事件来表示系统的行为。 每个状态代表系统的一种行为模式 控制流图 状态变迁图 4.2.2.5 实例分析以“家庭保安系统”为例展示结构化分析方法的使用过程 实体-关系图 创建数据流模型 创建控制流模型 过程规格说明 0 实体-关系图 步骤: 列出应用或业务过程涉及的”事物”,同时以数据对象的形式给出。 分析各对象及对象之间的关联，构件一个