论文部分内容阅读
在组件和引用形式模型的基础上给出了组件集的拓扑空间结构,从而在组件并行递归引用形式语义的研究中引入一种新的基于拓扑动力系统的观点和方法,将其指称对象的存在性归结于一个动力系统的吸引子和泛函不动点,同时将引用过程描述为系统的轨迹.最后,用这种动态方法分析了一个非单调对称工作流模型的工作过程,得到了工作流的轨迹和终止状态集.