| The Infinite Evolution Mechanism of ϵ-Bisimilarity |
| |
| 引用本文： | 马艳芳,张敏.The Infinite Evolution Mechanism of ϵ-Bisimilarity[J].计算机科学技术学报,2013,28(6):1097-1105. |
| |
| 作者姓名： | 马艳芳 张敏 |
| |
| 基金项目： | This work is supported by the National Natural Science Foundation of China under Grant Nos. 61021004, 61202105, 61300048, the Natural Science Foundation of Anhui Province of China under Grant No. 1308085QFl17, the Natural Science Foundation of Universities of Anhui Province of China under Grant No. KJ2011A248, and the Open Fund of Shanghai Key Laboratory of Trustworthy Computing of China. The preliminary version of this paper was published in the Proceedings of the 3rd QL ＆ SC. |
| |
| 摘 要： | In this paper, we focus on the convergence mechanism of ε-bisimulation under probabilistic processes to discuss the dynamic correctness of the software. Firstly, ε-limit bisimulation is defined for reflecting the dynamic relation between software specification and implementation. Some special ε-limit bisimulations are showed. Secondly, ε-bisimulation limit is proposed, which states the specification is the limit of implementation under ε-bisimulation. The uniqueness of ε-bisimulation limit and consistence with ε-bisimulation are presented. Finally, the substitutivity laws of ε-bisimulation limit with various combinators are proved.
|
| 关 键 词： | 互模拟 演化机理 软件规范 动态关系 极限 一致性 程序 |
| 本文献已被 维普 SpringerLink 等数据库收录！ |
|
