基于模型检测的服务规则路由正确性验证方法

发布时间：2017-07-17 02:02

  本文关键词：基于模型检测的服务规则路由正确性验证方法

  更多相关文章： 正确性验证 企业服务总线 消息路由 模型检测 规则引擎

【摘要】：基于模型检测技术,提出了一种适用于集成了规则引擎的企业服务总线中的消息规则路由的正确性验证方法。首先将基于规则的消息路由转换为服务模型六元组,然后再将服务模型六元组转换为NuSMV输入程序,最后通过NuSMV工具实现自动化验证。给出了一个贷款审批业务的服务规则。路由的正确性验证实例证明了该方法的可行性。
【作者单位】： 杭州电子科技大学计算机学院;浙江省网络系统及信息安全重点实验室;
【关键词】： 正确性验证 企业服务总线 消息路由 模型检测 规则引擎
【基金】：国家自然科学基金(61100043) 浙江省自然科学基金(LY12F02003) 浙江省重大科技计划(2008C11099-1) 浙江省网络系统及信息安全重点实验室基金
【分类号】：TP393.09
【正文快照】： 企业服务总线(enterprise service bus,ESB)作为SOA(service oriented architecture)架构主要的基础设施,已经应用在电信、金融等多个领域。当使用ESB集成应用系统时,各个应用将自己的业务功能封装为服务部署在总线上,不同应用之间的交互通过服务的组合和交互完成,具体的传输

【参考文献】

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

1 张广泉;戎玫;朱雪阳;何亚丽;石慧娟;;基于XYZ/ADL的Web服务组合描述与验证[J];电子学报;2011年S1期

2 王雷;陈归;金茂忠;;基于约束分析与模型检测的代码安全漏洞检测方法研究[J];计算机研究与发展;2011年09期

3 杨娟;曹健;;基于规则的服务流程配置模型与系统[J];计算机集成制造系统;2009年08期

4 张阳;程亮;;一种基于指针逻辑的代码安全属性分析方法[J];计算机学报;2009年06期

5 骆翔宇;谭征;苏开乐;吴立军;;一种基于认知模型检测的Web服务组合验证方法[J];计算机学报;2011年06期

6 周从华;;一种基于满足性判定的并发软件验证策略(英文)[J];软件学报;2009年06期

7 桂盛霖;罗蕾;李允;于淼;徐建华;;基于自动机理论的分布式实时调度分析工具[J];软件学报;2011年06期

【共引文献】

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

1 徐猛;崔立真;李庆忠;;基于扩展图规划的Top-K服务组合方法研究[J];电子学报;2012年07期

2 徐丙凤;黄志球;胡军;魏欧;肖芳雄;;一种状态事件故障树的定量分析方法[J];电子学报;2013年08期

3 周亮;曹健;陈姣娟;;软件即服务流程模型的自动演化[J];计算机集成制造系统;2011年08期

4 王伟然;范玉顺;;业务服务配置模型与运行机制[J];计算机集成制造系统;2011年12期

5 王环环;詹永照;陈锦富;;可信软件分析与测试研究进展[J];计算机应用研究;2011年07期

6 岳昆;杨彦超;田凯琳;;基于历史调用日志分析的Web服务间语义相关性发现[J];计算机应用与软件;2012年06期

7 金仙力;杨庚;;一种基于ODE的服务组合自动化部署方案[J];计算机与数字工程;2012年10期

8 李允;桂盛霖;陈更;罗蕾;;嵌入式实时软件模型开发环境研究[J];计算机科学;2012年S3期

9 曹帅;王淑营;刘述雅;;面向产业链协同SaaS平台的业务流程定制技术[J];计算机应用;2013年05期

10 赵利民;赵玉祥;;C指针安全性的分析检测[J];天水师范学院学报;2011年02期

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

1 覃健诚;网络多层纵深防御体系的关键技术研究[D];北京邮电大学;2011年

2 梁晓兵;面向二进制程序漏洞挖掘的相关技术研究[D];北京邮电大学;2012年

3 吕国斌;云计算环境下的科学工作流关键技术研究[D];中国地质大学;2012年

4 田伟;模型驱动的web应用SQL注入安全漏洞渗透测试研究[D];南开大学;2012年

5 林跃东;语义Web服务组合关键技术研究及其在物联网中的应用[D];华南理工大学;2013年

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

1 赵馨智;基于知识管理的流程设计与优化方法研究[D];山东大学;2011年

2 胡勇;通机产品售后质量反馈信息网络化协同处理支持系统[D];重庆大学;2011年

3 周亮;基于规则的SaaS业务流程定制和挖掘[D];上海交通大学;2012年

4 龚河超;基于SCA松耦合应用研究[D];辽宁科技大学;2012年

5 谭宇思;支持快速设计的注塑机产品设计平台的设计、开发和应用[D];浙江大学;2012年

6 李晓聪;基于模型检测的空间访问控制系统规则验证[D];江苏大学;2010年

7 牟小玲;基于扩展着色Petri网的服务组合测试研究[D];西南大学;2012年

8 狄浩军;数据和时间感知的Web服务组合形式化建模与验证研究[D];苏州大学;2012年

9 谢雨;Web服务合作关系模型研究[D];中南大学;2012年

10 石慧娟;异步Web服务组合分析与验证方法研究[D];苏州大学;2012年

【二级参考文献】

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

1 林惠民,张文辉;模型检测:理论、方法与应用[J];电子学报;2002年S1期

2 蒲飞;张文辉;;结合搜索空间划分和抽象进行LTL模型检测[J];中国科学(E辑:信息科学);2007年12期

3 曹健,张申生,黄鹤远,张晓光;基于ECA规则的适应性工作流技术研究[J];计算机集成制造系统-CIMS;2002年09期

4 朱雪阳,唐稚松;基于时序逻辑的软件体系结构描述语言XYZ/ADL[J];软件学报;2003年04期

5 杨鑫;陈俊亮;;WSC/ADL:Web Services组合系统体系结构描述语言[J];软件学报;2006年05期

6 文艳军;王戟;齐治昌;;并发反应式系统的组合模型检验与组合精化检验[J];软件学报;2007年06期

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

1 骆翔宇;多智能体系统的符号模型检测[D];中山大学;2006年

【相似文献】

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

1 刘莹;蔡万景;;Portal个性化定制的研究[J];电脑知识与技术;2009年21期

2 董率;廉东本;刘鹏;;基于SEDA的企业服务总线的设计与实现[J];计算机系统应用;2010年09期

3 高昀;;信息系统的可生存性建模与分析研究[J];甘肃科技;2010年21期

4 林璇;;模型检测方法在入侵检测中的应用研究[J];现代计算机(专业版);2009年02期

5 徐有福;文伟平;万正苏;;基于漏洞模型检测的安全漏洞挖掘方法研究[J];信息网络安全;2011年08期

6 吉猛;胡克瑾;;基于模型检测的电子商务鉴证技术[J];陕西师范大学学报(自然科学版);2006年04期

7 李忠慧;张广泉;;基于UPPAAL的NS密码协议模型检测分析[J];重庆师范大学学报(自然科学版);2009年04期

8 杨晋吉,苏开乐;电子商务中安全协议的验证方法[J];计算机工程与应用;2003年19期

9 庞伟正,金瑞琪,王成武;一种规则引擎的实现方法[J];哈尔滨工程大学学报;2005年03期

10 尤俊欣;饶若楠;詹晓峰;;基于规则引擎的Web框架[J];计算机应用与软件;2007年02期

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

1 钟响;刘丽芳;;基于ESB的数字校园集成解决方案[A];2008通信理论与技术新进展——第十三届全国青年通信学术会议论文集（上）[C];2008年

2 刘芳;魏昭;董荣胜;;基于SPIN的协议分析技术研究[A];广西计算机学会2008年年会论文集[C];2008年

3 肖美华;邓宸芳;马小薏;薛锦云;江耘;;网络安全认证协议形式化分析[A];第二十次全国计算机安全学术交流会论文集[C];2005年

4 郭威;李金艳;周维;;基于SOA构架的物流业务平台软件中ServiceMix的研究与开发[A];2010通信理论与技术新发展——第十五届全国青年通信学术会议论文集（下册）[C];2010年

5 伍科松;刘连忠;廖佳;;一种用户角色映射方法的应用研究[A];2006中国控制与决策学术年会论文集[C];2006年

6 孙守卿;李廉;章超;李彩虹;;基于模型检测工具SPIN的安全协议形式化分析[A];2005年全国理论计算机科学学术年会论文集[C];2005年

7 周洲;黄永峰;李星;;P2P网络的节点安全认证[A];第七届全国信息隐藏暨多媒体信息安全学术大会论文集[C];2007年

8 谢鸿波;周明天;;安全协议的形式化技术:述评[A];’2004计算机应用技术交流会议论文集[C];2004年

9 唐新来;张爱科;邱志宏;;基于网络拓扑的分布式可扩展对等网模型设计[A];2009年全国开放式分布与并行计算机学术会议论文集(上册)[C];2009年

10 余兴超;马争先;王玉斌;董荣胜;;基于UPPAAL的简单网络支付协议形式化验证[A];广西计算机学会2010年学术年会论文集[C];2010年

中国重要报纸全文数据库 前10条

1 程文宇;提供端到端解决方案 服务全程全网[N];人民邮电;2005年

2 樊永梅 编译;CRM成就自助服务[N];计算机世界;2002年

3 晓晨 编译;SAML：集中身份管理的秘诀[N];计算机世界;2005年

4 贝尔实验室 王庆文;ISG：引领增值业务开发[N];网络世界;2004年

5 大唐电信 陈龙;新一代运营支撑系统解决方案[N];通信产业报;2003年

6 陈东升;Exchange 2000的新增特性[N];计算机世界;2000年

7 易水;酝酿中的WS-Security安全标准[N];计算机世界;2003年

8 陈再峰;NGN SIP 域内的标准化[N];人民邮电;2004年

9 ;信息资源管理需要专业工具[N];中国计算机报;2004年

10 河南省组织机构代码中心 杨华;组织机构代码：电子商务标准化的借力点[N];计算机世界;2001年

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

1 朱维军;时间区间时序逻辑模型检测：理论、算法及应用[D];西安电子科技大学;2011年

2 张玉清;计算机通信网安全协议的分析研究[D];西安电子科技大学;2000年

3 文静华;电子商务协议形式化方法及模型检测技术的研究与应用[D];贵州大学;2006年

4 陈靖;带实时的传值与移动系统研究[D];中国科学院研究生院（软件研究所）;2003年

5 门鹏;基于Petri网的Web服务组合相关技术研究[D];西安电子科技大学;2009年

6 范红;安全协议形式化分析理论与方法[D];中国人民解放军信息工程大学;2003年

7 张帅;基于服务组合的跨企业协作关键技术研究[D];浙江大学;2011年

8 王小兵;面向对象MSVL语言及其在组合Web服务验证中的应用[D];西安电子科技大学;2009年

9 张一鸣;虚拟计算环境中的高效覆盖网构建技术研究[D];国防科学技术大学;2008年

10 姜义;网络敏感的对等网络覆盖网的若干关键技术研究[D];上海交通大学;2007年

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

1 高丹丹;无线认证协议的模型检测与分析研究[D];长春理工大学;2010年

2 李金宇;基于SNMP的网络信息采集系统的研究[D];吉林大学;2008年

3 刘学锋;安全协议形式化分析及其应用[D];湘潭大学;2004年

4 吴建耀;电子商务安全协议的形式化分析技术研究[D];西安电子科技大学;2005年

5 范俊;基于规则的Web服务组合研究[D];北京邮电大学;2007年

6 刘秀英;计算机通信网安全协议形式化分析研究[D];西安电子科技大学;2004年

7 吴瑞龙;一种基于有色Petri网模型的安全协议检测技术的研究[D];广西大学;2005年

8 邓保华;动态Web服务组合中业务流程建模环境的研究与实现[D];国防科学技术大学;2005年

9 黄瑛;SET协议支付过程分析及模型检测[D];贵州大学;2006年

10 阮小黎;基于模型检测的C语言安全信息流研究[D];清华大学;2007年

，

本文编号：551456