[发明专利]一种Web服务组合的建模与概率验证方法及装置

说明书

本发明公开了一种Web服务组合的建模及概率验证方法，包括：根据获取到的BPEL源码建立对应的WSC‑XTS模型；将所述WSC‑XTS模型转化为对应的CTMC模型；将所述CTMC模型及预设的属性规约输入到概率模型检测器中对所述WSC‑XTS模型进行验证；获得验证结果。本发明基于BPEL源码建立的WSC‑XTS模型中的相关内容均可以直接从BPEL源码中直接获取，因此整个建模及验证过程更加简单。

技术领域

本发明涉及Web服务组合技术领域，更具体地说，涉及一种Web服务组合的建模与概率验证方法，还涉及一种Web服务组合的建模与概率验证装置、设备及计算机可读存储介质。

背景技术

Web服务是基于XML(Extensible Markup Language，可扩展标记语言)和HTTPS(Hyper Text Transfer Protocolover Secure Socket Layer，超文本传输安全协议)的一种服务，其通信协议主要基于SOAP服务(Simple Object Access Protoco，简单对象访问协议)，通过WSDL(Web Services Description Language，网络服务描述语言)来描述Web服务及说明如何与Web服务通信，通过UDDI来发现和获得服务的元数据。近年来，Web服务技术迅速发展，为互联网应用提供了一种共享数据的有效手段。Web服务的高效执行方式、与其他成熟技术的有机结合以及Web服务的组合是解决现实应用问题的重要技术。其中，Web服务组合是指当单个Web服务无法满足用户需求时，将若干Web服务进行有机合成，以形成大粒度的具有内部流程逻辑的组合服务的过程。由于在复杂和动态的网络环境中，很难保证Web服务组合过程的正确性，因此对Web服务组合相关属性的验证极为重要。

通常采用模型检测技术来对Web服务组合进行相关属性的验证。模型检测技术是一种比较常用的形式化验证方法，通过遍历系统的状态空间来验证模型是否满足特定的属性规约，整个过程通常需要三个步骤：建模、规约及验证，其中建模是指建立系统的形式化模型，规约是指该系统必须满足的需求，验证是指通过某种验证算法来判断建立的模型是否满足规约。现有的模型检测方法的建模过程较为复杂，且缺少对Web服务组合过程中与概率相关的属性的验证，因此如何提供一种简单的Web服务组合的建模与概率验证方案，是目前本领域技术人员亟待解决的问题。

发明内容

本发明的目的是提供一种Web服务组合的建模与概率验证方法，能够简单地完成建模与概率验证，本发明的另一目的是提供一种包括上述方法的Web服务组合的建模与概率验证装置、设备及计算机可读存储介质，也能简单地完成建模与概率验证。

为了实现上述目的，本发明提供如下技术方案：

一种Web服务组合的建模与概率验证方法，包括：

根据获取到的BPEL源码建立对应的WSC-XTS模型；

将所述WSC-XTS模型转化为对应的CTMC模型；

将所述CTMC模型及预设的属性规约输入到概率模型检测器中对所述WSC-XTS模型进行验证；

获得验证结果；

其中，所述建立WSC-XTS模型具体为：

创建第一多元组，所述第一多元组中至少包括预先定义的若干个基本活动的集合、每两个相关的所述基本活动之间的迁移关系的集合、每两个相关的所述基本活动之间的迁移条件中变量的集合；

其中预先定义每个所述基本活动包括：定义第二多元组，所述第二多元组至少包括所述基本活动在所述BPEL源码中对应的类型、WSDL接口类型、每个所述基本活动输入输出的变量的集合、与每个所述基本活动相关的基本活动的集合、速率。

优选的，创建所述第一多元组中每两个相关的所述基本活动之间的迁移关系的集合，包括：