1 / 6

4.1 概述 非形式化方法的缺点 形式化方法的优点 应用形式化方法的准则

第 4 章 形式化说明技术. 4.1 概述 非形式化方法的缺点 形式化方法的优点 应用形式化方法的准则. 4.2 有穷状态机. 4.2.1 概念. 图 4.1 保险箱的状态转换图. 4.2.2 例子. 在一幢 m 层的大厦中需要一套控制 n 部电梯的产品，要求这 n 部电梯按照约束条件 C1 ， C2 和 C3 在楼层间移动。. 图 4.2 电梯按钮的状态转换图 图 4.3 楼层按钮的状态转换图. 图 4.4 电梯的状态转换图.

lucien
Download Presentation

4.1 概述 非形式化方法的缺点 形式化方法的优点 应用形式化方法的准则

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. 第4章 形式化说明技术 4.1 概述 非形式化方法的缺点 形式化方法的优点 应用形式化方法的准则

  2. 4.2 有穷状态机 4.2.1 概念

  3. 图4.1 保险箱的状态转换图

  4. 4.2.2 例子 在一幢m层的大厦中需要一套控制n部电梯的产品，要求这n部电梯按照约束条件C1，C2和C3在楼层间移动。

  5. 图4.2 电梯按钮的状态转换图 图4.3 楼层按钮的状态转换图

  6. 图4.4 电梯的状态转换图

More Related