偶图及其应用研究综述

• 作者: 李静 王晶晶 许东
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 偶图 范畴论 偶图范畴 偶图反应系统 偶图应用
• 年，卷（期）: 2016,（2）
• 所属期刊栏目: 理论计算机科学
• 页码范围: 195-208
• 页数: 14页
• 分类号: TP301
• 字数: 12211字
• 语种: 中文
• DOI: 10.13328/j.cnki.jos.004939

摘要

偶图是由Robin Milner在2001年提出的一种基于图形的形式化理论模型,试图为普适计算提供一个设计、模拟和分析的平台以及为现有的进程代数提供一个统一的可扩展的框架.介绍了偶图的基本概念,揭示了偶图的数学基础——预范畴、范畴、s-范畴、对称偏幺半范畴之间的关系,对偶图的代数系统进行总结,简化了偶图的离散范式的表述形式,并给予证明.综述了偶图的发展及其应用概况.对偶图范畴的定义、商变换等基本理论中存在的一些问题提出讨论,指出偶图范畴应该属于小范畴而不是大范畴,并给出商变换得出的大范畴转换为小范畴的方法.最后简述了偶图模型的扩展、应用的拓广.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李静	上海大学计算机工程与科学学院	50	194	8.0	11.0
2	许东	上海大学计算机工程与科学学院	12	51	3.0	7.0
3	王晶晶	上海大学计算机工程与科学学院	18	24	3.0	4.0