互联网 qkzz.net
全刊杂志网:首页 > 女性 > 文章正文
刊社推荐

基于接口自动机的BPEL4WS Web服务组合形式化模型


□ 苏焕程 黄志球 刘林源

  (南京航空航天大学 信息科学与技术学院 南京 210016)
  
  摘 要:介绍了接口自动机的基本语法,针对目前最主要的一种描述和执行基于工作流模式的Web服务组合的规范——Web服务商业流程执行语言 (business process execution language for Web services,BPEL4WS),定义了接口自动机和BPEL4WS之间的概念映射,并给出了BPEL4WS的基于接口自动机的形式化模型,最后通过一个案例给出了BPEL4WS到接口自动机的映射及验证的方法。
  关键词:接口自动机; Web服务; Web服务组合; Web服务商业流程执行语言
  中图分类号:TP311 文献标志码:A
  文章编号:1001-3695(2009)05-1774-04
  
  Interface automatabased formal model for BPEL4WS Web service composition
  SU Huan-cheng HUANG Zhi-qiu LIU Lin-yuan
   (College of Information Science & Technology Nanjing University of Aeronautics & Astronautics Nanjing 210016,China)
  Abstract:This paper introduced basic syntax of interface automata. For the most important kind of specification of specifying and executing workflowbased Web service compositionbusiness process execution language for Web services(BPEL4WS) defined the conception mapping between interface automata and BPEL4WS and presented a interface automatabased formal model for BPEL4WS. Introduced the model verification method through a case study.
  Key words:interface automata; Web service; Web service composition; BPEL4WS
  
  0 引言 ......
很抱歉,暂无全文,若需要阅读全文或喜欢本刊物请联系《计算机应用研究》杂志社购买。
欢迎作者提供全文,请点击编辑
分享:
 

了解更多资讯,请关注“木兰百花园”
分享:
 
精彩图文


关键字
支持中国杂志产业发展,请购买、订阅纸质杂志,欢迎杂志社提供过刊、样刊及电子版。
关于我们 | 网站声明 | 刊社管理 | 网站地图 | 联系方式 | 中图分类法 | RSS 2.0订阅 | IP查询
全刊杂志赏析网 2017