大粒度服務組合驗證工具的設計與實現(xiàn).pdf

1、大粒度服務作為服務計算領域一個新興的研究領域，受到了越來越多的關注。大粒度服務的出現(xiàn)和應用加強了互聯(lián)網(wǎng)環(huán)境中服務共享、重用和集成的能力。為用戶快速構建復雜系統(tǒng)提供了一種新的行之有效的手段。但是由于大粒度服務不僅包含服務的輸入、輸出、消息、操作等靜態(tài)的服務語法和語義信息，而且還包含了諸多動態(tài)屬性，如服務的內(nèi)部控制流、數(shù)據(jù)流、交互協(xié)議、狀態(tài)變遷等，因此大粒度服務無論在最初的建模過程中，還是之后的大粒度服務組合過程中，大粒度服務之間或者大粒度

2、服務和原子服務之間的交互行為都具有更加復雜的過程。因此，研究大粒度服務的建模、組合、驗證、適配等，提出一套支持大粒度服務的服務開發(fā)環(huán)境和運行環(huán)境，是大粒度服務能否得到廣泛認同和應用的關鍵。本文在研究大粒度服務目前國內(nèi)外研究狀況的基礎上，在大粒度服務描述語言、大粒度服務建模和大粒度服務模型驗證這三個方面開展了一些初步的研究工作。
　　 提出了一種刻畫大粒度服務模型的描述語言CGSL，不僅刻畫大粒度服務模型的功能、接口等信息，還可以

3、刻畫大粒度服務執(zhí)行過程中的狀態(tài)和狀態(tài)變遷，內(nèi)部的約束條件和語義推理信息等。
　　 提出了一種基于Petri網(wǎng)的大粒度服務形式化描述模型CGPN，對大粒度服務內(nèi)部的流程和狀態(tài)進行了形式化表達，并且借助Petri網(wǎng)可覆蓋圖的分析方法、基于矩陣的分析方法，檢查CGPN網(wǎng)的安全性、遷移的活性等特性，進而驗證大粒度服務模型的內(nèi)部流程的安全性、可執(zhí)行性和大粒度服務間簡單交互行為的兼容性。
　　 最后本文根據(jù)大粒度服務建模和驗證的需求