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

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

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