3.3.3.3 创建行为模型
通常来说,行为建模用于实时系统。实时系统中可能存在许多脚本,很多实体需要进行状态划分和描述状态转换图,有时为了描述系统的并发行为,还需要使用其他一些工具进行描述,如Petri网。在事务系统中,系统行为相对简单,只有某些行为较复杂的实体才需要建立其状态转换图。
(1) 分析外部事件,所谓外部事件是指外部实体与系统的一次交互。
(2) 分析事件的响应者,该响应者为了响应该事件要进行怎样的活动,这种活动又会激发哪些事件等,这样构成了系统行为的脚本。
(3) 根据事件和活动划分实体的状态,也可根据其他知识划分实体状态,考虑发生怎样的事件使该实体进入这个状态,怎样的事件使该实体从这个状态转换到另一状态等。
举例分析:

在"学生成绩管理"系统中,学生成绩信息需要采取安全措施,我们可以采取登录方法避免非法使用系统。这样,该系统存在"登录"、"正常"和"出错"等状态的转换。
学生启动系统之后,系统处于"登录"状态。在这种状态下,学生可以进行登录或取消登录。如果取消登录,系统直接退出;如果登录失败,系统进入"出错处理"状态,在显示错误信息后,又重新回到"登录"状态;如果登录成功,系统进入"正常"
状态,即显示操作界面,等待学生查询,学生可以多次查询不同课程的成绩,直到学生选择退出为止。
3.3.3.4 编写加工规格说明
加工规格说明用于描述底层数据流图的加工,包括叙述性正文、加工算法、数学方程、表或图表等,它可以成为编写软件需求规格说明的第一步,并为加工的程序设计提供指南。通常,加工规格说明采用结构化英语(PDL)、判断表和判断树等进行描述,对于这些概念和方法,本课程不予介绍,有兴趣的学生可以查找有关资料自学。
|