偶图及其应用研究综述

摘要：

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

关键词：偶图、范畴论、偶图范畴、偶图反应系统、偶图应用

所属期刊栏目：27

分类号：TP301(计算技术、计算机技术)

在线出版日期：2016-08-19（万方平台首次上网日期，不代表论文的发表时间）

页数：共14页

页码：195-208