| 时间行为协议状态空间约减算法 |
| |
| 引用本文： | 张振领,贾仰理,李舟军.时间行为协议状态空间约减算法[J].计算机科学,2012,39(4):135-138. |
| |
| 作者姓名： | 张振领 贾仰理 李舟军 |
| |
| 作者单位： | 1. 聊城大学计算机学院 聊城252059
2. 北京航空航天大学计算机学院 北100191 |
| |
| 基金项目： | 国家自然科学基金项目，山东省自然科学基金项目，山东省软科学项目，聊城大学自然科学重点项目，山东省高校智能信息处理与网络安全重点实验室(聊城大学)资助项目 |
| |
| 摘 要： | 对复杂时间行为协议状态进行约减对于缓解形式化验证的状态空间爆炸问题,提高验证工具系统的效率、实用性等具有重要意义。分析了实时构件组合的几种形态,对基于时间行为协议的组合理论和状态空间爆炸问题进行了讨论,给出了时间行为协议的状态空间约减算法并进行了分析,给出了示例。
|
| 关 键 词： | 实时构件 时间行为协议 状态 约减 |
States Space Reduction Algorithm for Timed Behavior Protocol |
| |
| ZHANG Zhen-ling
,
JIA Yang-li
,
LI Zhou-jun.States Space Reduction Algorithm for Timed Behavior Protocol[J].Computer Science,2012,39(4):135-138. |
| |
| Authors: | ZHANG Zhen-ling JIA Yang-li LI Zhou-jun |
| |
| Affiliation: | 2(School of Computer,Liaocheng University,Liaocheng 252059,China)1(School of Computer Science & Engineering,Beihang University,Beijing 100191,China)2 |
| |
| Abstract: | It has great significance to relieve the state space explosion problem and improve the verification efficiency
and practicality by state reduction. This paper analyzed the composition pattern of real-time components. The timed be-
havior protocols based composition and the state space explosion problem were discussed, and the state space reduction
algorithm for timed behavior protocol was given, and the sample was presented finally. |
| |
| Keywords: | Real-time component Timed behavior protocol States Reduction |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
点击此处可从《计算机科学》下载全文 |
