沈阳理工大学信息科学与工程学院 盛建家



基于模糊Petri网的语义Web服务组合

沈阳理工大学信息科学与工程学院 盛建家

【摘要】由于Web服务组合依赖关系图越来越庞大，耗费的代价也日益加重，所以提出了一种建立在模糊Petri网的基本结构上的反向搜索算法，通过建立邻接矩阵、矩阵命令来根据目标输出库所搜索与之相关的前驱库所。通过该算法的运行,不仅可以提高计算效率，同时也可以在模糊Petri网模型中抽取出一个子模型，从而把一个大的、复杂的系统转化为一个只与问题相关的小的系统来处理。

【关键词】模糊Petri；依赖关系；反向搜索；服务组合

1　引言

随着Web服务技术的日益成熟，面对日益复杂的Web服务请求者的请求，这需要将许多功能相同或相似的Web服务通过一定的控制手段将其整合成能够满足服务请求者需求的Web服务组合。但是所有Web服务组合成的Web服务组合依赖关系图规模比较庞大，其中存在很多对满足Web请求服务者请求完全没用的Web服务。显然对于请求服务者来说，这种Web服务依赖关系图是不能直接被调用的。当请求服务者执行Web服务时，根据请求服务者输入和期望输出来对整个Web服务关系依赖图进行反向推理，去除和请求服务者请求无关的Web服务，然后将这个Web服务依赖关系子图返回给请求服务者，而后请求服务者按照该Web服务依赖关系子图进行Web服务调用。

2　Web依赖关系图的矩阵表示及运算定义

2.1矩阵定义

在对得到的Web依赖关系图进行反向推理之前，首先要对Web服务依赖关系图矩阵化，然后根据矩阵表示法来进行反向搜索。……