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

摘要

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