SMT有界约束非集中自动机web服务模型检测

韦容; 申希兵; 杨毅

首页> 中文期刊> 《系统仿真学报》 >SMT有界约束非集中自动机web服务模型检测

SMT有界约束非集中自动机web服务模型检测

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

针对web服务模型检测应用中,传统的有限状态机的组合方式无法保证Web组合服务的正确性问题,提出一种基于可满足性模理论(satisfiability modulo theories,SMT)的非集中自动机的web服务模型检测算法。利用SMT对时间自动机进行有界模型检测,将时间自动机模型直接转换成SMT可识别的逻辑公式,并进行求解;利用所提SMT时间自动机理论,实现对雇员出差安排组合web服务进行建模和验证;通过实例分析,验证了算法在解除路径死锁及网络参数指标优化上的有效性。

著录项

来源
《系统仿真学报》 |2016年第9期|2283-2288|共6页
作者
韦容; 申希兵; 杨毅;
展开▼
作者单位

钦州学院人文学院;

广西科技大学软件学院;

展开▼
原文格式 PDF
正文语种 chi
中图分类信息处理（信息加工）;
关键词
可满足性模理论; 自动机; WEB服务; 模型检测; 大数据;

相似文献

中文文献
外文文献
专利

1. 使用事件自动机规约的C语言有界模型检测∗ [J] . 阚双龙 ,黄志球 ,陈哲 . 软件学报 . 2014,第011期
2. 基于Yices对时间自动机的有界模型检测 [J] . 王晓亮 . 计算机工程与设计 . 2010,第001期
3. 基于时间自动机的Web服务模型检测 [J] . 骆翔宇 ,轩爱成 ,沙宗鲁 . 计算机科学 . 2010,第008期
4. 基于接口自动机的BPEL4WS Web服务组合形式化模型 [J] . 苏焕程 ,黄志球 ,刘林源 . 计算机应用研究 . 2009,第005期
5. 大规模有界约束优化中带非单调线搜索的子空间有限记忆BFGS方法 [J] . 杨素敏 . 科技信息 . 2012,第13期
6. 基于有界模型检验的Web服务组合 [C] . 方志 ,廖乐健 ,陈若愚 . 第一届全国服务计算学术会议 . 2010
7. 基于时间自动机的Web服务模型检测 [A] . 轩爱成 . 2010

SMT有界约束非集中自动机web服务模型检测

摘要

著录项

相似文献

相关主题

期刊订阅