| 结构化标记转换系统的部分互模拟与共变-逆变模拟 |
| |
| 引用本文： | 黄振华.结构化标记转换系统的部分互模拟与共变-逆变模拟[J].成都信息工程学院学报,2014,29(5):471-478. |
| |
| 作者姓名： | 黄振华 |
| |
| 作者单位： | 南京航空航天大学计算机科学与技术学院,江苏南京,210016 |
| |
| 基金项目： | 国家自然科学基金资助项目 |
| |
| 摘 要： | 结构化标记转换系统是经典标记转换系统的一种扩充,在处理转换系统之间的模拟关系时考虑了标记本身的结构。结构化标记转换系统间的部分互模拟与共变-逆变模拟之间存在诸多相似之处,为了更深入地研究两者的关系,引入Institution框架。基于该框架,讨论了部分互模拟关系与共变-逆变模拟关系之间的关系,并证明前者到后者存在Institution态射,结果表明,在结构化标记转换系统中,相比部分互模拟关系,共变-逆变模拟关系具有更强的表达能力。
|
| 关 键 词： | 计算机软件与理论 进程代数 标记转换系统 结构化标记 部分互模拟 共变-逆变模拟 Institution |
Partial Bisimulation and Covariant-contravariant Simulation of Structured LTSs |
| |
| HUANG Zhen-hua.Partial Bisimulation and Covariant-contravariant Simulation of Structured LTSs[J].Journal of Chengdu University of Information Technology,2014,29(5):471-478. |
| |
| Authors: | HUANG Zhen-hua |
| |
| Institution: | HUANG Zhen-hua( 1.College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing 210016, China) |
| |
| Abstract: | The notion of structured labelled transition system（LTS） is generalized from classical labelled transition system.Structrued LTS considers the structure of labels in dealing with the simulation relations of transition systems.There are many similarities between partial bisimulation and covariant-contravariant simulation of structured LTSs.In order to gain more insight into the relationship between them in depth,the framework of institutions has been introduced.In that framework,this paper explores the relationship between partial bisimulation and covariant-contravariant simulation.It is demonstrated that there exists an institution morphism from the former to the latter,which indicates that covariant-contravariant simulation is more expressive than partial bisimulation in structured |
| |
| Keywords: | computer software and theory process algebra LTS structured-label partial bisimulation covariant-contravariant simulation institution |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
