- 1、本文档共113页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
* * * * * 对数据流图的每一个基本加工,必须有一个基本加工逻辑小说明,给出该加工的精确描述。 。 基本加工逻辑说明必须描述基本加工如何把输入数据流变换为输出数据流的加工规则。 加工逻辑说明必须描述实现加工的策略而不是实现加工的细节。 加工逻辑说明中包含的信息应是充足的,完备的,有用的,无冗余的。对基本加工说明有三种描述方式: 加工逻辑说明 结构化语言 判定表 判定树 结构化语言是介于自然语言和形式语言之间的一种半形式语言,是自然语言的一个受限制的子集。 一般分为两层结构:外层语法较具体,为控制结构(顺序、选择、循环),内层较灵活,表达“做什么”。 (一) 结构化语言 例如:外层可为以下结构: 1、顺序结构 2、选择结构 IF–THEN-ELSE; CASE-OF-ENDCASE; 3、循环结构 WHILE-DO; REPEAT-UNTIL 加工说明 自然语言+结构化形式 商店业务处理系统中“检查发货单” if 发货单金额超过$500 then if 欠款超过了60天 then 在偿还欠款前不予批准 else (欠款未超期) 发批准书,发货单 else (发货单金额未超过$500) if 欠款超过60天 then 发批准书,发货单及赊欠报告 else (欠款未超期) 发批准书,发货单 例:一图书销售系统,其中一加工为“优惠处理”,条件是:顾客的营业额大于1000元,同时必须信誉好,或者虽然信誉不好,但是20年以上的老主顾。 判定表是一种二维的表格,常用于较复杂的组合条件(与结构化语言比较)。如果数据流图的加工需要依赖于多个逻辑条件的取值,使用判定表来描述比较合适 条件框 条件条目 操作框 操作条目 (二) 判定表 特点:可处理较复杂的组合条件,但不易理解,不易输入计算机 通常由四部分组成。 条件框 — 条件定义。 操作框 — 操作的定义。 条件条目 — 各条件的取值及组合。 操作条目 — 在各条件取值组合下所执行的操作。 加工说明 例:一图书销售系统,其中一加工为“优惠处理”,条件是:顾客的营业额大于1000元,同时必须信誉好,或者虽然信誉不好,但是20年以上的老主顾。 1 2 3 4 1000元 Y Y Y N 信誉好 Y N N - 20 年 - Y N - 优 惠 X X 正 常 X X 化简后 1 2 3 4 5 6 7 8 1000元 Y Y Y Y N N N N 信誉好 Y Y N N Y Y N N 20 年 Y N Y N Y N Y N 优 惠 X X X 正 常 X X X X X Y-满足条件 N-不满足条件 X-选中判定的结论 加工说明 特点:描述一般组合条件较清晰,易理解。不易输入计算机。 营业额 1000元 ≤ 1000元 正常处理 好的支付信誉 优惠处理 坏的支付信誉 20年 优惠处理 20年 正常处理 (三) 判定树 加工说明 状态转化图通过描绘系统的状态及引起系统状态转换的事件,来表示系统的行为。此外,状态图还指明了作为特定事件的结果系统将做哪些动作(例如,处理数据)。因此,状态图提供了行为建模机制。可以理解为在任一个时刻,系统处于有限可能的状态中的一个状态,当某一个激励(条件)到达时,它激发系统从一个状态转换到另一个新状态。 1.状态 状态是任何可以被观察到的系统行为模式,一个状态代表系统的一个行为模式。状态规定了系统对事件的响应方式。系统对事件响应,既可以是做一个(或一系列)动作,也可以是仅仅改变系统本身的状态,还可以是既改变状态又做动作。 状态转换图(行为模型) 2.事件 事件是在某个特定时刻发生的事情,它是对引起系统做动作或从一个状态转换到另一个状态的外界事件的抽象。例如,内部时钟表明某个规定的时间段已经过去,用户移动或点击鼠标等都是事件。简而言之,事件就是引起系统做动作或转换状态的控制信息。 3. 符号 在状态图中,初态用实心圆表示,终态用一对同心圆(内圆为实心圆)表示。 中间状态用圆角矩形表示,可以用平衡线把它分割成上、中、下3个部分。上部分为状态的名称,该部分是必须的;中间部分为状态变量的名字和值
文档评论(0)