约束有界模理论非集式Web服务自动机检测

发布时间：2017-07-07 18:14

  本文关键词：约束有界模理论非集式Web服务自动机检测

  更多相关文章： 自动机模理论 Web服务 有界状态 自动检测

【摘要】：在Web服务检测模型实际使用过程中,普通的状态机有界状态组合形式不能确保Web服务组合的准确和有效性,对此提出非集式可满足自动机模理论(SMT),并将其应用到Web模型服务检测过程中。首先,基于SMT算法实现时序有界自动机检测模型,将时序有界自动机转变为可识别SMT公式逻辑,并对其模型参数进行求解;其次,基于时序SMT自动机模型,对单位职工出差进行组合安排,并结合Web服务模型进行检测和算法验证;最后,通过实验对比,表明约束有界模理论非集式Web服务自动机检测算法,能够有效对路径死锁进行解耦,并且可有效实现网络指标参数优化。
【作者单位】： 重庆旅游职业学院公共基础部;华中科技大学软件学院;
【关键词】： 自动机模理论 Web服务 有界状态 自动检测
【基金】：国家自然科学基金(11104320)
【分类号】：TP393.09
【正文快照】： 1引言在Internet网络应用中,可利用的Web服务通常以分布形式存在,可以组成应用分布式服务结构体系[1]。上述Web服务通常在工作流基础上实现,以实现Web基本组合的增值服务,构建各种分布服务器的调用服务组合。普通的工作流实现调用方式为集中组合方式,该方式需在Web服务运行阶

【相似文献】

中国期刊全文数据库 前10条

1 宋文,严兵,潘世永;对自动机与形式语言中几个问题的思考[J];四川工业学院学报;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 刘建国;袁志斌;;基于左右语言的状态迁移系统的优化[J];计算机科学;2009年05期

中国重要会议论文全文数据库 前3条

1 西广成;;抽象神经自动机演化过程中熵极限性质[A];1999年中国神经网络与信号处理学术会议论文集[C];1999年

2 苏仕云;郭瑞强;乐嘉锦;;有穷状态自动机在商业逻辑建模中的应用[A];第十九届全国数据库学术会议论文集（研究报告篇）[C];2002年

3 阳斌;秦琳琳;吴刚;;基于混杂自动机的温室温度系统建模与控制[A];中国自动化学会控制理论专业委员会D卷[C];2011年

中国博士学位论文全文数据库 前10条

1 田径;关于自动机代数理论的研究[D];西北大学;2012年

2 刘光武;自动机状态复杂度及模型研究[D];华中科技大学;2007年

3 文艳军;基于接口自动机的组合验证方法研究[D];国防科学技术大学;2005年

4 张薇;自动机和链编码的理论研究与应用[D];华东师范大学;2006年

5 李丹美;模糊离散事件自动机组合的控制与切换[D];东华大学;2009年

6 陈文宇;形式语言与自动机理论若干问题研究[D];电子科技大学;2009年

7 韩召伟;几类基于量子逻辑的自动机的代数及逻辑刻画[D];陕西师范大学;2011年

8 沈洁;基于自动机的XML数据过滤研究[D];哈尔滨工程大学;2010年

9 巨志勇;基于动态系统计算的数字图像处理[D];同济大学;2007年

10 袁志斌;基于模拟理论的模型检测研究[D];华中科技大学;2007年

中国硕士学位论文全文数据库 前10条

1 陈晴雷;量子自动机的乘积研究[D];四川师范大学;2012年

2 朱镜儒;光伏电源三相混联接入系统混成自动机控制研究[D];长沙理工大学;2014年

3 周戈;基于运行时验证的监控器生成技术研究[D];国防科学技术大学;2014年

4 宋俊;LTLNFBA:LTL公式到Büchi自动机的转换[D];西安电子科技大学;2014年

5 赵庚兵;基于自动机理论的软件项目进度监控方法研究[D];广东工业大学;2016年

6 高璞;基于白血病的生物分子多状态自动机[D];北京工业大学;2007年

7 张柯柯;回溯自动机的文法、机器模型及其在解析器中的应用[D];西安电子科技大学;2014年

8 李琳娜;公式时钟自动机[D];郑州大学;2005年

9 秦永彬;等价性在自动机极小化中的应用[D];贵州大学;2007年

10 张瑞民;格值树自动机的最小化[D];陕西师范大学;2011年

，

本文编号：531285