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

　　在"学生成绩管理"系统中，学生成绩信息需要采取安全措施，我们可以采取登录方法避免非法使用系统。这样，该系统存在"登录"、"正常"和"出错"等状态的转换。
　　学生启动系统之后，系统处于"登录"状态。在这种状态下，学生可以进行登录或取消登录。如果取消登录，系统直接退出；如果登录失败，系统进入"出错处理"状态，在显示错误信息后，又重新回到"登录"状态；如果登录成功，系统进入"正常" 状态，即显示操作界面，等待学生查询，学生可以多次查询不同课程的成绩，直到学生选择退出为止。

3.3.3.4 编写加工规格说明
　　加工规格说明用于描述底层数据流图的加工，包括叙述性正文、加工算法、数学方程、表或图表等，它可以成为编写软件需求规格说明的第一步，并为加工的程序设计提供指南。通常，加工规格说明采用结构化英语（PDL）、判断表和判断树等进行描述，对于这些概念和方法，本课程不予介绍，有兴趣的学生可以查找有关资料自学。