基于运行时验证的Web服务选择方法研究
发布时间：2021-07-27 08:02
Web服务选择是从备选Web服务集合中选择满足需求的服务的过程。面对互联网的复杂、动态、开放的环境，如何选择满意的Web服务成为当前学术界高度关注的主题。目前国内外研究人员针对Web服务选择开展了大量的工作，提出了诸如基于服务质量QoS、基于服务信誉度、基于服务推荐等选择方法。然而这些方法大多是在假定Web服务的提供者所提供的服务信息是真实可信的前提下而开展的后续工作，缺乏对Web服务描述信息正确性的验证，导致服务消费者在使用Web服务时与预期的效果之间存在一定偏差。因而十分有必要对Web提供者所提供的服务在运行时所表现出来的行为进行验证，从而选择行为与服务描述相一致的Web服务。本文提出一种运行时验证方法，通过在Web服务选择初期对Web服务进行建模，并监控其在运行时的行为，给出Web服务的一致性验证结果。并在该结果的基础上，形成Web服务的选择方法。本文的主要贡献在于：（1）利用UML2.0序列图在建模Web服务各参与者之间的消息交互方面的优势，对UML2.0序列图进行扩展；并使用扩展后的UML2.0序列图对Web服务的预期行为和运行时行为进行建模。（2）借助确定有限自动机DFA，...
【文章来源】：新疆大学新疆维吾尔自治区 211工程院校
【文章页数】：58 页
【学位级别】：硕士
【部分图文】：
扩展SOA体系结构
图3-2 ESD建立LWS的行为模型使用 ESD 中的对象、消息、组合片段、QoS 等元素建立了 LWS 的动态行为模型。为了便于验证，根据算法 1 使用 MSDFA 刻画 LWS 的 ESD 行为模型的语义，如图 3-3 所示。图 3-3 LWS 的语义表示 MSDFAp根据执行片段、运行、轨迹和字的定义可知，0 11 0 1 2s s s 是 MSDFAp的 一 个 执 行 片 段 ， 其 中0 [ Availability 0.97] / CheckCredit Request，1 [Re liability 0.93] /CreditScore。0 1 是1 的轨迹，记为1 0 1trace ( ) 。由于 s3是终止状态，则0 13s s s s 是 MSDFAp的一个运行，那么 是
图 3-3 LWS 的语义表示 MSDFAp根据执行片段、运行、轨迹和字的定义可知，0 11 0 1 2s s s 是 MSDFAp的 一 个 执 行 片 段 ， 其 中0 [ Availability 0.97] / CheckCredit Request，1 [Re liability 0.93] /CreditScore。0 1 是1 的轨迹，记为1 0 1trace ( ) 。由于 s3是终止状态，则0 132 0 1 2 3s s s s 是 MSDFAp的一个运行，那么0 1 3 是字，其中0 [ Availability 0.97] / CheckCredit Request，1 [Re liability 0.93] /CreditScore，3 [ fragGuard ( CreditScore 800); Re liability ] /LoanAmount。3.5 Web 服务运行时验证工具总体设计为了支持本文提出的基于 UM2.0 序列图的运行时验证方法，实现方法的自动化，本节给出了支持该方法的 Web 服务运行时验证工具 RVT4WS（RuntimeVerification Tool for Web Services）的总体设计方案。运行时验证工具 RVT4WS 支持使用扩展后的 UML2.0 序列图对 Web 服务的
【参考文献】：
期刊论文
[1]Web服务选择中信誉度评估方法[J]. 王尚广,孙其博,杨放春. 软件学报. 2012(06)
[2]跨组织多业务事务建模与验证方法[J]. 袁敏,黄志球,胡军. 软件学报. 2012(03)
[3]基于XYZ/ADL的异步Web服务组合描述与验证[J]. 石慧娟,戎玫,张广泉,朱稷涵. 计算机科学. 2011(12)
[4]基于CPN的服务交互行为关键属性的运行时确保机制[J]. 朱俊,郭长国,吴泉源. 电子学报. 2011(05)
[5]基于偏好推荐的可信服务选择[J]. 朱锐,王怀民,冯大为. 软件学报. 2011(05)
[6]面向参数化LTL的预测监控器构造技术[J]. 赵常智,董威,隋平,齐治昌. 软件学报. 2010(02)
[7]软件分析技术进展[J]. 梅宏,王千祥,张路,王戟. 计算机学报. 2009(09)
[8]UML类图中面向非功能属性的描述和检验[J]. 张岩,梅宏. 软件学报. 2009(06)
[9]网络计算环境下QoS偏好的处理策略及其应用[J]. 梁泉,王元卓. 计算机应用. 2009(06)
[10]一种考虑QoS数据可信性的服务选择方法[J]. 李研,周明辉,李瑞超,曹东刚,梅宏. 软件学报. 2008(10)
本文编号：3305411
【文章来源】：新疆大学新疆维吾尔自治区 211工程院校
【文章页数】：58 页
【学位级别】：硕士
【部分图文】：
扩展SOA体系结构
图3-2 ESD建立LWS的行为模型使用 ESD 中的对象、消息、组合片段、QoS 等元素建立了 LWS 的动态行为模型。为了便于验证，根据算法 1 使用 MSDFA 刻画 LWS 的 ESD 行为模型的语义，如图 3-3 所示。图 3-3 LWS 的语义表示 MSDFAp根据执行片段、运行、轨迹和字的定义可知，0 11 0 1 2s s s 是 MSDFAp的 一 个 执 行 片 段 ， 其 中0 [ Availability 0.97] / CheckCredit Request，1 [Re liability 0.93] /CreditScore。0 1 是1 的轨迹，记为1 0 1trace ( ) 。由于 s3是终止状态，则0 13s s s s 是 MSDFAp的一个运行，那么 是
图 3-3 LWS 的语义表示 MSDFAp根据执行片段、运行、轨迹和字的定义可知，0 11 0 1 2s s s 是 MSDFAp的 一 个 执 行 片 段 ， 其 中0 [ Availability 0.97] / CheckCredit Request，1 [Re liability 0.93] /CreditScore。0 1 是1 的轨迹，记为1 0 1trace ( ) 。由于 s3是终止状态，则0 132 0 1 2 3s s s s 是 MSDFAp的一个运行，那么0 1 3 是字，其中0 [ Availability 0.97] / CheckCredit Request，1 [Re liability 0.93] /CreditScore，3 [ fragGuard ( CreditScore 800); Re liability ] /LoanAmount。3.5 Web 服务运行时验证工具总体设计为了支持本文提出的基于 UM2.0 序列图的运行时验证方法，实现方法的自动化，本节给出了支持该方法的 Web 服务运行时验证工具 RVT4WS（RuntimeVerification Tool for Web Services）的总体设计方案。运行时验证工具 RVT4WS 支持使用扩展后的 UML2.0 序列图对 Web 服务的
【参考文献】：
期刊论文
[1]Web服务选择中信誉度评估方法[J]. 王尚广,孙其博,杨放春. 软件学报. 2012(06)
[2]跨组织多业务事务建模与验证方法[J]. 袁敏,黄志球,胡军. 软件学报. 2012(03)
[3]基于XYZ/ADL的异步Web服务组合描述与验证[J]. 石慧娟,戎玫,张广泉,朱稷涵. 计算机科学. 2011(12)
[4]基于CPN的服务交互行为关键属性的运行时确保机制[J]. 朱俊,郭长国,吴泉源. 电子学报. 2011(05)
[5]基于偏好推荐的可信服务选择[J]. 朱锐,王怀民,冯大为. 软件学报. 2011(05)
[6]面向参数化LTL的预测监控器构造技术[J]. 赵常智,董威,隋平,齐治昌. 软件学报. 2010(02)
[7]软件分析技术进展[J]. 梅宏,王千祥,张路,王戟. 计算机学报. 2009(09)
[8]UML类图中面向非功能属性的描述和检验[J]. 张岩,梅宏. 软件学报. 2009(06)
[9]网络计算环境下QoS偏好的处理策略及其应用[J]. 梁泉,王元卓. 计算机应用. 2009(06)
[10]一种考虑QoS数据可信性的服务选择方法[J]. 李研,周明辉,李瑞超,曹东刚,梅宏. 软件学报. 2008(10)
本文编号：3305411
本文链接：https://www.wllwen.com/guanlilunwen/ydhl/3305411.html
