一种研究组件引用语义的动力系统方法

摘要：

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

关键词：组件、引用、形式语义、动力系统

所属期刊栏目：37

分类号：O141.4;TP301.2(数理逻辑、数学基础)

资助基金：国家高技术研究发展计划863计划2001AA113182

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

页数：共5页

页码：1299-1303