基于Petri网的语义Web服务自动组合方法

被引：24

作者：

汤宪飞

蒋昌俊

丁志军

王成

机构：

[1] 同济大学计算机科学与技术系

来源：

软件学报 | 2007年 / 12期

关键词：

Web服务; Web服务组合; Horn子句; Petri网; T-不变量;

D O I：

暂无

中图分类号：

TP311.10 [];

学科分类号：

摘要：

Web服务组合使得开发人员可以快速地创建自己的应用程序.但是,随着Internet上可用的Web服务数目的增加,Web服务组合是一项高度复杂的任务.针对语义Web服务的自动组合问题,提出了一种既考虑服务输入/输出又考虑服务行为约束的自动组合方法.首先,注册服务被转化为一组Horn子句形规则,用户的输入和输出请求分别被转化为Horn子句中的事实和目标,从而将寻找满足用户输入/输出请求的合成服务问题转化为Horn子句的逻辑推理问题;然后,用Petri网来为该Horn子句集建模,T-不变量技术被用来判定是否存在满足用户输入/输出请求的合成服务;最后给出了两种算法来获取既满足用户输入/输出请求又满足用户行为约束的合成服务的Petri网模型.

引用

页码：2991 / 3000

页数：10

共 4 条

[1] 一种支持领域特性的Web服务组装方法 [J].

赵俊峰 ;

谢冰 ;

张路 ;

杨芙清 .

计算机学报, 2005, (04) :731-738

[2] 基于领域本体的Web服务动态组合 [J].

李曼 ;

王大治 ;

杜小勇 ;

王珊 .

计算机学报, 2005, (04) :644-650

[3]

AND/OR Graph and Search Algorithm for Discovering Composite Web Services[J] . Qianhui Althea Liang,Stanley Y.W. Su.International Journal of Web Services Research (IJWSR) . 2005 (4)

[4] A snapshot of public web services [J].

Fan, JC ;

Kambhampati, S .

SIGMOD RECORD, 2005, 34 (01) :24-32

← 1 →