褚蕾蕾，徐宗本
（西安交通大学理学院,710049,西安)
摘要：在组件和引用形式模型的基础上给出了组件集的拓扑空间结构，从而在组件并行递归引用形式语义的研究中引入一种新的基于拓扑动力系统的观点和方法，将其指称对象的存在性归结于一个动力系统的吸引子和泛函不动点，同时将引用过程描述为系统的轨迹.最后，用这种动态方法分析了一个非单调对称工作流模型的工作过程，得到了工作流的轨迹和终止状态集.
关键词：组件；引用；形式语义；动力系统
中图分类号：O141.4；TP301.2文献标识码：A文章编号： 0253９８７Ｘ（２００3）121299０5