本文關(guān)鍵詞：Web服務(wù)流程的結(jié)構(gòu)范式及其判定算法　出處：《計(jì)算機(jī)學(xué)報(bào)》2015年01期 　論文類型：期刊論文

  更多相關(guān)文章： Web服務(wù) 結(jié)構(gòu)范式 邏輯Petri網(wǎng) 服務(wù)網(wǎng) 健壯性

【摘要】：服務(wù)組合是一種利用已有Web服務(wù)構(gòu)建新的增值服務(wù)的有效方法,然而當(dāng)前缺乏對組合產(chǎn)生的服務(wù)流程進(jìn)行結(jié)構(gòu)健壯性層次劃分和判定的準(zhǔn)則.針對上述問題,提出Web服務(wù)流程結(jié)構(gòu)范式,從路徑的可達(dá)性和結(jié)構(gòu)冗余性兩個角度將結(jié)構(gòu)范式劃分為四個層次.基于邏輯Petri網(wǎng)建模服務(wù)流程為服務(wù)網(wǎng),將服務(wù)流程結(jié)構(gòu)范式的判定轉(zhuǎn)化為對服務(wù)網(wǎng)組成結(jié)構(gòu)的分析.在服務(wù)網(wǎng)的基礎(chǔ)上構(gòu)建控制流網(wǎng),從而將服務(wù)流程中的控制流和數(shù)據(jù)流進(jìn)行分離.定義了控制流網(wǎng)語言,并提出一種通過約簡求解控制流網(wǎng)語言的方法.通過對控制流網(wǎng)語言中字符序列組成結(jié)構(gòu)特征的分析,獲取服務(wù)網(wǎng)的結(jié)構(gòu)性質(zhì),完成對服務(wù)流程結(jié)構(gòu)范式層次的判定.給出了服務(wù)流程結(jié)構(gòu)范式的定義、判定定理以及算法,并通過實(shí)例驗(yàn)證了文中方法對流程結(jié)構(gòu)范式進(jìn)行判定的可行性和有效性.
[Abstract]:Service composition is an effective way to construct new value-added services by using the existing Web services, but the lack of the combination of service flow structure hierarchy and robustness criteria. Aiming at these problems, put forward the Web service flow structure paradigm, from the path of accessibility and redundancy structure of the two perspectives of structure paradigm divided into four levels. The logical Petri net modeling service flow based on service network, the service flow structure paradigm judgment into the structure analysis of the service network. Construction control net based on service network, which will control the flow and data of service process flow separation. The definition of control net language. And put forward a method to control the net language through the reduction of solution. Through the analysis of structure characteristics of character control net language sequence, structure and properties of network access services, Determine the service process structure paradigm level. Definition of the service flow structure paradigm, theorems and algorithms, and proves the method to determine the feasibility and effectiveness of the process structure paradigm.

【作者單位】： 青島科技大學(xué)信息科學(xué)技術(shù)學(xué)院;山東科技大學(xué)信息科學(xué)與工程學(xué)院;
【基金】：國家“九七三”重點(diǎn)基礎(chǔ)研究發(fā)展規(guī)劃項(xiàng)目基金(2010CB328101) 國家自然科學(xué)基金(61170078,61273180) 教育部高等學(xué)校博士學(xué)科點(diǎn)專項(xiàng)科研基金(20113718110004) 山東省自然基金項(xiàng)目(ZR2012FL17) 青島市科技計(jì)劃基礎(chǔ)研究項(xiàng)目(13-1-4-116-jch) 山東科技大學(xué)科研創(chuàng)新團(tuán)隊(duì)支持計(jì)劃項(xiàng)目(2011KYTD102)資助~~
【分類號】：TP393.09
【正文快照】： 1引言隨著云計(jì)算、物聯(lián)網(wǎng)以及移動互聯(lián)網(wǎng)等新一代信息技術(shù)的成熟與應(yīng)用的普及,軟件開發(fā)和交付模式呈現(xiàn)出明顯的服務(wù)化特征.作為一種成熟的服務(wù)計(jì)算實(shí)現(xiàn)模式,Web服務(wù)是SOA模式軟件開發(fā)的首選.Web服務(wù)在網(wǎng)絡(luò)化軟件的構(gòu)建中存在兩種使用方式:原子Web服務(wù)調(diào)用和組合Web服務(wù)流程.通

【參考文獻(xiàn)】

相關(guān)期刊論文 前6條

1 李喜彤;范玉順;;Web服務(wù)流程相容性和相似性分析[J];計(jì)算機(jī)學(xué)報(bào);2009年12期

2 林闖;萬劍雄;向旭東;孟坤;王元卓;;計(jì)算機(jī)系統(tǒng)與計(jì)算機(jī)網(wǎng)絡(luò)中的動態(tài)優(yōu)化:模型、求解與應(yīng)用[J];計(jì)算機(jī)學(xué)報(bào);2012年07期

3 宋巍;唐金輝;張功萱;馬曉星;;WS-BPEL服務(wù)可替換性分析[J];中國科學(xué):信息科學(xué);2012年03期

4 雷麗暉;段振華;;一種基于擴(kuò)展有限自動機(jī)驗(yàn)證組合Web服務(wù)的方法[J];軟件學(xué)報(bào);2007年12期

5 鄧水光;李瑩;吳健;鄺礫;吳朝暉;;Web服務(wù)行為兼容性的判定與計(jì)算[J];軟件學(xué)報(bào);2007年12期

6 門鵬;段振華;;廣義隨機(jī)Petri網(wǎng)下的組合Web服務(wù)建模與評價[J];西安交通大學(xué)學(xué)報(bào);2008年08期

【共引文獻(xiàn)】

相關(guān)期刊論文 前10條

1 金f，

本文編號：1405963