数据字典：与数据流图配合，能清楚的表达数据处理的要求
用于写加工逻辑说明的工具：
（1）结构化英语：词汇表由英语命令动词、数据词典中定义的名字、有限的自定义词、逻辑关系词
是一种介于自然语言和形式化语言之间的语言；语言的正文用基本控制结构进行分割，加工中的操作用自然语言短语来表示。基本控制结构三种：简单陈述句：结构重复结构：判定结构
（2）判定表：如果数据流图的加工需要依赖多个逻辑条件的取值使用判定表合适
（3）判定树：也是用来表达加工逻辑的一种工具。有时候它比判定表更直观
原型化方法：软件原型的分类：在软件开发中，原型是软件的一个早期可运行的版本。他反应最终系统的部分重要特性 探索型：实验型：进化型：
原型使用策略：废弃策略；追加策略
最常用的动态分析方法：状态迁移图；时序图；Petri网
状态迁移图：是描述系统的状态如何响应外部的信号进行退移的一种图形表示；圆圈表哈斯可得到的系统状态；箭头表示从一种状态到另一种状态的迁移；
时序图：petri网
