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

摘要

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

主权项

1.一种Web服务组合的建模与概率验证方法，其特征在于，包括：根据获取到的BPEL源码建立对应的WSC-XTS模型；将所述WSC-XTS模型转化为对应的CTMC模型；将所述CTMC模型及预设的属性规约输入到概率模型检测器中对所述WSC-XTS模型进行验证；获得验证结果；其中，所述建立WSC-XTS模型具体为：创建第一多元组，所述第一多元组中至少包括预先定义的若干个基本活动的集合、每两个相关的所述基本活动之间的迁移关系的集合、每两个相关的所述基本活动之间的迁移条件中变量的集合；其中预先定义每个所述基本活动包括：定义第二多元组，所述第二多元组至少包括所述基本活动在所述BPEL源码中对应的类型、WSDL接口类型、每个所述基本活动输入输出的变量的集合、与每个所述基本活动相关的基本活动的集合、速率。