公开(公告)号：CN103823875B

公开(公告)日：2017-06-27

申请号：CN201410070573.1

申请日：2014-02-28

Applicant: 浙江大学

Inventor： 李莹 ,  张加省 ,  尹建伟 ,  邓水光 ,  吴建 ,  吴朝晖

IPC: G06F17/30

Abstract: 发明提供一种服务组合的检索方法，所述方法基于Coq定理证明，Coq是一个基于类型理论的归纳构造证明工具，它具备构造证明和抽取函数式的证明过程的能力，构造证明的过程是自动或者半自动的，服务组合的正确性验证并不需要在服务组合流程完成后进行检查，而是由初始的描述和形式证明严格保证，从而服务组合的检索方法比较简单。

公开(公告)号：CN103823875A

公开(公告)日：2014-05-28

申请号：CN201410070573.1

申请日：2014-02-28

Applicant: 浙江大学

Inventor： 李莹 ,  张加省 ,  尹建伟 ,  邓水光 ,  吴建 ,  吴朝晖

IPC: G06F17/30

CPC classification number: G06F17/30507

Abstract: 发明提供一种服务组合的检索方法，所述方法基于Coq定理证明，Coq是一个基于类型理论的归纳构造证明工具，它具备构造证明和抽取函数式的证明过程的能力，构造证明的过程是自动或者半自动的，服务组合的正确性验证并不需要在服务组合流程完成后进行检查，而是由初始的描述和形式证明严格保证，从而服务组合的检索方法比较简单。