论文部分内容阅读
该文针对action演算簇,探讨了它本身的一些理论问题,同时研究了在程序设计语言语义的形式化描述以及在并发交互系统中的一些重要应用.通过该文工作可以看出,action演算作为一种理论框架模型,具有较强的描述能力和便于图形化的优点.该文给出了基于分子形式的action演算的数据流分析方法,为深入理解和研究action演算本身的性质提供了一种分析手段.给出了基于数据流分析的action图的自动生成方法,为action演算的直观表示以及基于图的动态性质研究提供了有效的图形化工具.通过定义具体的action演算,给出了它在顺序和并行程序设计语言的语义描述.为研究action演算的描述能力,研究了action演算与基于约束的高阶并发模型的关系,具体给出了gamma演算到action演算的转换.