作者投稿和查稿 主编审稿 专家审稿 编委审稿 远程编辑

计算机工程 ›› 2011, Vol. 37 ›› Issue (2): 57-59. doi: 10.3969/j.issn.1000-3428.2011.02.020

• 软件技术与数据库 • 上一篇    下一篇

基于扩展同步Petri网的BPEL建模

刘 贤,李建华,李 向,陈 楠   

  1. (中南大学信息科学与工程学院,长沙 410075)
  • 出版日期:2011-01-20 发布日期:2011-01-25
  • 作者简介:刘 贤(1984-),男,硕士研究生,主研方向:Petri网,服务计算;李建华,教授;李 向、陈 楠,硕士

BPEL Modeling Based on Extended Synchronized Petri Net

LIU Xian, LI Jian-hua, LI Xiang, CHEN Nan   

  1. (School of Information Science and Engineering, Central South University, Changsha 410075, China)
  • Online:2011-01-20 Published:2011-01-25

摘要: 使用业务流程执行语言(BPEL)描述复杂业务流程时容易出错。针对以上问题,通过对同步Petri网进行扩展,设计一个更适合BPEL建模的模型SPN-NET,给出各种BPEL结构化活动到SPN-NET的转换,提出一种具有一般性的相似性化简算法。合理性验证和性能分析表明,该模型简洁紧凑,可理解性好。

关键词: 同步器, Petri网, 业务流程执行语言

Abstract: 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 translates 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.

Key words: synchronizer, Petri net, Business Process Execution Language(BPEL)

中图分类号: