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

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

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

【相似文獻(xiàn)】

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

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

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

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

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

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

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

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

8 曾偉;胡W，

本文編號(hào)：743260