公开(公告)号：CN103853559B

公开(公告)日：2017-04-12

申请号：CN201410089115.2

申请日：2014-03-12

Applicant: 福建工程学院

Inventor： 唐郑熠 ,  王颖 ,  胡文瑜 ,  陈义 ,  王金水

IPC: G06F9/44

Abstract: 本发明提供一种语义Web服务组合的自动验证方法及其系统，将OWL‑S描述的Web服务转化为一台原子过程自动机，将原子过程自动机组合为组合过程自动机；消除组合过程自动机的冗余并发和同步迁移，获得优化模型；依据用户限定的相容性要求，确定组合过程自动机的可接受位置集合；依据用户限定的有效性要求，确定逻辑公式CSV；将优化模型转换为UPPAAL的建模语言；将可接受位置集合和逻辑公式CSV表示为CTL公式；将建模语言描述的组合服务模型与CTL公式输入UPPAAL进行验证；对OWL‑S中的原子过程与组合过程的描述更具体完整，可以无差异地参加组合运算，支持逻辑公式和表达式，描述能力更强，提高了验证的效率。

公开(公告)号：CN103853559A

公开(公告)日：2014-06-11

申请号：CN201410089115.2

申请日：2014-03-12

Applicant: 福建工程学院

Inventor： 唐郑熠 ,  王颖 ,  胡文瑜 ,  陈义 ,  王金水

IPC: G06F9/44

Abstract: 本发明提供一种语义Web服务组合的自动验证方法及其系统，将OWL-S描述的Web服务转化为一台原子过程自动机，将原子过程自动机组合为组合过程自动机；消除组合过程自动机的冗余并发和同步迁移，获得优化模型；依据用户限定的相容性要求，确定组合过程自动机的可接受位置集合；依据用户限定的有效性要求，确定逻辑公式CSV；将优化模型转换为UPPAAL的建模语言；将可接受位置集合和逻辑公式CSV表示为CTL公式；将建模语言描述的组合服务模型与CTL公式输入UPPAAL进行验证；对OWL-S中的原子过程与组合过程的描述更具体完整，可以无差异地参加组合运算，支持逻辑公式和表达式，描述能力更强，提高了验证的效率。