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

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

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