期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

面向应用的Web服务组合设计和验证框架

Application oriented framework for Web services composition design and verification
下载PDF
导出
摘要 针对Web服务组合设计规范缺乏形式化的语义和验证方法的问题,提出了一个自顶向下的Web服务设计和验证的框架-iFrame4WS。在iFrame4WS中,将Web服务组合的设计方案划分为描述层、抽象层和执行层,并通过抽象层的形式化模型和形式化验证来检查Web服务组合的正确性。 To deal with the issue that Web services composition design specifications lack of formal semantics and formal verification methods,the paper outlines a top-clown framework-iFrame4WS for Web services composition design and verification.ln iFrame4WS,the process of Web services composition is divided into description level, abstract level and execution level.The formal model and verification approach are defined in abstract level so as to ensure the correctness of Web services composition.
作者 辜希武 李瑞轩 卢正鼎
机构地区 华中科技大学计算机学院应用系
出处 《计算机工程与应用》 CSCD 北大核心 2008年第34期132-136,共5页 Computer Engineering and Applications
基金 国家自然科学基金No.60403027 No.60773191 国家高技术研究发展计划(863)No.2007AA01Z403~~
关键词 WEB服务 WEB服务组合 形式化模型 Web services Web services composition formal model
分类号 TP311 [自动化与计算机技术—计算机软件与理论]
  • 相关文献

参考文献12

  • 1Bucchiarone A,Gnesi S.A survey on services composition languages and models [C]//Proceedings of the International Workshop on Web Services Modeling and Testing,2006:51-63.
  • 2Andrews T,Cubera F,Dholakia H,et al.Business process execution language for Web services versionl.l[EB/OL].[2005-05].http://www- 128.ibm.com/developerworks/library/specification/ws-bpel/.
  • 3Kavantzas N,Burdett D,Rizinger G,et al.Web service choreography description language version 1.0[EB/OL].[2OOS-11].http://www.w3.org/ TR/ws-cdl- 10/.
  • 4Mendling J,Hafner M.From WS-CDL choreography to BPEL process orchestration[EB/OL].[2005-11 ].http ://wi.wu-wien.ac.at/home/ mendling/publications/TR06-CDL.pdf.
  • 5辜希武,卢正鼎.Web服务编排描述语言WS-CDL的形式化模型框架[J].计算机科学,2007,34(9):5-11. 被引量：7
  • 6Milner R,Parrow J,Walker D.A calculus of mobile process(Parts Ⅰ and Ⅱ )[J].Information and Computation, 1992,100: 1-77.
  • 7Victor B,Moller F.The mobility workbench-a tool for the Pi-calculus[C]//LNCS 818:Proceedings of the 5th International Conference on Computer Aided Verification, California, USA, 1994.London, UK : Springer-Verlag, 1994:428-440.
  • 8辜希武,卢正鼎.Web服务相容性的形式化描述与分析[J].计算机工程与应用,2007,43(27):28-33. 被引量：3
  • 9de Antonellis V,Melchiori M,Pernici B,et al.A methodology for e-service substitutability in a virtual district environment[C]//Eder J,Missikoff M.LNCS 2681:Proceedings of the 15th International Conference on Advanced Information Systems Engineering,Kiagenfurt, Austria, 2003.London, UK: Springer-Verlag, 2003 : 552-567.
  • 10Yeung W L,Wang J,Dong W.Yerifying choreographic descriptions of Web services based on CSP[C]//Proeeedings of the IEEE Services Computing Workshops (SCW'06),Washington D C,USA: IEEE Computer Society Press,2006:97-104.

二级参考文献36

  • 1饶元,冯博琴.基于Web Service的分布式松耦合环境下的可编程网络模型[J].小型微型计算机系统,2005,26(3):528-531. 被引量：5
  • 2Jian Yang, Mike. P. Papazoglou. Web component: A substrate for Web service reuse and composition. In: Lecture Notes in Computer Science 2348. Berlin: Springer, 2002. 21-36.
  • 3Haiyan Sun, Xiaodong Wang, Bin Zhou, et al. Research and implementation of dynamic Web services composition. In: Lecture Notes in Computer Science 2834. Berlin: Springer, 2003. 457-466.
  • 4M.L. Griss. Architecting for large-scale systematic component reuse. In: Proc. 1999 Int'l Conf. Software Engineering. Los Alamitos, CA: IEEE Computer Society Press, 1999. 615-616.
  • 5H. Mei, J. C. Chang, F. Q. Yang. Software component composition based on ADL and middleware. Science in China (F),2001, 44(2): 136-151.
  • 6Rachid Hamadi, Boualem Benatallah. A Petri net-based model for web service composition. The 14th Australasian Database Conf.Database Technologies 2003, Adelaide, Australia, 2003.
  • 7Juan R. Velasco, Sergio F. Castillo. Mobile agents for Web service composition. In: Lecture Notes in Computer Science 2738. Berlin: Springer, 2003. 135-144.
  • 8J. Peer. Bringing together semantic Web and Web services. In:Horrocks ed. Proc. Int'l Semantic Web Conf. Berlin: Springer-Verlag, 2002. 279-291.
  • 9A. Tsalgatidou, T. Pilioura. An overview of standards and related technology in Web services. Distributed and Parallel Databases,2002, 12(2-3): 135-162.
  • 10M. Hondo, N. Nagaratnam, A. Nadalin. Securing Web services.IBM Systems Journal, 2002, 41(2): 228-241.

共引文献11

计算机工程与应用
2008年 第34期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部