软件工程-软件工程导论（第六版）第四章形式化说明技术（图片+文字）

今天继续分享，第四章的内容，形式化说明技术。

2.1 非形式化方法的缺点

2.2 形式化方法的优点

2.3 应用形式化方法的准则

    有穷状态机的概念在计算机系统中应用得非常广泛。
    例如，每个菜单驱动的用户界面都是一个有穷状态机的实现。一个菜单的显示和一个状态相对应，键盘输入或用鼠标选择一个图标是使系统进入其他状态的一个事件。状态的每个转换都具有下面的形式：

    当前状态〔菜单〕+事件〔所选择的项〕=>下个状态。

    为了对一个系统进行规格说明，通常都需要对有穷状态机做一个很有用的扩展，即在前述的5元组中加入第6个组件——谓词集P，从而把有穷状态机扩展为一个6元组，其中每个谓词都是系统全局状态Y的函数。转换函数T现在是一个从(J-F)×K×P到J的函数。现在的转换规则形式如下：

当前状态〔菜单〕+事件〔所选择的项〕+谓词=>下个状态。

4 Petri网

4.1 概念

    果然在教室的效率非常高！

    分享和帮助是人生一大乐事，希望可以帮助您。本人才疏学浅，如果有不当之处，还请批评指正。同时欢迎大家评论、点赞及转发！