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

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

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

【相似文獻(xiàn)】

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

，

本文編號：531285