|
采用结构化分析、设计方法首先必须从系统外部环境分析开始,界定系统的边界,即什么是系统的外部接口、系统所必须完成的基本功能,系统环境图(亦称顶层图)是数据流图的特例,其描述了系统的使用者与被使用者,及系统使用者与被使用者与系统的信息交换(包括数据信息和控制信息)。由于采用图形化方式,且模型语义接近自然语言,易于理解与沟通,方便系统需求确认。

数据流图(DFD)是用于揭示系统功能的主要工具,RTCASE支持“由外向里”层次化数据流分解方法,从系统环境图(顶层图)开始,可从上层数据流图直接弹出下层数据流图,并自动进行平衡性与一致性检查。

数据流图的每一处理可以用处理说明来精确地描述其功能,RTCASE不仅支持基本处理(即不再进一步被分解的处理)的处理说明,而且支持非基本处理的处理说明,为非基本处理创建处理说明便于帮助理解建立需求模型过程中的思考推理过程。RTCASE提供的处理说明中可包含相关数据流图中输入/输出索引,并对处理说明与数据流图中信息流(可为数据与控制)进行一致性检查。
控制流图(Control
Flow Diagram)
在实时系统中,处理(Processing)更多地决定于控制信息,而不仅仅是数据。在传统的数据流图表示中,控制流不能直接地表示。为了解决实时软件的分析,Hatley
和 Pirbhai在数据流图与处理说明的基础上进行了扩充,定义了与数据流图和处理说明相对应的控制流图(CFD)和控制说明(CSPEC)表示方法。

控制流图(CFD)用于揭示系统的控制结构,其意图是决定在何种外部、内部条件或操作模式下执行在数据流分析中定义的处理(即系统功能),控制流图与数据流图是一一对应的,RTCASE中使用同一流图表示控制流与数据流,控制流图与数据流图具有相同的命名、分层、平衡性属性,在控制流图中使用一特殊符号(短的粗线)以表示与控制说明接口。
控制说明用于描述输入信号(包括数据与控制信号)转换成输出信号或处理启动信号的方法。RTCASE提供三种不同类型的控制说明,状态转换图(STD)、控制表(Control
Table)及控制说明指南(CSPEC Guide)。
RTCASE控制表可用作决策表、处理启动表或两者组合。
RTCASE状态转换图描述的是一个建立在系统状态集合定义基础上的行为模型,一个状态是任一可观察的行为模式,状态转换图说明系统是怎样从一种状态转换到另一种状态,也就是说,状态转换图给出了描述系统行为,以及导致系统状态改变的事件形式。另外,状态转换图还表明某一特定事件所产生的活动。

控制说明指南是RTCASE特有的用于描述复杂控制需求方法,往往复杂控制需求很难或无法采用单一状态图或控制表表达。此控制说明指南是控制说明分解,可包含多个子控制说明,每个子控制说明可为状态转换图或控制表。
数据词典用于保存模型中所有数据流、控制流及数据与控制存储(Data
Store或Control Store)。数据词典中每个数据项定义并分解为最基本的数据项,使用RTCASE数据项表示为纯文本描述或结构化描述,结构化描述使用简化的BNF(Backus-Naur)格式。
每个基本数据项可具有单位(Unit)、范围(Range)、精度(Resolution)及频率(Rate)属性。

|