Web服务组合流程可视化验证方法研究与实现

admin · 发表于 2023-10-12 19:41:31

题目：

雅宝题库答案：

****此区域为收费内容**** 需支付 1 知识币后可查看，1币=0.01元查看答案

雅宝题库解析：
由于业务需求的复杂性和业务环境的多变性，利用组合服务技术快速开发业务流程难免发生异常，因此使用可视化验证方法来保证流程正确性是非常必要的。当前基于WS-BPEL的业务流程建模工具与验证工具脱离，导致异常定位与排除十分困难。而验证方面所能支持的数据逻辑异常检测种类有限，效率也有待提高。针对以上题目，本文提出了结合建模和验证的可视化验证方法，支持用户在可视化环境下进行“建模——验证——修正”闭环流程开发。论文首先对WS-BPEL2.0规范进行分析，设计了WS-BPEL元模型作为Web服务组合流程流程描述模型，然后设计并实现了一个基于WS-BPEL的可视化建模工具为开发人员提供图形化流程编排环境和标准代码生成。为使本文基于WS-BPEL的形式化验证也能支持BPMN的输入，本文对BPMN向WS-BPEL转换方法进行研究，并给出转换算法的设计与实现。论文采用DWFN(数据工作流网)为流程建模提供形式化验证支持，该模型为工作流网的扩展，可描述WS-BPEL流程的逻辑和数据信息。本文进一步扩展了原有DWFN方法令其支持更多种类异常的检测，并给出化简方法提高检测效率，再对已有的死锁、活锁、终态不可达异常、对未初始化变量读、并行读写冲突的异常检测算法进行扩展令其支持异常定位，并提出数据冗余和数据丢失两种新的数据异常检测定位算法设计，论文对上述算法都进行了实现。论文为了实现异常结果的可视化反馈，定义了WS-BPEL模型、DWFN模型映射以及可达图模型之间的映射关系，并设计实现了可视化建模工具与验证工具之间的接口，最后在可视化建模中嵌入反馈工具实现异常结果的可视化。论文的研究成果为Web组合服务应用的建立以及Petri网方法在Web服务技术体系中的运用，提供了有效的支持。

Web服务组合流程可视化验证方法研究与实现

天涯海角也要找到Ni：Web服务组合流程可视化验证方法研究与实现

相关帖子

浏览过的版块

QQ微信同步：1144766066。

服务

网站

战略合作