發(fā)布時間：2017-08-26 23:34

  本文關(guān)鍵詞：時間約束條件下web服務(wù)組合的形式化分析與驗證

  更多相關(guān)文章： 服務(wù)組合 形式化方法 時間自動機 UPPAAL 模型檢查

【摘要】：隨著Web技術(shù)和商業(yè)應(yīng)用的快速發(fā)展,Web服務(wù)組合技術(shù)已成構(gòu)建電子商務(wù)應(yīng)用的主要方法之一。當前,為適應(yīng)快速變化的商業(yè)環(huán)境,對商業(yè)應(yīng)用提出了實時性的要求,即限定服務(wù)的行為必須滿足給定的時間約束條件。文中提出了一種形式化方法,用于分析與驗證Web服務(wù)組合的時間約束行為。首先,擴展了Web服務(wù)接口描述語言,增加對時間約束的描述,然后定義一種時間行為自動機,用于刻畫Web服務(wù)組合的時間行為,最終利用模型驗證技術(shù)來自動驗證這些行為是否滿足給定的時間屬性。通過對股票分析應(yīng)用場景以及使用UPPAAL模型驗證工具,表明該方法的可行性和有效性。
【作者單位】： 莆田學(xué)院信息工程學(xué)院;
【關(guān)鍵詞】： 服務(wù)組合 形式化方法 時間自動機 UPPAAL 模型檢查
【基金】：福建省中青年教師教育科研項目(A類)(JA14279) 莆田市科技項目(2014G16) 莆田學(xué)院教育教學(xué)改革研究項目(JG2012006)資助
【分類號】：TP393.09
【正文快照】： 在分布式計算和電子商務(wù)中,面向服務(wù)計算(Service-Oriented Computing,SOC)已成為一個典型的應(yīng)用范例[1],它將可用的服務(wù)通過組合的方式來快速構(gòu)建復(fù)雜的應(yīng)用。Web服務(wù)應(yīng)用就是采用SOC的思想:首先,可用的服務(wù)是基于標準的Web服務(wù)定義語言(Web Services Description Lan-guage,

【相似文獻】

中國期刊全文數(shù)據(jù)庫 前10條

1 孫潔麗;龔立群;;Web服務(wù)組合標準規(guī)范的研究[J];現(xiàn)代圖書情報技術(shù);2007年05期

2 萬里平;蔡美玲;高春鳴;;基于服務(wù)聯(lián)盟的Web服務(wù)組合模型及方法[J];計算機工程與應(yīng)用;2007年31期

3 郭峰;張萌;;Web服務(wù)組合的可靠性分析[J];系統(tǒng)仿真學(xué)報;2008年S2期

4 程永上;王志堅;;Web服務(wù)組合在水利領(lǐng)域中的應(yīng)用[J];計算機工程與應(yīng)用;2008年07期

5 陳世展;馮志勇;;服務(wù)網(wǎng)絡(luò):Web服務(wù)組合的新基點[J];計算機應(yīng)用研究;2008年05期

6 劉志紅;;Web服務(wù)組合的相關(guān)研究[J];農(nóng)業(yè)科技與裝備;2009年01期

7 熊偉;;Web服務(wù)組合綜述[J];信息化縱橫;2009年05期

8 曾偉;胡W，

本文編號：743260