|
|||||
|
|
| 一角认控制的形式化方法 | |
| 引用本文： | 赖蕾,曹化工.一角认控制的形式化方法[J].华中理工大学学报,1999,27(A01):8-10. |
| 作者姓名： | 赖蕾 曹化工 |
| 摘 要： | 提出了一种基于事务的确认控制形式化方法。该方法在数据流图的基础上引入了数据流事务的概念，通过施加控制数据流规则和ＦＳＭ语法，将数据流事务转换为ＦＳＭ事务，消除了数据流图的歧义性；同时，将有限状态机作为ＦＳＭ事务的控制原语，使事务的控制部分得以形式从，从而可实现确认控制自动化。 |
| 关 键 词： | 软件确认 形式化法 数据流事务 确认控制 FSM |
| 本文献已被 维普 等数据库收录！ | |