| BPMN 2.0过程模型的语义和分析 |
| |
| 引用本文： | 赵莹,赵川,黄苾,代飞.BPMN 2.0过程模型的语义和分析[J].计算机科学,2018,45(Z11):558-563. |
| |
| 作者姓名： | 赵莹 赵川 黄苾 代飞 |
| |
| 作者单位： | 云南电力调度控制中心 昆明650011,云南电力调度控制中心 昆明650011,西南林业大学大数据与智能工程学院 昆明650224,西南林业大学大数据与智能工程学院 昆明650224 |
| |
| 基金项目： | 本文受国家自然科学基金项目(61462095,2),云南省自然科学基金项目(2016FB102)资助 |
| |
| 摘 要： | BPMN 2.0已成为了建模业务过程事实上的标准。BPMN 2.0过程模型中建模元素的混用会产生控制流方面的语义错误。首先,建立了BPMN 2.0过程模型到工作流网的映射,并使用Petri网来形式定义过程模型的语义；其次,借助Petri网的分析技术,使用这种定义的语义对BPMN 2.0过程模型进行了合理性分析。实验结果表明,这种形式化可以识别BPMN 2.0过程模型中的语义错误。
|
| 关 键 词： | 业务过程 语义定义 语义分析 BPMN 2.0 工作流网 |
Semantics and Analysis of BPMN 2.0 Process Models |
| |
| ZHAO Ying,ZHAO Chuan,HUANG Bi and DAI Fei.Semantics and Analysis of BPMN 2.0 Process Models[J].Computer Science,2018,45(Z11):558-563. |
| |
| Authors: | ZHAO Ying ZHAO Chuan HUANG Bi and DAI Fei |
| |
| Affiliation: | Yunnan Power Dispatching and Control Center,Kunming 650011,China,Yunnan Power Dispatching and Control Center,Kunming 650011,China,School of Big Data and Intelligence Engineering,Sourthwest Forestry University,Kunming 650224,China and School of Big Data and Intelligence Engineering,Sourthwest Forestry University,Kunming 650224,China |
| |
| Abstract: | The business process modelling notation 2.0 (BPMN 2.0) process is a defactor standard for capturing business processes.The mix of constructs found in BPMN 2.0 process makes it possible to obtain models with a range of semantic errors,including deadlocks and livelocks.Firstly,this paper defined a formal semantics of BPMN 2.0 process models in terms of a mapping to WF-nets.Secondly,this defined semantics were used to analyze the soundness of BPMN 2.0 process models,using analysis techniques of Petri nets.Finally,the experimental results showed that this formalization could identify the semantic errors of BPMN 2.0 process models. |
| |
| Keywords: | Business processes Semantic definition Semantic analysis BPMN 2 0 Workflow net |
|
| 点击此处可从《计算机科学》浏览原始摘要信息 |
|
点击此处可从《计算机科学》下载全文 |
|
