一種研究組件引用語義的動力系統方法

褚蕾蕾　徐宗本

摘要：在組件和引用形式模型的基礎上給出了組件集的拓撲空間結構，從而在組件并行遞歸引用形式語義的研究中引入一種新的基于拓撲動力系統的觀點和方法，將其指稱對象的存在性歸結于一個動力系統的吸引子和泛函不動點，同時將引用過程描述為系統的軌跡．最后，用這種動態方法分析了一個非單調對稱工作流模型的工作過程，得到了工作流的軌跡和終止狀態集．

關鍵詞：組件；引用；形式語義；動力系統

中圖分類號：O141，4；TP301．2文獻標識碼：A文章編號：0253—987X(2003)12—1299—05