| 标号迁移系统的互模拟关系及其性质 |
| |
| 引用本文： | 唐郑熠,林佳音,黄泽斌.标号迁移系统的互模拟关系及其性质[J].福建工程学院学报,2018,0(6):547-552. |
| |
| 作者姓名： | 唐郑熠 林佳音 黄泽斌 |
| |
| 作者单位： | 福建工程学院信息科学与工程学院 |
| |
| 摘 要： | 以标号迁移系统为工具，探讨了系统行为的等价性问题，构建了模拟及互模拟关系的形式化模型，进而将互模拟的概念推广到了系统的层面，进一步探讨了模拟及互模拟关系的性质，揭示了互模拟概念的本质，为其在形式化分析及验证技术中的应用提供了基础。
|
| 关 键 词： | 系统行为 等价 标号迁移系统 模拟 互模拟 |
Bisimulation relation in labeled transition system and its properties |
| |
| TANG Zhengyi,LIN Jiayin,HUANG Zebin.Bisimulation relation in labeled transition system and its properties[J].Journal of Fujian University of Technology,2018,0(6):547-552. |
| |
| Authors: | TANG Zhengyi LIN Jiayin HUANG Zebin |
| |
| Institution: | School of Information Science and Engineering, Fujian University of Technology |
| |
| Abstract: | The equivalence of system’s behavior was discussed by using the labeled transition system. The formal model of the relationship between simulation and bisimulation was constructed, and the concept of bisimulation was extended to the level of the whole system. Furthermore, the properties of simulation and bisimulation were discussed, and the essence of bisimulation was revealed, which provides a basis for its application in formal analysis and verification. |
| |
| Keywords: | system behavior equivalence labeled transition system simulation bisimulation |
| 本文献已被 CNKI 等数据库收录！ |
| 点击此处可从《福建工程学院学报》浏览原始摘要信息 |
| 点击此处可从《福建工程学院学报》下载免费的PDF全文 |
