本文選題：代數(shù)規(guī)約　切入點(diǎn)：組合服務(wù)　出處：《計(jì)算機(jī)工程與科學(xué)》2013年02期 　論文類型：期刊論文

【摘要】：針對應(yīng)用規(guī)約自動(dòng)測試BPEL表示組合服務(wù)時(shí)需要解決BPEL服務(wù)的規(guī)約生成問題,提出了一種從BPMN模型導(dǎo)出BPEL規(guī)范定義的組合Web服務(wù)的由代數(shù)規(guī)約語言CASOCC-WS表示的代數(shù)規(guī)約方法。首先,定義從BPMN模型轉(zhuǎn)換成基調(diào)的規(guī)則和從BPMN結(jié)構(gòu)轉(zhuǎn)換成正則表達(dá)式的規(guī)則,設(shè)計(jì)由正則表達(dá)式導(dǎo)出構(gòu)成公理的項(xiàng)的算法;然后,提出根據(jù)所得的項(xiàng)人工書寫公理的啟發(fā)式規(guī)則;最后,實(shí)現(xiàn)一個(gè)從BPMN模型導(dǎo)出組合服務(wù)基調(diào)的工具原型。案例研究表明,該方法可以解決BPEL服務(wù)的代數(shù)規(guī)約生成問題。
[Abstract]:In order to solve the problem of specification generation of BPEL services when BPEL is used to represent composite services automatically, an algebraic specification language CASOCC-WS is proposed to derive composition Web services defined by BPEL specification from BPMN model. Firstly, an algebraic specification language CASOCC-WS is proposed. The rules of transforming from BPMN model to keynote and from BPMN structure to regular expression are defined, and the algorithm for deriving the term of axiom from regular expression is designed, and then the heuristic rule is proposed to manually write axioms according to the term. Finally, a tool prototype is implemented to derive the tone of composite services from the BPMN model. A case study shows that this method can solve the algebraic specification generation problem of BPEL services.
【作者單位】： 中南林業(yè)科技大學(xué)涉外學(xué)院;國防科學(xué)技術(shù)大學(xué)計(jì)算機(jī)學(xué)院;
【基金】：湖南省教育廳高校教學(xué)改革項(xiàng)目(2010-428)
【分類號(hào)】：TP393.09

【參考文獻(xiàn)】

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

1 余波;孔良;彭琛;;基于代數(shù)規(guī)約的Web服務(wù)測試[J];計(jì)算機(jī)工程;2009年21期

【共引文獻(xiàn)】

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

1 余波;王昆;;應(yīng)用代數(shù)規(guī)約和數(shù)據(jù)變異策略測試類[J];計(jì)算機(jī)工程與應(yīng)用;2011年21期

2 李銳;王三宏;范德全;蔣建春;;OSEK操作系統(tǒng)一致性測試用例的生成[J];計(jì)算機(jī)工程;2011年09期

3 余波;;面向代數(shù)規(guī)約測試謂詞/變遷網(wǎng)[J];小型微型計(jì)算機(jī)系統(tǒng);2011年09期

相關(guān)碩士學(xué)位論文 前1條

1 郝忠虎;基于正則表達(dá)式擴(kuò)展的Web服務(wù)測試用例自動(dòng)生成方法研究[D];華南理工大學(xué);2012年

【相似文獻(xiàn)】

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

1 陳彥萍;李增智;郭志勝;晉勤學(xué);王創(chuàng);;Web服務(wù)組合中基于服務(wù)質(zhì)量的服務(wù)選擇算法[J];西安交通大學(xué)學(xué)報(bào);2006年08期

2 殷榮網(wǎng);冒志建;;組合Web服務(wù)的研究現(xiàn)狀綜述[J];網(wǎng)絡(luò)與信息;2007年07期

3 艾未華;周寧;黃云仙;;一種基于語義的組合服務(wù)模板推薦算法[J];解放軍理工大學(xué)學(xué)報(bào)(自然科學(xué)版);2008年06期

4 張志民;陳昊鵬;;一種綜合評估QoS的算法研究[J];計(jì)算機(jī)應(yīng)用與軟件;2008年12期

5 代鈺;楊雷;朱志良;張斌;;避免無用重選取的QoS劣化閾值模型及計(jì)算[J];東北大學(xué)學(xué)報(bào)(自然科學(xué)版);2009年10期

6 熊云昆;孫海龍;曾晉;;支持組合服務(wù)QoS動(dòng)態(tài)優(yōu)化的服務(wù)總線[J];計(jì)算機(jī)科學(xué)與探索;2010年04期

7 蔣俊彥;李先賢;李建欣;吳茜;;SOArTester4RT:一種面向組合服務(wù)演化的高效回歸測試工具[J];微電子學(xué)與計(jì)算機(jī);2010年08期

8 武云鵬;包衛(wèi)東;張維明;黃金才;;Web服務(wù)組合系統(tǒng)研究綜述[J];計(jì)算機(jī)科學(xué);2011年09期

9 代鈺;楊雷;張斌;高巖;;支持組合服務(wù)選取的QoS模型及優(yōu)化求解[J];計(jì)算機(jī)學(xué)報(bào);2006年07期

10 郝榮霞;王金才;朱志;;comFlow:一個(gè)支持Web服務(wù)動(dòng)態(tài)組合的原型系統(tǒng)[J];計(jì)算機(jī)工程與設(shè)計(jì);2007年05期

相關(guān)會(huì)議論文 前10條

1 袁陽;閆鶯;岳昆;王曉玲;周傲英;;質(zhì)量驅(qū)動(dòng)的頻繁組合服務(wù)選擇[A];第二十一屆中國數(shù)據(jù)庫學(xué)術(shù)會(huì)議論文集（技術(shù)報(bào)告篇）[C];2004年

2 李飛;張斌;葛亮;孫若男;;面向組合服務(wù)自適應(yīng)執(zhí)行的環(huán)境感知引擎[A];CCF NCSC 2011——第二屆中國計(jì)算機(jī)學(xué)會(huì)服務(wù)計(jì)算學(xué)術(shù)會(huì)議論文集[C];2011年

3 蔣俊彥;李先賢;李建欣;吳茜;;SOArTester4RT:一種面向組合服務(wù)演化的高效回歸測試工具[A];2010年全國開放式分布與并行計(jì)算機(jī)學(xué)術(shù)會(huì)議論文集[C];2010年

4 張文濤;彭泳;陳俊亮;;會(huì)話類E-Service的接口兼容分析[A];2006年全國通信軟件學(xué)術(shù)會(huì)議論文集[C];2006年

5 周偉;楊正球;;組合服務(wù)中QoS全局最優(yōu)服務(wù)選擇算法的改進(jìn)[A];中國電子學(xué)會(huì)第十六屆信息論學(xué)術(shù)年會(huì)論文集[C];2009年

6 劉青;連祥鑒;;基于上下文的Web服務(wù)動(dòng)態(tài)組合[A];2008年全國開放式分布與并行計(jì)算機(jī)學(xué)術(shù)會(huì)議論文集(上冊)[C];2008年

7 張文濤;詹舒波;陳俊亮;;異步環(huán)境中的服務(wù)接口兼容分析[A];2006年首屆ICT大會(huì)信息、知識(shí)、智能及其轉(zhuǎn)換理論第一次高峰論壇會(huì)議論文集[C];2006年

8 仲晶;黃志球;;面向服務(wù)質(zhì)量的Web服務(wù)選擇方法：研究綜述[A];2008通信理論與技術(shù)新發(fā)展——第十三屆全國青年通信學(xué)術(shù)會(huì)議論文集（下）[C];2008年

9 馬雅凡;王海洋;隋琪;;基于QoS的服務(wù)選擇研究[A];2005通信理論與技術(shù)新進(jìn)展——第十屆全國青年通信學(xué)術(shù)會(huì)議論文集[C];2005年

10 蔣玉婷;李必信;;基于變異思想測試OWL-S工作流[A];第六屆中國測試學(xué)術(shù)會(huì)議論文集[C];2010年

相關(guān)重要報(bào)紙文章 前1條

1 李巍;構(gòu)建下一代軟件架構(gòu)[N];中國計(jì)算機(jī)報(bào);2004年

相關(guān)博士學(xué)位論文 前10條

1 張龍昌;面向復(fù)雜上下文的組合服務(wù)決策方法研究[D];北京郵電大學(xué);2011年

2 周航;基于質(zhì)量有色Petri網(wǎng)的Web組合服務(wù)建模與沖突、沖撞研究[D];南京航空航天大學(xué);2009年

3 陳蕾蕾;SOA中服務(wù)質(zhì)量建模、預(yù)測及保障[D];復(fù)旦大學(xué);2012年

4 劉必欣;動(dòng)態(tài)Web服務(wù)組合關(guān)鍵技術(shù)研究[D];國防科學(xué)技術(shù)大學(xué);2005年

5 吳釗;保證服務(wù)質(zhì)量的動(dòng)態(tài)Web服務(wù)組合及其性能分析研究[D];武漢大學(xué);2007年

6 葉力;Semantic Web Services的自動(dòng)化組合技術(shù)[D];北京郵電大學(xué);2008年

7 吳江霞;Web組合服務(wù)QoS屬性預(yù)測方法研究[D];北京郵電大學(xué);2008年

8 黃緯;上下文感知的普適服務(wù)組合研究[D];江蘇大學(xué);2008年

9 李飛;Web服務(wù)的分布式QoS管理及其關(guān)鍵技術(shù)研究[D];北京郵電大學(xué);2008年

10 張艷梅;基于覆蓋網(wǎng)絡(luò)的服務(wù)組合關(guān)鍵技術(shù)研究[D];中國礦業(yè)大學(xué)（北京）;2010年

相關(guān)碩士學(xué)位論文 前10條

1 李飛;面向組合服務(wù)自適應(yīng)的環(huán)境感知方法的研究與實(shí)現(xiàn)[D];東北大學(xué);2010年

2 孫若男;面向組合服務(wù)自適應(yīng)執(zhí)行的服務(wù)選取方法[D];東北大學(xué);2010年

3 汪檢躍;面向服務(wù)環(huán)境的組合服務(wù)計(jì)費(fèi)方法研究[D];浙江大學(xué);2011年

4 張躍;基于可信度的組合服務(wù)自適應(yīng)維護(hù)方法研究[D];遼寧大學(xué);2011年

5 劉文昱;自適應(yīng)組合服務(wù)執(zhí)行調(diào)整機(jī)制的研究與實(shí)現(xiàn)[D];東北大學(xué);2011年

6 張翔宇;支持多策略的組合服務(wù)運(yùn)行時(shí)環(huán)境自適應(yīng)機(jī)制研究[D];東北大學(xué);2010年

7 柏越;環(huán)境自適應(yīng)組合服務(wù)的執(zhí)行環(huán)境可用性評價(jià)方法[D];東北大學(xué);2010年

8 劉靜;WEB組合服務(wù)框架優(yōu)化模型的研究及其系統(tǒng)實(shí)現(xiàn)[D];中南大學(xué);2011年

9 李正;面向SOA的組合服務(wù)自恢復(fù)技術(shù)研究[D];國防科學(xué)技術(shù)大學(xué);2011年

10 潘迪宏;基于D-S證據(jù)理論的可信組合服務(wù)研究[D];中南大學(xué);2012年

，

本文編號(hào)：1595756