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

1 引言

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

2 概述

2.1 非形式化方法的缺点


2.2 形式化方法的优点

2.3 应用形式化方法的准则


3 有穷状态机


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

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

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

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

4 Petri网

4.1 概念









5 Z语言








5 结束语

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

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


猜你喜欢

转载自blog.csdn.net/Chen_Yongbo/article/details/80483457
今日推荐