微信服务号

微信订阅号

2025年4月7日 14:00 星期一
首页 > 过刊浏览>2007年第18卷第12期 >2991-3000
PDF HTML阅读 XML下载 导出引用 引用提醒
基于Petri网的语义Web服务自动组合方法
作者:
基金项目:

Supported by the National Natural Science Foundation of China under Grant Nos.60534060, 60473094 (国家自然科学基金); the National High-Tech Research and Development Plan of China under Grant No.2007AA01Z136 (国家高技术研究发展计划(863)); the National Basic Research Program of China under Grant No.2003CB317002 (国家重点基础研究发展计划(973))

  • 摘要
    • | |
  • 访问统计
    • |
  • 参考文献 [19]
    • |
  • 相似文献 [20]
    • |
  • 引证文献
    • | |
  • 文章评论
    摘要:

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

    Abstract:

    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.

    参考文献
    [1]Lang QHA,Su SYW.AND/OR graph and search algorithm for discovering composite Web services.Int'l Journal of Web Services Research,2005,2(4):46-64.
    [2]Fan J,Kambhampati S.A snapshot of public Web services.SIGMOD Record,2005,34(1):24-32.
    [3]Zhao JF,Xie B,Zhang L,Yang FQ.A Web services composition method supporting domain feature.Chinese Journal of Computers,2005,28(4):731-738 (in Chinese with English abstract).
    [4]Rao JH,Su XM.A survey of automated Web service composition methods.In:Cardoso J,Sheth A,eds.Proc.of the SWSWPC 2004.LNCS 3387,Berlin,Heidelberg:Springer-Verlag,2005.43-54.
    [5]Farrell J,Lausen H.Semantic annotations for WSDL and XML schema.2007.http://www.w3.org/TR/sawsdl/
    [6]Akkiraju R,Sapkota B.Semantic annotations for WSDL and XML schema-Usage guide.2007.http://www.w3.org/TR/sawsdlguide/
    [7]Murata T.Petri Nets:Properties,analysis and applications.Proc.of the IEEE,1989,77(4):541-580.
    [8]Murata T,Zhang D.A predicate-transition net model for parallel interpretation of logic programs.IEEE Trans.on.Software Engineering,1988,14(4):481-498.
    [9]Peterka G,Murata T.Proof procedure and answer extraction in Petri net model of logic programs.IEEE Trans.on.Software Engineering,1989,15(2):209-217.
    [10]Lautenbach K.Logical reasoning and Petri nets.In:van der Aalst WMP,Best E,eds.Proc.of the ICATPN 2003.LNCS 2679,Berlin,Heidelberg:Springer-Verlag,2003.276-295.
    [11]Lin C,Chaudhury A,Whinston A,Marinescu DC.Logical inference of horn clauses in Petri net models.IEEE Trans.on Knowledge and Data Engineering,1993,5(4):416-425.
    [12]Borujij A,Boutayeb M,Cecchin T.A decentralized approach for computing invariants in large scale and interconnected Petri nets.In:Proc of the 1997 IEEE Int'l Conf.on System Man and Cybernetics.Orlando:IEEE Computer Society,1997.1741-1746.
    [13]Zeng LZ,Benatallah B,Ngu AHH,Dumas M,Kalagnanam J,Chang H.QoS-Aware middleware for Web services composition.IEEE Trans.on Software Engineering,2004,30(5):311-327.
    [14]Narayanan S,McIlraith S.Simulation,verification and automated composition of Web services.In:Proc.of the 11th Int'l World Wide Web Conf.(WWW 2002).New York:ACM Press,2002.77-88.
    [15]Rao J,Küngas P,Matskin M.Logic-Based Web services composition:From service description to process model.In:Zhang LJ,ed.Proc.of the IEEE Int'l Conf.on Web Services.IEEE Computer Society,2004.446-453.
    [16]Sirin E,Parsia B,Wu D,Hendler J,Nau D.HTN planning for Web service composition using SHOP2.Journal of Web Semantics,2004,1(4):377-396.
    [17]Li M,Wang DZ,Du XY,Wang S.Dynamic composition of Web services based on domain ontology.Chinese Journal of Computers,2005,28(4):644-650 (in Chinese with English abstract).
    [3]赵俊峰,谢冰,张路,杨芙清.一种支持领域特性的Web服务组装方法.计算机学报,2005,28(4):731-738.
    [17]李曼,王大治,杜小勇,王珊.基于领域本体的Web服务动态组合.计算机学报,2005,28(4):644-650. [1]所谓0-reproducing,是指在Nα的初始标识M0=0的情况下,存在一个变迁引发序列γ,满足0[γ》0.
    网友评论
    网友评论
    分享到微博
    发 布
引用本文

汤宪飞,蒋昌俊,丁志军,王成.基于Petri网的语义Web服务自动组合方法.软件学报,2007,18(12):2991-3000

复制
分享
文章指标
  • 点击次数:8361
  • 下载次数: 8839
  • HTML阅读次数: 0
  • 引用次数: 0
历史
  • 收稿日期:2007-06-10
  • 最后修改日期:2007-10-16
文章二维码
友情链接:中国科学院软件研究所中国计算机学会中国科学院国家自然科学基金委员会CCF数字图书馆Int'l J of Softw Info计算机系统应用
您是第19798343位访问者
版权所有：中国科学院软件研究所 京ICP备05046678号-3
地址：北京市海淀区中关村南四街4号,邮政编码：100190
电话：010-62562563 传真：010-62562533 Email：jos@iscas.ac.cn
技术支持：北京勤云科技发展有限公司

京公网安备 11040202500063号