一种基于扩展Petri网模型的语义Web服务组合方法

摘要

本发明公开基于扩展Petri网模型的语义Web服务组合方法，其特征在于包括如下步骤：1）根据语义Web服务组合过程中所涉及的子服务，对原始的Petri网模型进行扩展，形成子服务的扩展Petri网模型；2）通过子服务的扩展Petri网模型，结合语义Web服务组合结果的形式化表示，实现语义Web服务组合结果的扩展Petri网模型的形式化描述及函数机制；3）基于步骤1）和步骤2）所得的扩展Petri网模型，实现语义Web服务组合。本发明以Petri网为基础模型进行扩展，并提出基于扩展后的Petri网模型的服务组合方法，实现子服务执行顺序的动态组合。

主权项

基于扩展Petri网模型的语义Web服务组合方法，其特征在于包括如下步骤：1)根据语义Web服务组合过程中所涉及的子服务，对原始的Petri网模型进行扩展，形成子服务的扩展Petri网模型；2)通过子服务的扩展Petri网模型，结合语义Web服务组合结果的形式化表示，实现语义Web服务组合结果的扩展Petri网模型的形式化描述及函数机制；步骤1)包括：在语义Web服务组合的过程中，子服务的输入库所的实际输入信息的来源存在多种情况，具体包括：①当子服务的输入库所是来源于用户请求时，用IP_req表示；②当子服务的输入库所是来源于其他子服务时，用IP_sub表示；③而当不存在任何的信息能够为该子服务提供输入时，用IP_free表示；子服务的输入库所集表示为式(1)：IP＝IP_req∪IP_sub∪IP_free      (1)；语义Web服务组合中的子服务的输出库所的用途存在多种情况，具体包括：①当子服务的输出库所为其他子服务提供用于前置条件判断的信息时，用OP_pre表示；②当子服务的输出库所与其他子服务的输入库所相匹配时，用OP_sub表示；③当子服务的输出库所与用户请求的目标输出相匹配时，用OP_req表示；④当子服务的输出库所未被使用时，该输出库所被闲置，用OP_free表示；子服务的输出库所集OP表示为式(2)：OP＝OP_pre∪OP_req∪OP_sub∪OP_free     (2)。