软件工程第四章——形式化说明技术

自然语言

形式化语言

优点

应用准则*

有穷状态机法（FSM）

计算机系统中每个菜单驱动的用户界面都是一个有穷状态机的实现。

有穷状态机方法比数据流图技术更精确，一样易于理解。但不能处理定时需求。

Petri网

当禁止线上的输入无权标，其他输入至少有一个权标，才允许转换，例如这个图中的t1转换就是允许的。

电梯按扭被按下一次之后，再按就不会再响应，状态不会转换。