基于端口自動機(jī)的行為表達(dá)方法

　　模塊間相互嵌套的結(jié)構(gòu)是信息系統(tǒng)中最常見的結(jié)構(gòu)之一。在應(yīng)用系統(tǒng)中，為了實現(xiàn)復(fù)雜的功能，具有一定功能的模塊可嵌入并組合到其他模塊中；同樣，組合后的模塊還可被嵌入到更大的外部模塊中。近期，美國麻省理工學(xué)院Spivak等使用“對稱多范疇”（ symmetric multicategory）來討論自相似對象的嵌套結(jié)構(gòu)以及相關(guān)計算特征。該系列研究的核心思想是：范疇對象間存在“多對一”態(tài)射，當(dāng)使用集合概念替代范疇對象時，可實現(xiàn)表示內(nèi)部結(jié)構(gòu)的多個集合與一個表示外部結(jié)構(gòu)的集合之間的嵌套組合關(guān)系；而且使用“函子”（ functor）可基于結(jié)構(gòu)特征分析出結(jié)構(gòu)上的計算特征。2015年，該方法還被應(yīng)用于“模塊化網(wǎng)絡(luò)”的靜態(tài)結(jié)構(gòu)描述與動態(tài)特性表達(dá)上。在該系列研究基礎(chǔ)上，本文基于“端口自動機(jī)”建立面向嵌套式結(jié)構(gòu)的行為表達(dá)方法PAM，并就該方法相關(guān)理論基礎(chǔ)和應(yīng)用方法等內(nèi)容進(jìn)行分析和討論，本文所提出的PAM方法是一個函子，該函子的伴隨域為：在狀態(tài)集上進(jìn)行運算的動態(tài)系統(tǒng)，這也說明PAM運算具有結(jié)構(gòu)保持特征，可將結(jié)構(gòu)與集合上的運算相互聯(lián)系起來。