论文部分内容阅读
就语义Web服务自动组合技术而言，在服务组合时需要建立形式化的描述模型，以及有效利用这些已有的数据依赖关系实现服务合成的请求。而现有的组合方法与实施框架可能出现全局状态的指数性增长。针对这一问题，提出一种适合于Web环境的模糊Petri网逆向推理算法。该算法结合模糊Petri网的逆向推理和代数运算的优点，能有效减小算法空间复杂度，把一个大的、复杂的系统转化为一个只与问题相关的、小的系统来处理。最后，通过一个例子说明了算法的可用性。