导 师: 李师贤;仲萃豪
学科专业: H1202
授予学位: 博士
作 者: ;
机构地区: 中国科学院软件研究所
摘 要: 该文首先对常见并发模型进行了综述与分类,介绍了描述性并发模型的基本概念,包括petri网以及csp、ccs、π演算、cbs等进程演算,并重点讨论了作为并行与分布式计算理论基础的抽象并发模型.文中从不同的角度对抽象并发模型进行了分类,包括带标号变迁系统、同步树、hoare踪迹语言等交错模型以及异步变迁系统、事件结构、mazurkiewicz踪迹语言等真并发模型.然后从不同的正交坐标建立了这些并发模型的层次结构,并进一步介绍了利用范畴论作为数学工具给出这些并发模型之间关系的形式化描述方法.范畴论是一种通用的概念框架,很适合作为软件工程的形式化理论基础.该文介绍了范畴论的基本概念及其不同于传统集合论的独特思维方式,并探讨将这些概念与思想作为数学工具应用到语义模型研究中的一般方法.然后给出利用范畴论研究抽象并发模型以及模型之间关系的基本思路.范畴论可应用在单一并发模型的研究中,通过定义合适的射为各种抽象并发模型建立相应的范畴,模型中的并行复合、不确定选择、限制、重标号等进程算子可看作范畴中的泛构造.范畴论还可用于研究并发模型之间的关系,利用伴随函子给出并发模型之间嵌入关系的形式化解释,而且这种函子具有很好的可实现性.