功能建模和信息流.ppt

3.4.4 功能建模和信息流功能建模和信息流  基于基于计算机计算机的系统的系统输入信息输入信息信息流模型信息流模型输出信息输出信息外部实体外部实体外部实体外部实体外部实体外部实体输入信息输入信息外部实体外部实体外部实体外部实体输出信息输出信息输出信息输出信息一. 数据流图   (DFD，Data Flow Diagram) 描述逻辑模型的图形工具，描述逻辑模型的图形工具， 表示数据在系统内的变化表示数据在系统内的变化 人事工资管理系统的顶层人事工资管理系统的顶层DFD(DFD(概图概图) )范例范例人人事事部部门门人事工资人事工资管理系统管理系统会会计计部部门门职工出缺勤报表职工出缺勤报表职工出缺勤信息职工出缺勤信息职工工资信息职工工资信息职工工资报表职工工资报表职职工工职工基本信息职工基本信息职工工资单职工工资单职工基本职工基本信息管理信息管理子系统子系统1.01.02.02.0人事工资管理系统人事工资管理系统0层层DFDDFD范例范例职工出缺勤信息职工出缺勤信息职工工资管职工工资管理子系统理子系统3.03.0职工出缺职工出缺勤管理勤管理子系统子系统职工基本信息职工基本信息职工工资信息职工工资信息人人事事部部门门会会计计部部门门职职工工职工出缺勤报表职工出缺勤报表职工出缺勤信息职工出缺勤信息职工工资信息职工工资信息职工工资报表职工工资报表职工基本信息职工基本信息职工工资单职工工资单建立职工建立职工出缺勤信息出缺勤信息3.13.1人事工资管理系统人事工资管理系统1层层DFDDFD：：加工加工3.03.0的分解图的分解图职工出缺勤信息职工出缺勤信息3.23.2制作职工出制作职工出缺勤信息缺勤信息统计表统计表职工基本信息职工基本信息职工职工出缺勤报表出缺勤报表职工职工出缺勤信息出缺勤信息外部实体外部实体数据流数据流过程过程( (加工加工) )数据存储数据存储条目查条目查询请求询请求查询可查询可用条目用条目1 1客户客户目录目录产品条目产品条目库存条目库存条目可用条目可用条目查询结果查询结果目的地目的地目的地目的地响应响应响应响应来源来源来源来源触发器触发器触发器触发器动作动作动作动作DFDDFDDFDDFD的主要元素的主要元素的主要元素的主要元素分层分层DFDDFD实例实例(1)(1)对考生送来的报名单进行检查对考生送来的报名单进行检查; ;(2)(2)对合格的报名单编好准考证号后将准考证送给对合格的报名单编好准考证号后将准考证送给考生，并将汇总后的考生名单送给阅卷站考生，并将汇总后的考生名单送给阅卷站; ;(3)(3)对阅卷站送来的成绩单进行检查，并根据考试对阅卷站送来的成绩单进行检查，并根据考试中心制定的合格标准审定合格者中心制定的合格标准审定合格者; ;(4)(4)制作考生通知单制作考生通知单( (含成绩及合格含成绩及合格/ /不合格标志不合格标志) )送给考生送给考生; ;(5)(5)按地区进行成绩分类统计和试题难度分析，产按地区进行成绩分类统计和试题难度分析，产生统计分析表。

生统计分析表一个简单的考务处理系统功能描述：一个简单的考务处理系统功能描述：一个简单的考务处理系统功能描述：一个简单的考务处理系统功能描述：顶层数据流图顶层数据流图考考生生考务考务处理系统处理系统考考试试中中心心阅卷站阅卷站不合格报名单不合格报名单报名单报名单准考证准考证考生通知单考生通知单成成绩绩清清单单合格标准合格标准错误错误成绩成绩清单清单考考生生名名单单统计分析表统计分析表登记登记报名单报名单报名单报名单准考证准考证1 1统计统计成绩成绩2 2不合格不合格报名单报名单考生通知单考生通知单成成统计分析表统计分析表0 0层层数据流数据流图图考生名册考生名册绩绩清清单单合合格格标标准准考考生生名名单单成成绩绩清清单单错错误误一层数据流图一层数据流图 ( (a)a)检查检查报名单报名单报名单报名单准考证准考证1.11.1编准考编准考证号证号1.21.2不合格不合格报名单报名单考生名册考生名册考生名单考生名单合格合格报名单报名单登记登记考生考生1.31.3一层数据流图一层数据流图 ( (b)b)检查检查成绩清单成绩清单2.12.1审定审定合格者合格者2.22.2考生名册考生名册正确正确成绩清单成绩清单制作制作通知单通知单2.32.3分析分析统计成绩统计成绩2.42.4分析分析试题难度试题难度2.52.5试题得分清单试题得分清单考生考生通知单通知单难度难度分析表分析表合格合格标准标准分类分类统计表统计表成绩清单成绩清单错误错误成绩清单成绩清单经审定的经审定的成绩清单成绩清单 DFDDFD可以用来表示一个系统或软可以用来表示一个系统或软件在任何层次上的抽象。

件在任何层次上的抽象 较大较大型软件系统型软件系统DFDDFD分成多层分成多层( (子图、子图、父图概念父图概念),),可以表示数据流和功可以表示数据流和功能的进一步的细节能的进一步的细节S S2 21 13 32.22.22.12.12.32.33.13.13.23.2 顶层顶层（不编号）（不编号）0 0层层1 1层层 数据流和控制流举例数据流和控制流举例 （使用（使用WardWard和和mellormellor符号）符号）监控固件监控固件和和操作接口操作接口每个固件状态每个固件状态动作动作警告警告机器人机器人初始化初始化控制控制操作命令操作命令部件状态缓冲器部件状态缓冲器位置位置命令命令开始开始/ /停止停止处理处理机器人机器人命令命令机器人命令文件机器人命令文件操作操作设置设置处理活动处理活动记录机器记录机器人动作人动作位串位串数据和控制模型的关系数据和控制模型的关系 DFD加工规约加工规约加工模型加工模型加工模型加工模型DFD控制规约控制规约控制模型控制模型控制模型控制模型数据输出数据输出数据输出数据输出数据条件数据条件数据条件数据条件数据输入数据输入数据输入数据输入控制输入控制输入控制输入控制输入控制输出控制输出控制输出控制输出加工加工加工加工激活者激活者激活者激活者SafeHomede控制面板控制面板与用户与用户交互交互SAFEHOMEARMED POWER011 12 23 34 45 56 67 78 89 9* *0 0# #OFF ARAY STAYMAX TEST BYPASSINSTANT CODE CHIMEREADYpanicalarmalarmcheckcheckfirefireawayawaystaystayinstantinstantbypassbypassnot readynot readySafeHomede的第的第0层ＤＦＤ层ＤＦＤ SafeHomedeSafeHomede软件系统软件系统用户命令用户命令和数据和数据显示信息显示信息控制面板控制面板传感器传感器传感器传感器状态状态警铃警铃线线警告类型警告类型号码号码拨音拨音控制面板控制面板显示显示SafeHomede的的第第1层ＤＦＤ层ＤＦＤ控制控制面板面板与用户与用户交互交互控制控制面板面板显示显示密码密码号码拨音号码拨音传感器状态传感器状态显示显示信息信息配置请求配置请求用户命令用户命令和数据和数据配置配置系统系统警警铃铃电话线线传感器传感器配置信息配置信息显示信息显示信息和状态和状态监控监控传感器传感器激活／不激活／不激活系统激活系统传感器信息传感器信息密码密码处理处理警告类型警告类型检验检验idid信息信息开始开始停止停止状态信息状态信息监控传感器的第监控传感器的第2层ＤＦＤ层ＤＦＤ号码拨音号码拨音传感器状态传感器状态配置数据配置数据显示格式显示格式配置信息配置信息产生警告产生警告信息信息拨号拨号评估设置评估设置传感器信息传感器信息读传感器读传感器警告类型警告类型传感器传感器idid类型类型传感器传感器idid类型定位类型定位SafeHomede的的第一层ＣＦＤ第一层ＣＦＤ控制控制面板面板与用户与用户交互交互控制控制面板面板显示显示显示活动显示活动状态（完状态（完成、在处成、在处理中）理中）配置配置系统系统警警铃铃电话线线传感器传感器配置信息配置信息显示信息显示信息和状态和状态监控监控传感器传感器激活／不激活／不激活系统激活系统警告警告信号信号密码密码处理处理传感器传感器事件事件警告警告状态状态超超超超时时时时闪烁闪烁闪烁闪烁标志标志标志标志开／关开／关开／关开／关切换切换切换切换二二. .数据字典数据字典( (DD，，DataDictionaryDataDictionary) ) DDDD是对所有与系统相关的数据是对所有与系统相关的数据元素的一个有组织的列表元素的一个有组织的列表, ,以及以及精精确的、严格的定义确的、严格的定义，使得用户和系，使得用户和系统分析员对于输入、输出、存储成统分析员对于输入、输出、存储成分和中间计算有共同的理解分和中间计算有共同的理解 数据字典的作用数据字典的作用 DFDDFD中的数据流、数据存储表示中的数据流、数据存储表示某个有组织的数据集合，它们要由某个有组织的数据集合，它们要由SASA的其他描述工具的其他描述工具- -需求字典需求字典( (数据字典数据字典) )来描述来描述，包括：，包括：• 词条描述词条描述•  数据结构描述数据结构描述•  加工逻辑说明加工逻辑说明 DDDD中数据结构的描述方式中数据结构的描述方式u 定义式定义式u WarnierWarnier图图u 巴科斯范式（巴科斯范式（BNF））F1:F1:航班信息文件航班信息文件＝＝{ {航空公司名称＋航班号航空公司名称＋航班号＋起点＋终点＋日期＋起点＋终点＋日期 ＋起飞时间＋降落时间＋起飞时间＋降落时间} }航空公司名称＝航空公司名称＝2{2{字母字母}4}4 航班号＝航班号＝3{3{十进制数字十进制数字}3}3 字母＝字母＝““A”…“Z”A”…“Z”十进制数字＝十进制数字＝“0”…“9”“0”…“9”起点＝终点＝起点＝终点＝1{1{汉字汉字}10}10 起飞时间＝降落时间＝时＋分起飞时间＝降落时间＝时＋分 时＝时＝“00”…“23”“00”…“23”　　 分＝分＝“00”…“59”“00”…“59” 日期＝年＋月＋日日期＝年＋月＋日 年＝年＝[2000[2000｜｜20012001｜｜20022002｜｜2004]2004] 月＝月＝“01”…“12”“01”…“12”　　 日＝日＝“01”…“31”“01”…“31” 重复项：重复项：起点＝终点＝起点＝终点＝1{1{汉字汉字}10}10 航空公司名称＝航空公司名称＝2{2{字母字母}4}4 航班号＝航班号＝3{3{十进制数字十进制数字}3}3 组合项：组合项：日期＝年＋月＋日日期＝年＋月＋日 起飞时间＝降落时间＝时＋分起飞时间＝降落时间＝时＋分选择项：选择项：年＝年＝[2000[2000｜｜20012001｜｜20022002｜｜2004]2004]原数据项：原数据项：字母＝字母＝““A”…“Z”A”…“Z” 十进制数字＝十进制数字＝“0”…“9”“0”…“9” 时＝时＝“00”…“23”“00”…“23”　　 分＝分＝“00”…“59”“00”…“59” 月＝月＝“01”…“12”“01”…“12”　　 日＝日＝“01”…“31”“01”…“31”定义式中使用的符定义式中使用的符   操作符操作符         含义描述含义描述     ＝＝ 定义为定义为 ＋＋ 与与( (顺序结构顺序结构) ) ｛｛......｝｝ 重复重复( (循环结构循环结构) ) 〔〔....｜｜....〕〕 或或( (选择结构选择结构) ) 〔〔.. , .. .. , .. 〕〕 ( ... ) ( ... ) 任选任选 m..n m..n 界域界域 ＊＊...,...,＊＊ 注释符注释符限制重复次数举例:｛｛ 3 35 5 或或53｛｛ ｝｝表示允许重复表示允许重复3-53-5次次｛｛ ｝｝3 33 3 或或33｛｛ ｝｝表示恰好重复表示恰好重复 3 3 次次｛｛ ｝｝｛｛ ｝｝｛｛ ｝｝1 1表示至少出现表示至少出现 1 1 次次表示允许重复表示允许重复0 0至任意至任意次次数据流条目数据流条目给出给出DFDDFD中某个数据流的定义，中某个数据流的定义，通常包括：通常包括：• 数据流标识数据流标识• 数据流来源数据流来源• 数据流去向数据流去向• 数据流的数据组成数据流的数据组成• 流动属性描述：频率、数据量流动属性描述：频率、数据量购购书书单单发票发票领书领书单单审查并审查并开发票开发票开领开领书单书单无效书单无效书单学生学生1 12 2各班学生各班学生用用 书书 表表举例：举例：学生学生教材存量表教材存量表数据流条目说明举例数据流条目说明举例数据流名数据流名: :发票发票别名别名: : 无无简述简述: : 学生购书时填写的项目学生购书时填写的项目来源来源: : 学生学生去向去向: : 加工加工1 1““审查并开发票审查并开发票””组成组成: : ( (学号学号) )＋姓名＋｛书号＋数量｝＋姓名＋｛书号＋数量｝数据流量数据流量: :10001000次次/ /周周 高峰值：高峰值：开学期间开学期间10001000次次/ /天天 数据存储条目数据存储条目(数据文件词条数据文件词条)对某个文件的定义，包括：对某个文件的定义，包括：• 文件名文件名• 描述描述• 数据结构数据结构• 数据存储方式数据存储方式• 关键码关键码• 存取频率和数据量存取频率和数据量• 安全性要求安全性要求数据存储条目说明举例数据存储条目说明举例文件名文件名: :库存记录库存记录别名别名: : 无无简述简述: :存放库存所有可供货物的信息存放库存所有可供货物的信息组成组成：：货物名称＋编号＋生产厂家货物名称＋编号＋生产厂家 ＋单价＋库存量＋单价＋库存量组织方式组织方式：索引文件，以货物编号为：索引文件，以货物编号为 关键字关键字查询要求查询要求: :要求能够立即查询要求能够立即查询数据项条目数据项条目(数据元素词条数据元素词条)不可再分解的数据单位，包括：不可再分解的数据单位，包括：• 名称名称• 描述描述• 数据类型数据类型• 长度长度( (精度精度) )• 取值范围及缺省值取值范围及缺省值• 计量单位计量单位• 相关数据元素及数据结构相关数据元素及数据结构数据项条目说明举例数据项条目说明举例数据项名数据项名: :货物编号货物编号别名别名: :G-No,G-num简述简述: :本公司的所有货物的编号本公司的所有货物的编号类型类型: :字符串字符串长度：长度：1010取值范围及含义取值范围及含义: : 第第1 1位：位：[ [J J｜｜G G] (] (进口进口/ /国产国产) ) 第第2 2∼ ∼4 4位：位：LB01.. LB29 (LB01.. LB29 (类别类别) ) 第第5 5∼ ∼7 7位：位：““A00”..“A99” (A00”..“A99” (规格规格) ) 第第8 8∼ ∼1010位：位：“001”..“999”(“001”..“999”(品名编号品名编号) )F1:F1:航班信息文件航班信息文件＝＝{ {航空公司名称＋航班号航空公司名称＋航班号＋起点＋终点＋日期＋起点＋终点＋日期 ＋起飞时间＋降落时间＋起飞时间＋降落时间} }航空公司名称＝航空公司名称＝2{2{字母字母}4}4 航班号＝航班号＝3{3{十进制数字十进制数字}3}3 字母＝字母＝““A”…“Z”A”…“Z”十进制数字＝十进制数字＝“0”…“9”“0”…“9”起点＝终点＝起点＝终点＝1{1{汉字汉字}10}10 起飞时间＝降落时间＝时＋分起飞时间＝降落时间＝时＋分 时＝时＝“00”…“23”“00”…“23”　　 分＝分＝“00”…“59”“00”…“59” 日期＝年＋月＋日日期＝年＋月＋日 年＝年＝“00”…“99”“00”…“99”　　 月＝月＝“01”…“12”“01”…“12”　　 日＝日＝“01”…“31”“01”…“31”存折存折＝户名＋所号＋帐号＋开户日期＋性质＝户名＋所号＋帐号＋开户日期＋性质 ＋（印密）＋＋（印密）＋1{1{存取行存取行}50}50户名＝户名＝2{2{字母字母}24}24所号＝所号＝““001001””....““999999”” ( (注：储蓄所编码，规定三位数字注：储蓄所编码，规定三位数字) )帐号＝帐号＝““0000000100000001””....““9999999999999999”” ( (注：帐号规定由八位数字组成注：帐号规定由八位数字组成) )开户日期＝年＋月＋日开户日期＝年＋月＋日性质＝性质＝““1 1””....““6 6””( (注：注：““1 1””表示普通户，表示普通户，““5 5””表示工资户等表示工资户等) )印密＝印密＝““0 0””( (注：印密在存折上不显示注：印密在存折上不显示) )存取行＝日期存取行＝日期＋（摘要）＋指出＋存入＋余额＋（摘要）＋指出＋存入＋余额 ＋操作＋复核＋操作＋复核年＝年＝[2001[2001｜｜20022002｜｜20032003｜｜2004]2004]月＝月＝“01”..“12”“01”..“12”　　日＝日＝“01”..“31”“01”..“31”摘要＝摘要＝1{1{字母字母}4(}4(注：表明该存取是存？是取？注：表明该存取是存？是取？ 还是换？还是换？) )支出＝金额支出＝金额( (注注: :金额规定不超过金额规定不超过9999999.999999999.99元元) )存入＝金额存入＝金额余额＝金额　余额＝金额　金额＝金额＝“0000000.01”..“9999999.99”“0000000.01”..“9999999.99”操作＝操作＝“00001”..“99999”“00001”..“99999”复核＝复核＝“00001”..“99999”“00001”..“99999”字母＝字母＝[ [““a a””....““z z””｜｜“A”..“Z”]“A”..“Z”]DDDD中数据结构的描述方式中数据结构的描述方式 — —巴科斯范式（巴科斯范式（BNF））举例举例: : < <节点点> > =<=<节点点标识><><节点点类型型>[<>[<节点点结构构说明明>]>] < <节点点标识> > =<=<字符串字符串> > < <节点点类型型> > = =关系关系记录｜｜图形｜数据形｜数据项｜｜图象｜象｜ 声音｜文本｜声音｜文本｜视频 < <节点点结构构说明明> > =<=<数据数据项>[{>[{，，< <数据数据项>}…]>}…] < <数据数据项> > =<=<数据数据项名名><><数据数据类型型><><关关键字字标识> > < <数据数据项名名> > =<=<字符串字符串> > < <数据数据类型型> > =<=<整型整型> >｜｜< <浮点型浮点型> >｜｜< <双精度型双精度型> > ｜｜< <字符型字符型> >    < <关关键字字标识> > =<1>=<1>｜｜<0><0>购书单购书单缺书缺书单单销售销售采购采购1 12 2第二层第二层DFD(００层层)  教材购销系统　教材购销系统　教材存量表教材存量表学学生生F1F1缺书登记表缺书登记表F2F2书书库库保保管管员员进书通知进书通知教材入教材入库信息库信息领书单领书单DF01-10DF01-10DF20-02DF20-02销售销售采购采购1.01.02.02.0第二层第二层DFD(００层层)  教材购销系统　教材购销系统　教材存量表教材存量表学学生生F1F1缺书登记表缺书登记表F2F2书书库库保保管管员员DF02-20DF02-20DF20-10DF20-10DF10-01DF10-011 12 2XSMDXSMDCGMDCGMDDD数据流条目说明举例数据流条目说明举例〔图号〕〔图号〕DF01-10 /*DF01-10 /*有效购书单有效购书单*/*/DF01-10 = DF01-10 = 学号＋姓名学号＋姓名 ＋＋{ {书号＋数量书号＋数量} }加工条目加工条目(加工逻辑说明加工逻辑说明)v 加工类条目即数据处理描述，也称为加工类条目即数据处理描述，也称为小小说明说明。

描述实现加工的策略而不是实现加描述实现加工的策略而不是实现加工的细节工的细节v 小说明可认为是小说明可认为是DDDD的组成部分的组成部分v 也可在也可在DDDD中只定义说明每个加工的组成中只定义说明每个加工的组成( (每个处理分解成多少小处理每个处理分解成多少小处理),),而在而在 小说明中详细描述它的处理逻辑小说明中详细描述它的处理逻辑. .加工条目加工条目(加工逻辑说明加工逻辑说明)  加工逻辑名加工逻辑名: :登记报名单登记报名单 编号：编号：1.01.0 激活条件：收到报名单激活条件：收到报名单 加工逻辑加工逻辑：：{1.1 {1.1 检查报名单检查报名单 + 1.2 + 1.2 编准考证号编准考证号 + 1.3 + 1.3 登记考生登记考生} } 执行频率：执行频率：20002000次次/ /日日ＤＤ定义方法ＤＤ定义方法•找出所有数据元素找出所有数据元素 ( (数据流，数据存储，数据项，加工数据流，数据存储，数据项，加工) )•对数据项分类对数据项分类•作结构定义作结构定义•排序排序•DDDD的分类的分类•DDDD中的命名中的命名( (遵守系统开发规范规定遵守系统开发规范规定) )DDDD的实现的实现(1)(1)人工方法人工方法(2)(2)自动方法自动方法( (利用字典管理程序利用字典管理程序) ) DDDD应具特点应具特点(1)(1)通过名字可方便查阅数据定义通过名字可方便查阅数据定义(2)(2)无冗余无冗余 (3)(3)易更新修改易更新修改3.小说明小说明(加工逻辑说明的另一种形式加工逻辑说明的另一种形式)描述的内容：描述的内容：(1) (1) 处理逻辑处理逻辑 描述基本加工如何把输入数据流变化描述基本加工如何把输入数据流变化为输出数据流的加工原则，不涉及具为输出数据流的加工原则，不涉及具体处理方法。

体处理方法2) (2) 执行条件执行条件(3) (3) 输入输入(4) (4) 输出输出(3) (3) 优先级优先级(4) (4) 执行频率执行频率(5) (5) 出错处理对策出错处理对策小说明举例加工名加工名: : 分类采购分类采购( (CG111MD)CG111MD)编号编号: 1.1.1: 1.1.1加工激活条件加工激活条件: : 受到图书采购员分类受到图书采购员分类 采购操作命令采购操作命令加工逻辑加工逻辑: (1) 1.1.1.1 : (1) 1.1.1.1 预定图书预定图书 (2) 1.1.1.2 (2) 1.1.1.2 外采图书外采图书 (3) 1.1.1.3 (3) 1.1.1.3 赠送图书赠送图书 执行频率执行频率: : 随时随时 小说明举例处理名处理名: :月票额统计月票额统计( (MHCW713MD)MHCW713MD)编号编号: 7.1.3: 7.1.3激活条件激活条件: :收到每日售票额信息收到每日售票额信息处理逻辑处理逻辑:1 :1 统计月保险金总合统计月保险金总合 月保险金信息月保险金信息= =每日日保险每日日保险 金信息之和金信息之和 2 2 统计月合计统计月合计 月合计信息月合计信息= =每日日合计信息之和每日日合计信息之和执行频率执行频率: 1: 1次次/ /月月描述加工逻辑的工具：描述加工逻辑的工具：•  结构化语言结构化语言• 判定表判定表• 判定树判定树结构化语言结构化语言 介于自然语言和形式语言介于自然语言和形式语言之间的语言之间的语言结构化语言的特点：结构化语言的特点：•无确定语法无确定语法•可分层、嵌套可分层、嵌套处理名处理名: :核实订票处理核实订票处理( (MHGP3200MD)MHGP3200MD)编号编号: 3.2: 3.2激活条件激活条件: :收到取订票信息收到取订票信息处理逻辑处理逻辑:1:1读订票旅客信息文件读订票旅客信息文件 2 2搜索此文件中是否有与输入信息搜索此文件中是否有与输入信息 中姓名及身份证号相符的项中姓名及身份证号相符的项 IFIF 有有 THENTHEN 判断余项是否与文件中信判断余项是否与文件中信 息相符息相符 IFIF 是是 THENTHEN 输出已订票信息输出已订票信息 ELSEELSE 输出未订票信息输出未订票信息 ELSEELSE 输出未订票信息输出未订票信息执行频率执行频率: : 实时实时判定表判定表(决策表决策表)描述多条件、多目标动作的形式化工具描述多条件、多目标动作的形式化工具判定表举例判定表举例 ( (计算机票折扣率计算机票折扣率) )旅游时间旅游时间订订 票票 量量折折 扣扣 量量7 7－－9 9，，1212月月≤20≤20≤20≤20> 20> 20> 20> 20 15% 15% 5% 5% 20% 20% 30% 30%条件类别条件类别四种条件组合四种条件组合操作操作条件组合下操作的执行条件组合下操作的执行1 1－－6,10,116,10,11月月处理名处理名: :计算折扣率计算折扣率( (MHGP534MD)MHGP534MD)编号编号: 5.3.4: 5.3.4激活条件激活条件: :收到预订票信息收到预订票信息处理逻辑处理逻辑: :计算折扣率计算折扣率执行频率执行频率: : 实时实时旅游时间旅游时间订订 票票 量量折折 扣扣 量量7 7－－9 9，，1212月月1 1－－6,10,116,10,11月月≤20≤20≤20≤20> 20> 20> 20> 20 15% 15% 5% 5% 20% 20% 30% 30%判定树判定树(Decision 决策树决策树) 条件条件1 1 条件条件2 2 结果结果计计 7 7－－9,9, 订票量订票量>20>20: : 15%15%算算 1212月月 订票量订票量≤20≤20: : 5%5%折折扣扣 1 1－－6,6, 订票量订票量>20>20: : 30%30%量量 10,1110,11月月 订票量订票量≤20≤20: : 5%5%二二. 结构化分析实施步骤结构化分析实施步骤1. 1. 确定系统边界确定系统边界, , 画出系统环境图画出系统环境图2. 2. 自顶向下，画出各层数据流图自顶向下，画出各层数据流图3. 3. 定义数据字典定义数据字典4. 4. 定义小说明定义小说明三三. 系统行为描述系统行为描述 采用动态分析方法，直观地采用动态分析方法，直观地分析系统的动作。

分析系统的动作 最常用的动态分析方法：最常用的动态分析方法：• 状态迁移图状态迁移图• 时序图时序图• PetriPetri网网状态迁移图状态迁移图就绪就绪就绪就绪tt11tt44tt22tt33等待等待等待等待运行运行运行运行状态状态状态状态事件事件事件事件运行运行运行运行就绪就绪就绪就绪等待等待等待等待t1t1t2t2t3t3t4t4运行运行运行运行就绪就绪就绪就绪就绪就绪就绪就绪等待等待等待等待进程的状态迁移图和状态迁移表进程的状态迁移图和状态迁移表进程的状态迁移图和状态迁移表进程的状态迁移图和状态迁移表SafeHomede的的状态变迁图状态变迁图读用户输入超时超时超时超时超时超时监视系统状态传感器事件行为显示用户反馈与与与与与与““““““用户交互用户交互用户交互用户交互用户交互用户交互””””””有关有关有关有关有关有关开关开关开关开关开关开关/ // / / /切换切换切换切换切换切换与与与与与与““““““监视监视监视监视监视监视& && & & &控制系统控制系统控制系统控制系统控制系统控制系统””””””有关有关有关有关有关有关显示活动状态显示活动状态显示活动状态显示活动状态显示活动状态显示活动状态与与与与与与““““““用户交互用户交互用户交互用户交互用户交互用户交互””””””有关有关有关有关有关有关传感器事件传感器事件传感器事件传感器事件传感器事件传感器事件与与与与与与““““““显示信息显示信息显示信息显示信息显示信息显示信息& && & & &状态状态状态状态状态状态””””””有关有关有关有关有关有关与与与与与与““““““监视监视监视监视监视监视& && & & &控制系统控制系统控制系统控制系统控制系统控制系统””””””有关有关有关有关有关有关传感器事件传感器事件传感器事件传感器事件传感器事件传感器事件传感器事件传感器事件传感器事件传感器事件传感器事件传感器事件与与与与与与““““““监视监视监视监视监视监视& && & & &控制系统控制系统控制系统控制系统控制系统控制系统””””””有关有关有关有关有关有关传感器事件传感器事件传感器事件传感器事件传感器事件传感器事件与与与与与与““““““显示信息显示信息显示信息显示信息显示信息显示信息& && & & &状态状态状态状态状态状态””””””有关有关有关有关有关有关闪烁闪烁闪烁闪烁闪烁闪烁与与与与与与““““““显示信息显示信息显示信息显示信息显示信息显示信息& && & & &状态状态状态状态状态状态””””””有关有关有关有关有关有关时序图时序图T1T1功能功能功能功能33((线路线路线路线路))事件事件事件事件ee时序图例时序图例时序图例时序图例                                                通信流例通信流例通信流例通信流例功能功能功能功能22功能功能功能功能11T2T2T3T3TT主机主机主机主机1 11 1主机主机主机主机2 22 2前端前端前端前端机机机机前端前端前端前端机机机机C1C1C1C1C2C2C2C2R2R2R2R2R1R1R1R1C2C2C2C2C1C1C1C1R1R1R1R1R2R2R2R2利用利用PetriPetri网建立需求模型网建立需求模型 PetriPetriPetriPetri网是一种系统的数学和图形的描述网是一种系统的数学和图形的描述网是一种系统的数学和图形的描述网是一种系统的数学和图形的描述与分析工具。

对于具有并发、异步、分布、不与分析工具对于具有并发、异步、分布、不与分析工具对于具有并发、异步、分布、不与分析工具对于具有并发、异步、分布、不确定性和确定性和确定性和确定性和/ // /或或或或随机性的信息处理系统都可以利用随机性的信息处理系统都可以利用随机性的信息处理系统都可以利用随机性的信息处理系统都可以利用这种工具构造出要开发的这种工具构造出要开发的这种工具构造出要开发的这种工具构造出要开发的PetriPetriPetriPetri网模型，然后对网模型，然后对网模型，然后对网模型，然后对其进行分析，即可得到有关系统结构和动态行为其进行分析，即可得到有关系统结构和动态行为其进行分析，即可得到有关系统结构和动态行为其进行分析，即可得到有关系统结构和动态行为方面的信息方面的信息方面的信息方面的信息••作为图形工具：作为图形工具：作为图形工具：作为图形工具：可使用标记来模拟系统的状态可使用标记来模拟系统的状态可使用标记来模拟系统的状态可使用标记来模拟系统的状态 行为和并发活动。

行为和并发活动行为和并发活动行为和并发活动••作为数学工具：作为数学工具：作为数学工具：作为数学工具：可建立状态方程、代数方程以可建立状态方程、代数方程以可建立状态方程、代数方程以可建立状态方程、代数方程以 及系统行为的其他数学模型及系统行为的其他数学模型及系统行为的其他数学模型及系统行为的其他数学模型一个并行活动的一个并行活动的PetriPetri网模型实例网模型实例AA站站站站BB站站站站环型铁路例图环型铁路例图环型铁路例图环型铁路例图环型铁路运行的环型铁路运行的环型铁路运行的环型铁路运行的PNGPNG列车列车列车列车1 11 1列车列车列车列车2 22 2在复线区间在复线区间在复线区间在复线区间运行中运行中运行中运行中到站到站到站到站单线区间单线区间单线区间单线区间空出空出空出空出在单线在单线在单线在单线区间运区间运区间运区间运行中行中行中行中在复线在复线在复线在复线区间运区间运区间运区间运行中行中行中行中到站到站到站到站单线单线单线单线占用占用占用占用等待单线等待单线等待单线等待单线区间开放区间开放区间开放区间开放单线区间单线区间单线区间单线区间空出空出空出空出等待单线等待单线等待单线等待单线区间开放区间开放区间开放区间开放在单线在单线在单线在单线区间运区间运区间运区间运行中行中行中行中单线单线单线单线占用占用占用占用单线释放单线释放单线释放单线释放单线释放单线释放单线释放单线释放一个有限状态机的一个有限状态机的PetriPetri网模型实例网模型实例自动售货机的自动售货机的自动售货机的自动售货机的PetriPetriPetriPetri网模型网模型网模型网模型取取取1.51.51.5元饮料元饮料元饮料取取取22 2元饮料元饮料元饮料P1(P1(P1(00 0元元元)) )P4(P4(P4(1.51.51.5元元元)) )P5(2P5(2P5(2元元元)) )P2(P2(P2(0.50.50.5元元元)) )P3(P3(P3(11 1元元元)) )投投投0.50.50.5元元元投投投11 1元元元投投投11 1元元元投投投11 1元元元投投投0.50.50.5元元元投投投0.50.50.5元元元投投投0.50.50.5元元元。