多流程系統(tǒng)中流程交互模型的研究與應用.pdf

1、 流程是一個含義廣泛的概念。本文將流程歸納為具有完整功能并能獨立運行的執(zhí)行實體。流程由特定算法構(gòu)成。計算實體之間通過多種方式并且互相影響，它們的行為既相對獨立，又彼此依賴。計算已經(jīng)突破了圖靈機模式，而交互是決定性因素，交互使計算成為一個開放的動態(tài)過程。 流程的計算應是一個開放的、動態(tài)并發(fā)交互的過程，由系統(tǒng)與外部環(huán)境的動態(tài)交互以及系統(tǒng)內(nèi)部各組件間的協(xié)同工作來完成。多流程系統(tǒng)的行為是系統(tǒng)內(nèi)、外因有機統(tǒng)一的具體表征。因此不能把流

2、程的靜態(tài)組合構(gòu)造和動態(tài)計算行為當作兩個孤立的個體分而治之。 本文利用動作邏輯擴展了自動機模型，并以此作為流程的模型。流程的動態(tài)行為則是動作執(zhí)行的結(jié)果。事件是系統(tǒng)特性變化的抽象表示，本文用事件作為流程間交互的中介，通過事件公式來表示狀態(tài)與事件的推理過程，事件公式將系統(tǒng)的靜態(tài)特性和動態(tài)變化統(tǒng)一起來。而流程間的交互過程則是對事件的感知和處理過程。 借鑒黑板結(jié)構(gòu)，本文建立了一個流程交互模型。通過黑板實現(xiàn)了對事件的集中感知，降低了