精·第4章 形式化说明技术.pptVIP

* 图书流图系统有穷状态机 * 等待状态 初态 获得图书 信息状态 获得图书及 读者信息状态 书条码 借阅人条码 借书 C 还书 R exit exit 添加图书 + 删除图书 - exit exit 查找某个指定 标题的图书 查找特定范 围的图书 查找某个 作者的图书 A＝ T＝ S＝ PETRI网 * H . . BookIn C 借书 BookOut R 还书 预约 * 否则不管形式化方法在理论上如何严密，它是不能帮助我们完成软件开发任务的。因此应尽可能多地把用户吸引到软件开发过程中来，使用户能尽早发现正在研制中的软件与他的需求之间的偏差，甚至是发现已经写好的需求说明和他的真实需求之间的偏差，从而及时修改需求说明和设计。形式化方法很难被直接用作软件工程师和用户之间合作的基础，形式化的需求说明语言也很难在这两部分人中间起沟通作用，因为他们的知识背景太不相同了。更何况在研制和运行软件的过程中，需求信息可能改变，修改设计或重新设计都会给这两部分人带来沉重负担。 * 就好象微机用户从IBM公司那里购买硬件，而从兼容软件开发商那里购买微机的配套软件一样。 * Elevator Button（EB） * Floor Button（FB） * * * 由于P2和P4中有权标，因此t1启动(即被激发)。 P2和P4上各有一个权标被移出，而P1上则增加一个权标。 * 一个典型的物质资