本文關鍵詞：約束有界模理論非集式Web服務自動機檢測

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

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

【相似文獻】

中國期刊全文數據庫 前10條

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

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

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

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

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

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

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

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

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

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

中國重要會議論文全文數據庫 前3條

1 西廣成;;抽象神經自動機演化過程中熵極限性質[A];1999年中國神經網絡與信號處理學術會議論文集[C];1999年

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

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

中國博士學位論文全文數據庫 前10條

1 田徑;關于自動機代數理論的研究[D];西北大學;2012年

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

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

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

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

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

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

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

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

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

中國碩士學位論文全文數據庫 前10條

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

2 朱鏡儒;光伏電源三相混聯接入系統混成自動機控制研究[D];長沙理工大學;2014年

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

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

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

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

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

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

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

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

，

本文編號：531285