版權說明:本文檔由用戶提供并上傳,收益歸屬內容提供方,若內容存在侵權,請進行舉報或認領
文檔簡介
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)原理,變遷序列
溫馨提示
- 1. 本站所有資源如無特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請聯(lián)系上傳者。文件的所有權益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁內容里面會有圖紙預覽,若沒有圖紙預覽就沒有圖紙。
- 4. 未經權益所有人同意不得將文件中的內容挪作商業(yè)或盈利用途。
- 5. 眾賞文庫僅提供信息存儲空間,僅對用戶上傳內容的表現(xiàn)方式做保護處理,對用戶上傳分享的文檔內容本身不做任何修改或編輯,并不能對任何下載內容負責。
- 6. 下載文件中如有侵權或不適當內容,請與我們聯(lián)系,我們立即糾正。
- 7. 本站不保證下載資源的準確性、安全性和完整性, 同時也不承擔用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。
最新文檔
- 基于語義的服務行為交互適配模型研究.pdf
- 可信計算環(huán)境遠程進程行為證明機制研究.pdf
- 可信計算中遠程認證方法的研究.pdf
- 可信計算模型節(jié)點重配置的研究與應用.pdf
- 可信計算平臺完整性度量及實體行為度量研究.pdf
- 可信計算平臺中TOCTOU攻擊的響應方法.pdf
- 淺議可信計算的研究與發(fā)展
- 可信計算環(huán)境安全技術研究.pdf
- 淺議可信計算的研究與發(fā)展
- 基于可信計算平臺的多級安全模型的研究和實現(xiàn).pdf
- 基于可信計算平臺的多級安全模型的研究和實現(xiàn)
- 基于可信計算和神經網(wǎng)絡的Bootkit檢測模型研究.pdf
- 基于可信計算的層次共享組訪問控制模型的研究.pdf
- 基于語義web服務的軟件可信性計算方法研究.pdf
- 可信計算模式研究與模塊實現(xiàn).pdf
- 基于用戶偏好和可信計算的Web服務選擇研究.pdf
- 移動可信計算機制研究.pdf
- 可信計算的動態(tài)遠程證明研究.pdf
- 可信計算平臺的匿名認證研究.pdf
- 基于可信計算理論的豬肉安全追溯系統(tǒng)安全模型研究.pdf
評論
0/150
提交評論