%0 Journal Article
%T 基于petri网的语义web服务自动组合方法
%A 汤宪飞？
%A 蒋昌俊？
%A 丁志军？
%A 王成？
%J 软件学报
%P 2991-3000
%D 2007
%X web服务组合使得开发人员可以快速地创建自己的应用程序.但是,随着internet上可用的web服务数目的增加,web服务组合是一项高度复杂的任务.针对语义web服务的自动组合问题,提出了一种既考虑服务输入/输出又考虑服务行为约束的自动组合方法.首先,注册服务被转化为一组horn子句形规则,用户的输入和输出请求分别被转化为horn子句中的事实和目标,从而将寻找满足用户输入/输出请求的合成服务问题转化为horn子句的逻辑推理问题;然后,用petri网来为该horn子句集建模,t-不变量技术被用来判定是否存在满足用户输入/输出请求的合成服务;最后给出了两种算法来获取既满足用户输入/输出请求又满足用户行为约束的合成服务的petri网模型.
%K web服务
%K web服务组合
%K horn子句
%K petri网
%K t-不变量
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=20071204&flag=1