期刊文献+

基于扩展同步Petri网的BPEL建模 被引量:3

BPEL Modeling Based on Extended Synchronized Petri Net
下载PDF
导出
摘要 使用业务流程执行语言(BPEL)描述复杂业务流程时容易出错。针对以上问题,通过对同步Petri网进行扩展,设计一个更适合BPEL建模的模型SPN-NET,给出各种BPEL结构化活动到SPN-NET的转换,提出一种具有一般性的相似性化简算法。合理性验证和性能分析表明,该模型简洁紧凑,可理解性好。 In order to solve the problem that it is prone to occur errors when using Business Process Execution Language(BPEL) to describe complex business process, by extending synchronized Petri net, this paper designs a model named SPN-NET, which is more suitable for modeling BPEL, and Iranslates a variety of BPEL structures into the model. A general algorithm based on similar structure is put forward. Rationality validation and performance analysis show that the model is simple, compact and comprehensible.
出处 《计算机工程》 CAS CSCD 北大核心 2011年第2期57-59,共3页 Computer Engineering
关键词 同步器 PETRI网 业务流程执行语言 synchronizer Petri net Business Process Execution Language(BPEL)
  • 相关文献

参考文献4

  • 1门鹏,段振华.基于着色Petri网的BPEL建模与验证[J].西北大学学报(自然科学版),2007,37(6):986-990. 被引量:8
  • 2Dun Haiqiang, Xu Haiying. Transformation of BPEL Processes to Petri Nets[C]//Proc. of the 2rid International Symposium on Theoretical Aspects of Software Engineering. Nanjing, China:[s. n.], 2008: 166-173.
  • 3龙士工,罗文俊.随机Petri网性能等价化简与分析方法研究[J].计算机工程,2006,32(12):27-28. 被引量:6
  • 4Henrique J. A Framework for the Performance Analysis of Web Services Orchestrated with BPEL4WS[C]//Proc. of the 4th International Conference on Internet and Web Application and Service. Venice, Italy: [s. n.], 2009: 363-369.

二级参考文献12

共引文献12

同被引文献25

  • 1于守健,李卫民,吴国文,乐嘉锦.BPEL中基于有限状态自动机的Web服务自动组合[J].小型微型计算机系统,2007,28(4):742-747. 被引量:6
  • 2丁兆青,董传良.基于SOA的分布式应用集成研究[J].计算机工程,2007,33(10):246-248. 被引量:60
  • 3MARTENS A. Analyzing Web service based business proces- ses[J]. Lecture Notes in Computer Science, 2005,3442 :19-33.
  • 4HAMADI R, BENATALLAH B. A Petri net-based model for Web service composition[C]//Proceedings of the 14th Aus- tralasian Database Conference, Sydney, Australia: Australian Computer Society, 2003,17 : 191-200.
  • 5VAN DER AALST W M P. Verification of workflow nets[J]. Lecture Notes in Computer Science, 1997,1248 : 407-426.
  • 6VAN DER AALST W M P, VON HEE K. Workflow man- agement models, methods, and systems [ M]. Cambridge, Mass. , USA. The MIT Press, 2002 : 25-31.
  • 7TAN Wei, FAN Yushun, ZHOU Mengchu. A Petri net-based method for compatibility analysis and composition of Web serv- ices in business process execution language[J]. IEEE Transac- tions on Automation Science and Engineering, 2009, 6 ( 1 ) : 94-106.
  • 8LOHMANN N, MASSUTHE P, STAHL C, et al. Analy- zing interacting BPEL processes[J]. Lecture Notes in Com- puter Science, 2006,4102 : 17-32.
  • 9DU Yuyeu, JIANG Changjun, ZHOU Mengchu. Modeling and analysis of real-time cooperative systems using Petri nets [J]. IEEE Transactions on Systems, Man, and Cybernetics, Part A:Systems and Humans,2007,37(5):643-654.
  • 10VAN DER AALST W M P, MOOIJ A J, STAHL C, et al. Service Interaction: Patterns, Formalization, and Analysis. [J]. Lecture Notes in Computer Science, 2009,5569 :42-88.

引证文献3

二级引证文献4

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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