[发明专利]一种资源感知的服务模式匹配方法

摘要

本发明公开了一种资源感知的服务模式匹配方法，包括利用11）将服务模式转化为依赖积的类型12）将流程中的各个要素类型化13）利用类型论中“组合即证明”的思想；与传统服务模式匹配方法相比，考虑了服务流程中的资源，提升了匹配的精准度，本发明利用“构造及证明”的思路，完成对资源感知的服务流程的服务模式匹配，这种方法有着严格的形式化证明的基础，换言之，本方法的匹配结果一定是绝对准确的。

主权项

一种资源感知的服务模式匹配方法，其特征在于，包括如下步骤：11)将服务模式转化为依赖积的类型：所述服务模式用商业规则表示，所述商业规则表示为一个带有存在谓词的一阶逻辑即一阶谓词，将这个一阶谓词表达的商业规则转化为一个依赖积的类型，这种类型的定义如下：Ψ：＝ψ|∑(x：X).Ψ(x)|Π(x：X).Ψ(x)|Ψ×Ψ|Ψ+Ψ其中：ψ表示一个简单的类型；∑(x：X).Ψ(x)表示对于任意一个x，其类型是X，都有Ψ；Π(x：X).Ψ(x)表示存在一个x，其类型是X，都有Ψ；Ψ×Ψ表示两个条件同时存在；Ψ+Ψ表示两个条件至少一个存在；12)将流程中的各个要素类型化：对于流程中的活动，资源，数据，参与者，关口和事件都表示为各自类型的实例；13)利用类型论中“组合即证明”的思想，利用步骤12)得到的各个类型的实例，去构造步骤11)中的服务模式的依赖积的类型，如果构造成功，则说明该服务流程匹配该服务模式，反正则是不匹配。