褚蕾蕾　徐宗本

摘要：在組件和引用形式模型的基礎(chǔ)上給出了組件集的拓?fù)淇臻g結(jié)構(gòu)，從而在組件并行遞歸引用形式語義的研究中引入一種新的基于拓?fù)鋭恿ο到y(tǒng)的觀點和方法，將其指稱對象的存在性歸結(jié)于一個動力系統(tǒng)的吸引子和泛函不動點，同時將引用過程描述為系統(tǒng)的軌跡．最后，用這種動態(tài)方法分析了一個非單調(diào)對稱工作流模型的工作過程，得到了工作流的軌跡和終止?fàn)顟B(tài)集．

關(guān)鍵詞：組件；引用；形式語義；動力系統(tǒng)

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