微信服务号

微信订阅号

2025年5月17日 4:09 星期六
首页 > 过刊浏览>2007年第18卷第12期 >3001-3014
PDF HTML阅读 XML下载 导出引用 引用提醒
Web服务行为兼容性的判定与计算
作者:
基金项目:

Supported by the National Key Technology R&D Program of China under Grant No.2006BAH02A01 (国家科技支撑计划); the National Natural Science Foundation of China under Grant Nos.60603025, 60503018 (国家自然科学基金); the National High-Tech Research and Development Plan of China under Grant No.2006AA01Z171 (国家高技术研究发展计划(863)); the Natural Science Foundation of Zhejiang Province of China under Grant No.Y105463 (浙江省自然科学基金)

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

    确保Web服务行为兼容是实现Web服务无缝集成与协作的一个重要问题.在服务视图概念的基础上,给出了Web服务行为兼容性的相关定义.提出一种基于π演算的Web服务行为兼容性的定性判定与定量计算方法.该方法首先通过算法自动地将Web服务行为和Web服务间的交互行为表达成π演算进程,然后借助π演算的操作语义和形式化推演实现服务行为兼容性自动的定性判定;随后在π演算的进程变换理论的基础上提出算法实现服务兼容性自动的定量计算.该方法在服务动态组合与服务动态替换中的典型应用表明,该方法对于服务组合的正确建立和可靠执行具有重要作用.

    Abstract:

    How to ensure services compatible at the behavioral level is an important issue for services integration and collaboration in a seamless way.Based on the proposed concept of service view,a formal definition of behavioral compatibility between services is proposed.Then,aπ-calculus-based method is proposed to qualitatively determine and quantitatively compute behavioral compatibility.First,it transforms service behaviors and interactions between services into n-calculus processes using an algorithm automatically.Second,it determines qualitatively whether two services are behavioral compatible with the help of operational and transitional semantics and a formal deduction.After that it proposes an algorithm based on the Expansion Law to compute the compatibility degree between services quantitatively.The application of the method in the scenarios of composing and replacing services dynamically shows that it is very useful for correctly building and reliably executing service compositions.

    参考文献
    [1]Dustdar S,Schreiner W,Schreiner W.A survey on Web services composition.Int'l Journal of Web and Grid Services,2005,1(1):1-30.
    [2]Bultan T,Fu X,Hull R,Su J.Conversation specification:A new approach to design and analysis of E-service composition.In:Hencsey G,White B,eds.Proc.of the 12th Int'l World Wide Web Conf.(WWW).Budapest:ACM,2003.403-410.
    [3]Martens A.On compatibility of Web services.Petri Net Newsletter,2003,65:12-20.
    [4]Narayanan S,McIlraith S.Analysis and simulation of Web services.Computer Networks,2003,42(5):675-693.
    [5]Foster H,Uchitel S,Magee J,Kramer J.Compatibility verification for Web service choreography.In:Zhang LJ,ed.Proc.of the Int'l Conf.on Web Service (ICWS).San Diego:IEEE Computer Society,2004.738-741.
    [6]Zhang WT,Peng Y,Chen JL.Interface compatibility and composition of session-oriented E-service.Chinese Journal of Computers,2006,29(7):1047-1056 (in Chinese with English abstract).
    [7]Wombacher A,Fankhauser P,Mahleko B,Neuhold E.Matchmaking for business processes based on choreographies.Int'l Journal of Web Services Research,2004,1(4):14-32.
    [8]Fu X,Bultan T,Su JW.Analysis of interacting BPEL Web services.In:Hencsey G,White B,eds.Proc.of the Int'l World Wide Web Conf.(WWW).Budapest:ACM,2004.621-630.
    [9]Shi YL,Zhang L,Liu FF,Lin LL,Shi BL.Compatibility analysis of Web services.In:Skowron A,ed.Proc.of the IEEE/WIC/ACM Int'l Conf.on Web Intelligence.Compiegne:IEEE Computer Society,2005.483-486.
    [10]Milner R,Milner-Gulland R.Communicating and Mobile Systems:The π-Calculus.Cambridge University Press,1999.
    [11]Victor B,Moller F.The mobility workbench:A tool for the π-calculus.In:Dill DL,eds.Proc.of the Int'l Conf.on Computer Aided Verification.Springer-Verlag,1994.428-40.
    [12]Mei H,Shen JR.Progress of research on software architecture.Journal of Software,2006,17(6):1257-1275 (in Chinese with English abstract).http://www.jos.org.cn/1000-9825/17/1257.htm
    [13]Hu J,Zhang Y,Yu XF,Zhang T,Li XD,Zheng GL.Scenario-Driven component behavior derivation.Journal of Software,2007,18(1):50-61 (in Chinese with English abstract).http://www.jos.org.cn/1000-9825/18/50.htm
    [14]Hu HY,Lü J,Ma XX,Tao XP.Study on behavioral compatibility of components in software architecture using object-oriented paradigm.Journal of Software,2006,17(6):1276-1286 (in Chinese with English abstract).http://www.jos.org.cn/1000-9825/17/ 1276.htm
    [15]Bordeaux L,Salaün G.Using process algebra for Web services:Early results and perspectives.In:Nascimento MA,eds.Proc.of the 5th VLDB Workshop on Technologies for E-Services (VLDB-TES).Toronto:Springer-Verlag,2004.
    [16]Yang H,Zhao X,Qiu Z,Pu G.A formal model for Web service choreography description language (WS-CDL).In:Feig E,ed.Proc.of the IEEE Int'l Conf.on Web Services.Chicago:IEEE Computer Society,2006.
    [17]Brogi A,Canal C,Pimentel E,Vallecillo A.Formalizing Web service choreographies.In:Proc.of the 1st Int'l Workshop on Web Services and Formal Methods.Pisa:Elsevier,2004.
    [18]Chen Z,Wang J,Dong W,Qi Z.An interface model for service-oriented software architecture.Journal of Software,2006,17(6):1459-1469 (in Chinese with English abstract).http://www.jos.org.cn/1000-9825/17/1459.htm
    [19]Beyer D,Chakrabarti A,Hengzinger T.Web service interfaces.In:Carr L,eds.Proc.of the Int'l World Wide Web Conf.(WWW).Chiba:ACM,2005.148-159.
    [20]Nezhad H,Benatallah B,Martens A,Curbera F,Casati F.Semi-Automated adaptation of service interactions.In:Williamson CL,eds.Proc.of the Int'l World Wide Web Conf.(WWW).Banff:ACM,2007.993-1002.
    [6]张文涛,彭泳,陈俊亮.会话类E-Service的接口兼容和服务组合分析.计算机学报,2006,29(7):1047-1056.
    [12]梅宏,申峻嵘.软件体系结构研究进展.软件学报,2006,17(6):1257-1275.http://www.jos.org.cn/1000-9825/17/1257.htm
    [13]胡军,张岩,于笑丰,张天,李宣东,郑国梁.场景驱动的构件行为抽取.软件学报,2007,18(1):50-61.http://www.jos.org.cn/1000-9825/18/50.htm
    [14]胡海洋,吕建,马晓星,陶先平.面向对象范型体系结构中构件行为相容性研究.软件学报,2006,17(6):1276-1286.http://www.jos.org.cn/1000-9825/17/1276.htm
    [18]陈振邦,王戟,董威,齐治昌.面向服务软件体系结构的接口模型.软件学报,2006,17(6):1459-1469.http://www.jos.org.cn/1000-9825/17/1459.htm
    网友评论
    网友评论
    分享到微博
    发 布
引用本文

邓水光,李莹,吴健,邝砾,吴朝晖. Web服务行为兼容性的判定与计算.软件学报,2007,18(12):3001-3014

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

京公网安备 11040202500063号