服務行為交互模型及可信計算方法研究.pdf

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

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

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