Web交互模型的形式化验证研究

发布时间：2017-11-15 00:16

  本文关键词：Web交互模型的形式化验证研究

  更多相关文章： Web交互模型 形式化验证 数理推演 模型语义

【摘要】：Web交互模型的形式化验证是对Web事件属性进行校验的十分可信的方法。通过一系列的系统模型建立、系统行为分析以及对于模型中关心属性的相关验证,能够让交互模型在设计阶段就能使形式化模型暴露出其所存在的缺陷,而不至于让缺陷保留到编码阶段或者更后面才能被真正地暴露出来,这样使系统模型的生存能力更加强大,同时避免了因后期缺陷暴露而出现的大代价修复。通过对Web系统的交互应用服务的过程模型化的体系进行研究,通过模型本身具有的属性进行相关正确性的校验,主要通过使用数学推理实现系统逻辑上的服务交互进程,从而进行过程的推演,并对系统服务的正确性进行过程的形式化验证,从而使系统服务模块的属性正确性可以通过逻辑上的演进来发现服务问题的存在,而不再是系统通过编码实现后才发现。对Web交互模型的形式化验证是基于IMWSC模型语义形成的IMWSC模型的验证机制。
【作者单位】： 重庆广播电视大学电子信息工程学院;电子科技大学计算机科学与工程学院;
【基金】：重庆市教委(kj131607)资助
【分类号】：TP393.09
【正文快照】： 1前言随着降低软件开发成本和提高开发速度与质量的需求日益增长,及基于分布式技术和构件模块的复用技术的快速发展,一种全新的面向服务的构架体系SOA逐步成为软件开发体系中的一个重要成员。在形成的新一代网络计算模型中,以Web的模块[1]组合及其提供的服务作为核心模型的通

【参考文献】

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

1 杨艺;周元;;基于用户查询意图识别的Web搜索优化模型[J];计算机科学;2012年01期

【共引文献】

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

1 尤川川;张桂刚;;一种基于大数据的有效搜索方法[J];计算机科学;2013年06期

2 赵欣;沈立炜;彭鑫;赵文耘;;P_MOEA:一种多目标决策辅助遗传算法用于服务组合QoS优化[J];中国科学:信息科学;2013年01期

3 陆伟;周红霞;张晓娟;;查询意图研究综述[J];中国图书馆学报;2013年01期

4 陈臣;陈双飞;;一种基于大数据的数字图书馆高效搜索引擎[J];现代情报;2014年01期

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

1 李钦;面向模型的组合理论研究[D];华东师范大学;2011年

2 包力;Web服务组合形式化建模与验证研究[D];大连海事大学;2009年

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

1 杨畅;一种Web服务编排的演算[D];浙江师范大学;2009年

【二级参考文献】

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

1 余肖生;司新霞;;基于聚类分析的元搜索引擎模型[J];重庆理工大学学报(自然科学);2011年06期

2 袁鼎荣;钟宁;张师超;;文本信息处理研究述评[J];计算机科学;2011年02期

3 凌波;周水庚;周傲英;;P2P信息检索系统的查询结果排序与合并策略[J];计算机学报;2007年03期

4 吴晓晖;宋萍萍;张荣欣;;有无查询意图的分类与实现架构模型研究[J];情报科学;2009年12期

5 王大玲;于戈;鲍玉斌;张沫;沈洲;;基于用户搜索意图的Web网页动态泛化[J];软件学报;2010年05期

6 罗长寿;康丽;刘国靖;;基于遗传算法的主题信息搜索系统研究[J];现代情报;2009年03期

【相似文献】

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

1 刘晓芹;黄考利;连光耀;吕晓明;;基于Rebeca模型的硬件设计形式化验证[J];计算机测量与控制;2009年05期

2 杨红丽,王曙燕,韩俊刚;基于形式化的面向对象开发方法(FMOO)[J];计算机应用;2000年05期

3 周宏斌,黄连生,桑田;基于串空间的安全协议形式化验证模型及算法[J];计算机研究与发展;2003年02期

4 陈江;陈建国;陆慧娟;王康健;;UML时间顺序图的实时系统建模及验证[J];中国计量学院学报;2010年01期

5 侯峻峰,张磊,黄连生;一种新的安全协议形式化验证方法[J];计算机研究与发展;2004年08期

6 郭建;时序电路的形式化证明[J];现代电子技术;2005年20期

7 王金双;杨华兵;张兴元;王元元;张毓森;;电梯控制系统在Isabelle/HOL中的活动性证明[J];计算机工程与应用;2008年27期

8 潘国华;王惠芳;;密码API安全性分析[J];计算机安全;2009年06期

9 郭建,韩俊刚;SOC的形式化验证方法[J];西安邮电学院学报;2005年03期

10 张海宾;段振华;;混合投影时序逻辑与混合系统的形式化验证[J];计算机科学;2007年11期

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

1 苗洁君;王克;;密码模块的形式化设计和验证研究[A];第二十一次全国计算机安全学术交流会论文集[C];2006年

2 吴铃铃;周干民;何伟;高明伦;;IP软核的形式化验证[A];全国第十五届计算机科学与技术应用学术会议论文集[C];2003年

3 刘力轲;游定山;杨佳;元国军;沈华;;集合通信芯片物理设计阶段的验证方法[A];第十五届计算机工程与工艺年会暨第一届微处理器技术论坛论文集（A辑）[C];2011年

4 郭建;韩俊刚;;基于PSL的FIFO的验证[A];第五届中国测试学术会议论文集[C];2008年

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

6 李彩虹;章超;李廉;孙守卿;;分布式同步仲裁器电路的SPIN建模和验证[A];2005年全国理论计算机科学学术年会论文集[C];2005年

7 何青;骆翔宇;苏开乐;;对弈必胜策略的符号化模型检测[A];2006年全国理论计算机科学学术年会论文集[C];2006年

8 薛慧琦;吴恒;;由程序规约推导程序[A];2005年全国理论计算机科学学术年会论文集[C];2005年

9 郭华;庄雷;;电子商务协议的形式化验证方法及FR验证实例[A];2005年全国理论计算机科学学术年会论文集[C];2005年

10 陈博文;郭琦;沈海华;;浮点乘加部件的自动化形式验证[A];第六届中国测试学术会议论文集[C];2010年

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

1 张海宾;混合系统的形式化验证[D];西安电子科技大学;2007年

2 许可;网格服务流的状态π演算形式化验证技术研究与应用[D];清华大学;2007年

3 沈胜宇;模型检验的反例解释[D];国防科学技术大学;2005年

4 张鹏飞;Agent通信的全信息形式语用方法[D];北京邮电大学;2007年

5 李梦君;安全协议形式化验证技术的研究与实现[D];国防科学技术大学;2005年

6 张秀国;基于过程网络的服务协同计算模型研究[D];大连海事大学;2006年

7 岳华伟;对一种SOC总线系统的验证[D];中国科学技术大学;2007年

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

9 范年柏;程序正确性验证的几个问题[D];湖南大学;2005年

10 高妍妍;ASIP体系结构形式化建模与验证方法研究[D];中国科学技术大学;2009年

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

1 林立;基于高阶逻辑系统HOL的数字硬件形式化验证[D];西安电子科技大学;2005年

2 闫硕;基于多项式符号代数的电路形式验证[D];北京交通大学;2011年

3 王莉;供热混合系统的抽象及其形式化验证[D];华中科技大学;2004年

4 马小龙;形式化验证在Office安全中的应用研究[D];中国人民解放军信息工程大学;2005年

5 杨汉明;基于CPS的实时系统的面向方面的形式化验证方法[D];广东工业大学;2011年

6 郑强;基于SPIN的802.1X协议形式化验证和改进[D];华东理工大学;2012年

7 张泽恩;基于GSTE中的符号仿真设计与实现[D];电子科技大学;2012年

8 圣应山;HGD05A专用集成电路的设计[D];合肥工业大学;2006年

9 陈华;基于通信顺序进程的安全协议形式化研究[D];华中科技大学;2007年

10 廖军和;深亚微米EoPDH专用集成电路的设计与实现[D];合肥工业大学;2009年

，

本文编号：1187590