基于逻辑Petri网的Web服务发现与组合方法

提出了一种基于逻辑Petri网的Web服务集群模型。 群集的服务参数是统一的，并且引入了逻辑表达式来表示服务群集的不确定性。 服务群集可以用作集成单元，并且可以基于服务群集中的语义相似性和逻辑推断来确定参数匹配。 给出了一些基于逻辑Petri网的Web服务发现与组合算法，并通过向后的方法从服务组合中去除了冗余服务。 带有不同大小的大型存储库的实验说明了该方法的可用性和效率。