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

一种基于并发的BPEL控制流模型的分析及验证

Analysis and Verification of a Concurrent-Based Model of Control Flow in BPEL
下载PDF
导出
摘要 为了更好地对组合服务的控制流进行分析及验证,提出了一种基于并发的BPEL控制流模型.首先给出了该模型的定义,并通过把BPEL中选择结构的控制流转换为具有相同语义的并发结构控制流来实现对该模型结构的简化.在此基础上,给出了3个与并发模型密切相关的属性:无死锁性、意义完全性及无冲突性的定义,并分别讨论了这3个属性的验证方法及其意义.最后,通过一个组合服务实例证明了该模型及验证方法的有用性. 为了更好地对组合服务的控制流进行分析及验证,提出了一种基于并发的BPEL控制流模型.首先给出了该模型的定义,并通过把BPEL中选择结构的控制流转换为具有相同语义的并发结构控制流来实现对该模型结构的简化.在此基础上,给出了3个与并发模型密切相关的属性:无死锁性、意义完全性及无冲突性的定义,并分别讨论了这3个属性的验证方法及其意义.最后,通过一个组合服务实例证明了该模型及验证方法的有用性.
作者 张功源 李必信 邱栋 吉顺慧
机构地区 东南大学计算机科学与工程学院
出处 《计算机研究与发展》 EI CSCD 北大核心 2010年第S1期249-254,共6页 Journal of Computer Research and Development
基金 国家"八六三"高技术研究发展计划基金项目(2008AA01Z113) 国家自然科学基金项目(60773105 60973149)
关键词 WEB服务 服务组合 验证 并发 Web service service composition verification concurrent
分类号 TP3 [自动化与计算机技术—计算机科学与技术]
  • 相关文献

参考文献8

  • 1雷丽晖,段振华.一种基于扩展有限自动机验证组合Web服务的方法[J].软件学报,2007,18(12):2980-2990. 被引量：37
  • 2廖军,谭浩,刘锦德.基于Pi-演算的Web服务组合的描述和验证[J].计算机学报,2005,28(4):635-643. 被引量：107
  • 3Web services business process executionlanguage. OASIS Standard . 2010 被引量：1
  • 4Kazhamiakin R,Pistore M,Santuari L.A parametriccommunication model for the verification of Web servicecompositions. Proc of Int World Wide WebConf . 2005 被引量：1
  • 5Fang Yu,Chao Wang.Modular verification of Web servicesusing efficient symbolic encoding and summarization. Proc ofthe 16th ACM Int Symp on Foundations of SoftwareEngineering . 2008 被引量：1
  • 6Kazhamiakin R,Pistore M.Static Verification of Control and Data in Web Service Compositions. Proc.of IEEE International Conference on Web Services . 2006 被引量：1
  • 7Fu X,Bultan T,Su JW.Analysis of interacting BPEL Web services. Proceedings of the Thirteenth International World Wide Web Conference (WWW 2004) . 2004 被引量：1
  • 8Foster H,Uchitel S,Magee J,et al.Model based verification of web service compositions. Proceedings of the 18th IEEE International Conference on Automated Software Engineering (ASE’03) . 2003 被引量：1

二级参考文献19

  • 1钱柱中,陆桑璐,谢立.基于Petri网的Web服务自动组合研究[J].计算机学报,2006,29(7):1057-1066. 被引量：60
  • 2HOU Lishan1,3,JIN ZHi1,2 & WU Budan1,4 1. Academy of Mathematics and Systems Science, Chinese Academy of Sciences, Beijing 100080, China,2. Institute of Computing Technology, Chinese Academy of Sciences, Beijing 100080, China,3. Institute of Software, Chinese Academy of Sciences, Beijing 100080, China,4. Graduate University of Chinese Academy of Sciences, Beijing 100049, China.Modeling and verifying Web services driven by requirements:An ontology-based approach[J].Science in China(Series F),2006,49(6):792-820. 被引量：15
  • 3Koehler J., Srivastava B. Web service composition: Current solutions and open problems. In: Proceedings of the 13th International Conference on Automated Planning & Scheduling, Trento, Italy, 2003, 28～35 被引量：1
  • 4Milner R. Communication and Concurrency. Englewood Cliffs: Prentice -Hall, 1989 被引量：1
  • 5Fensel D. The semantic web and its languages. IEEE Intelligent Systems, 2000, 15(6): 67～73 被引量：1
  • 6Milner R. Communicating and Mobile Systems: The Pi-Calculus. Cambridge: Cambridge University Press, 1999 被引量：1
  • 7Milner R., Parrow J., Walker D. A calculus of mobile processes, part I/II. Journal of Information and Computation, 1992, 100(1): 1～77 被引量：1
  • 8Lin Hui-Min. Complete proof systems for observation congruences in finite control pi-calculus. In: Proceedings of the 25th International Colloquium on Automata, Languages and Programming, Aalborg, Denmark, 1998, 443～454 被引量：1
  • 9Jiao Wen-Pin, Zhou Ming-Hui, Wang Qian-Xiang. Formal framework for adaptive multi-agent Systems. In: Proceedings of IEEE/WIC International Conference on Intelligent Agent Technology, Halifax, Canada, 2003, 442～445 被引量：1
  • 10Markus Lumpe. A Pi-calculus based approach to software composition [Ph.D. dissertation]. Institute of Computer Science and Applied Mathematics, University of Bern, Switzerland, 1999 被引量：1

共引文献132

计算机研究与发展
2010年 第S1期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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