%0 Journal Article
%T A Petri Net-Based Semantic Web Service Automatic Composition Method<br>基于Petri网的语义Web服务自动组合方法
%A TANG Xian-Fei
%A JIANG Chang-Jun
%A DING Zhi-Jun
%A WANG Cheng
%A <br>汤宪飞
%A 蒋昌俊
%A 丁志军
%A 王成
%J 软件学报
%D 2007
%I 
%X Web service composition allows developers to create applications rapidly.But due to the tremendous growth in the number of Web services available,the Web service composition problem is still a challenging research issue.This paper introduces an automatic Web service composition method which considers both services' input/output type compatibility and behavioral constraint compatibility.The services available are translated into a set of Horn clause-like rules.User's input and output requirements are modeled as a set of facts and a goal statement in the Horn clauses respectively.Then Petri net is chosen to model the Horn clause set and T-invariant technique is used to determine the existence of composite services fulfilling the user's input/output requirements. Two algorithms are presented for obtaining the Petri net models of the composite Web services which satisfy not only the user's input/output requirements but also the user's behavioral constraints.
%K Web service
%K Web service composition
%K Horn clause
%K Petri net
%K T-invariant<br>Web服务
%K Web服务组合
%K Horn子句
%K Petri网
%K T-不变量
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=93DC214FBE3F421F6AA88FDB3133CA15&yid=A732AF04DDA03BB3&vid=13553B2D12F347E8&iid=59906B3B2830C2C5&sid=AACCB98EBF19A477&eid=D7BAA33355D188F0&journal_id=1000-9825&journal_name=软件学报&referenced_num=6&reference_num=20