發(fā)布時間：2017-07-07 18:14

  本文關(guān)鍵詞：約束有界模理論非集式Web服務(wù)自動機檢測

  更多相關(guān)文章： 自動機模理論 Web服務(wù) 有界狀態(tài) 自動檢測

【摘要】：在Web服務(wù)檢測模型實際使用過程中,普通的狀態(tài)機有界狀態(tài)組合形式不能確保Web服務(wù)組合的準(zhǔn)確和有效性,對此提出非集式可滿足自動機模理論(SMT),并將其應(yīng)用到Web模型服務(wù)檢測過程中。首先,基于SMT算法實現(xiàn)時序有界自動機檢測模型,將時序有界自動機轉(zhuǎn)變?yōu)榭勺R別SMT公式邏輯,并對其模型參數(shù)進行求解;其次,基于時序SMT自動機模型,對單位職工出差進行組合安排,并結(jié)合Web服務(wù)模型進行檢測和算法驗證;最后,通過實驗對比,表明約束有界模理論非集式Web服務(wù)自動機檢測算法,能夠有效對路徑死鎖進行解耦,并且可有效實現(xiàn)網(wǎng)絡(luò)指標(biāo)參數(shù)優(yōu)化。
【作者單位】： 重慶旅游職業(yè)學(xué)院公共基礎(chǔ)部;華中科技大學(xué)軟件學(xué)院;
【關(guān)鍵詞】： 自動機模理論 Web服務(wù) 有界狀態(tài) 自動檢測
【基金】：國家自然科學(xué)基金(11104320)
【分類號】：TP393.09
【正文快照】： 1引言在Internet網(wǎng)絡(luò)應(yīng)用中,可利用的Web服務(wù)通常以分布形式存在,可以組成應(yīng)用分布式服務(wù)結(jié)構(gòu)體系[1]。上述Web服務(wù)通常在工作流基礎(chǔ)上實現(xiàn),以實現(xiàn)Web基本組合的增值服務(wù),構(gòu)建各種分布服務(wù)器的調(diào)用服務(wù)組合。普通的工作流實現(xiàn)調(diào)用方式為集中組合方式,該方式需在Web服務(wù)運行階

【相似文獻(xiàn)】

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

1 宋文,嚴(yán)兵,潘世永;對自動機與形式語言中幾個問題的思考[J];四川工業(yè)學(xué)院學(xué)報;2002年04期

2 劉光武;石曉龍;許進;;賦權(quán)型自動機的不同模型研究[J];計算機工程與應(yīng)用;2006年11期

3 蔡國永;錢俊彥;;關(guān)于形式語言與自動機理論的教學(xué)方法探討[J];高教論壇;2008年04期

4 郭瑞楓;;半自動機理論在(漢字)辭庫建造中的應(yīng)用[J];南京大學(xué)學(xué)報(自然科學(xué)版);1984年03期

5 邱道文;量子自動機的刻畫[J];軟件學(xué)報;2003年01期

6 周清雷;朱維軍;趙東明;;時間ω-樹自動機識別語言的一個條件[J];信陽師范學(xué)院學(xué)報(自然科學(xué)版);2006年04期

7 謝清;譚建榮;馮毅雄;;基于自動機的可配置產(chǎn)品功構(gòu)映射過程研究[J];計算機集成制造系統(tǒng);2007年09期

8 趙嶺忠;王雪松;錢俊彥;;改進形式語言與自動機理論課程教學(xué)芻議[J];高教論壇;2008年03期

9 錢俊彥;趙嶺忠;;基于自動機理論的符號模型檢驗[J];蘭州理工大學(xué)學(xué)報;2008年05期

10 劉建國;袁志斌;;基于左右語言的狀態(tài)遷移系統(tǒng)的優(yōu)化[J];計算機科學(xué);2009年05期

中國重要會議論文全文數(shù)據(jù)庫 前3條

1 西廣成;;抽象神經(jīng)自動機演化過程中熵極限性質(zhì)[A];1999年中國神經(jīng)網(wǎng)絡(luò)與信號處理學(xué)術(shù)會議論文集[C];1999年

2 蘇仕云;郭瑞強;樂嘉錦;;有窮狀態(tài)自動機在商業(yè)邏輯建模中的應(yīng)用[A];第十九屆全國數(shù)據(jù)庫學(xué)術(shù)會議論文集（研究報告篇）[C];2002年

3 陽斌;秦琳琳;吳剛;;基于混雜自動機的溫室溫度系統(tǒng)建模與控制[A];中國自動化學(xué)會控制理論專業(yè)委員會D卷[C];2011年

中國博士學(xué)位論文全文數(shù)據(jù)庫 前10條

1 田徑;關(guān)于自動機代數(shù)理論的研究[D];西北大學(xué);2012年

2 劉光武;自動機狀態(tài)復(fù)雜度及模型研究[D];華中科技大學(xué);2007年

3 文艷軍;基于接口自動機的組合驗證方法研究[D];國防科學(xué)技術(shù)大學(xué);2005年

4 張薇;自動機和鏈編碼的理論研究與應(yīng)用[D];華東師范大學(xué);2006年

5 李丹美;模糊離散事件自動機組合的控制與切換[D];東華大學(xué);2009年

6 陳文宇;形式語言與自動機理論若干問題研究[D];電子科技大學(xué);2009年

7 韓召偉;幾類基于量子邏輯的自動機的代數(shù)及邏輯刻畫[D];陜西師范大學(xué);2011年

8 沈潔;基于自動機的XML數(shù)據(jù)過濾研究[D];哈爾濱工程大學(xué);2010年

9 巨志勇;基于動態(tài)系統(tǒng)計算的數(shù)字圖像處理[D];同濟大學(xué);2007年

10 袁志斌;基于模擬理論的模型檢測研究[D];華中科技大學(xué);2007年

中國碩士學(xué)位論文全文數(shù)據(jù)庫 前10條

1 陳晴雷;量子自動機的乘積研究[D];四川師范大學(xué);2012年

2 朱鏡儒;光伏電源三相混聯(lián)接入系統(tǒng)混成自動機控制研究[D];長沙理工大學(xué);2014年

3 周戈;基于運行時驗證的監(jiān)控器生成技術(shù)研究[D];國防科學(xué)技術(shù)大學(xué);2014年

4 宋俊;LTLNFBA:LTL公式到Büchi自動機的轉(zhuǎn)換[D];西安電子科技大學(xué);2014年

5 趙庚兵;基于自動機理論的軟件項目進度監(jiān)控方法研究[D];廣東工業(yè)大學(xué);2016年

6 高璞;基于白血病的生物分子多狀態(tài)自動機[D];北京工業(yè)大學(xué);2007年

7 張柯柯;回溯自動機的文法、機器模型及其在解析器中的應(yīng)用[D];西安電子科技大學(xué);2014年

8 李琳娜;公式時鐘自動機[D];鄭州大學(xué);2005年

9 秦永彬;等價性在自動機極小化中的應(yīng)用[D];貴州大學(xué);2007年

10 張瑞民;格值樹自動機的最小化[D];陜西師范大學(xué);2011年

，

本文編號：531285