服務(wù)行為交互模型及可信計(jì)算方法研究.pdf

1、面向服務(wù)的體系結(jié)構(gòu)作為軟件集成、系統(tǒng)開發(fā)技術(shù)領(lǐng)域進(jìn)步的一個(gè)里程碑，近年來(lái)憑借其自治、開放以及平臺(tái)無(wú)關(guān)等特性，得到了越來(lái)越多的關(guān)注與應(yīng)用。服務(wù)是構(gòu)造面向服務(wù)系統(tǒng)的基礎(chǔ)模塊，單個(gè)服務(wù)所具有的功能存在一定的局限性，組合多個(gè)服務(wù)是面向服務(wù)的體系結(jié)構(gòu)開發(fā)軟件應(yīng)用、實(shí)現(xiàn)業(yè)務(wù)過(guò)程的核心方法和技術(shù)。
　　本文對(duì)服務(wù)組合過(guò)程中行為交互建立模型SI-M，并研究了基于SI-M模型的可信計(jì)算方法。本文主要研究?jī)?nèi)容和研究成果包括以下幾個(gè)方面:
　　1

2、)闡述了服務(wù)行為交互建模及可信計(jì)算方法研究的背景和意義，總結(jié)了國(guó)內(nèi)外服務(wù)行為交互領(lǐng)域的研究現(xiàn)狀。介紹了用于描述服務(wù)組合過(guò)程的業(yè)務(wù)過(guò)程執(zhí)行語(yǔ)言(Business Process Executive Language，BPEL)，并闡述了BPEL的設(shè)計(jì)原則和構(gòu)成元素。研究了Petri網(wǎng)的基本性質(zhì)和原理。
　　2）給出了一種基于Petri網(wǎng)的服務(wù)行為交互模型SI-M。業(yè)務(wù)過(guò)程執(zhí)行語(yǔ)言用于描述服務(wù)間公共消息的交換過(guò)程，沒(méi)有定義流程內(nèi)部行為

3、交互細(xì)節(jié)，SI-M模型基于Petri網(wǎng)能夠?qū)⒎?wù)交互過(guò)程形象的描述出來(lái)。SI-M模型的基本模式是將BPEL的“活動(dòng)”映射到SI-M模型，然后采用庫(kù)所結(jié)合消除的方式完成SI-M模型基本模式的嵌套迭代。
　　3）給出了一種基于SI-M模型，確保交互行為可信的計(jì)算方法。交互行為的可信結(jié)合實(shí)際的應(yīng)用可以表現(xiàn)在活性和安全性兩個(gè)方面。服務(wù)行為交互過(guò)程傳遞的元素是消息，消息序列可以表示交互的過(guò)程。結(jié)合SI-M模型性質(zhì)和Petri網(wǎng)原理，變遷序列