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

• 作者: 徐宗本 褚蕾蕾
• 来源期刊: 西安交通大学学报
• 关键词: 组件 引用 形式语义 动力系统
• 年，卷（期）: 2003,（12）
• 页码范围: 1299-1303
• 页数: 5页
• 分类号: O141.4|TP301.2
• 语种: 中文
• DOI: 10.3321/j.issn:0253-987X.2003.12.022

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	徐宗本	西安交通大学理学院	127	2204	23.0	43.0
2	褚蕾蕾	西安交通大学理学院	7	20	3.0	4.0