-
题名业务过程模型的Petri网形式化检查方法
被引量：6
- 1
-
-
作者
邓建
陈智
曾家智
-
机构
电子科技大学计算机科学与工程学院
电子科技大学通信抗干扰国家级重点实验室
-
出处
《计算机集成制造系统》
EI
CSCD
北大核心
2011年第5期1110-1119,共10页
-
基金
国家863计划资助项目(2007AA040801)~~
-
文摘
为解决企业间业务协同模型形式化检查的问题,将采用标准业务过程建模符号的业务模型转换为Pe-tri网,构造出一种可建模企业间复杂业务协同的业务过程流网。采用过程定义可扩展标记语言2.1版本,开发了一种具有通用性的业务过程模型转换和检查工具。采用业务过程流网对供应链中企业间采购订单过程进行了建模。实验结果表明,业务过程流网能将符合过程定义可扩展标记语言规范的业务模型完整地转换为Petri网,得到的Petri网易于化简和分析。
-
关键词
企业间协同
业务建模
模型检查
业务过程建模符号
可扩展标记语言
PETRI网
-
Keywords
inter-organizational collaboration
business modeling
model checking
business process modeling nota-tion
extensible markup language
Petri nets
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
TP319
[自动化与计算机技术—计算机软件与理论]
-
-
题名XPDL2.0规范的过程控制模式分析
被引量：2
- 2
-
-
作者
凌卫青
王坚
-
机构
同济大学CIMS研究中心
-
出处
《计算机集成制造系统》
EI
CSCD
北大核心
2007年第9期1839-1846,共8页
-
基金
上海市科委重点资助项目(061612058)
上海市科委重大资助项目(06DZ12001)~~
-
文摘
介绍了XPDL 2.0规范和XPDL 1.0规范之间的差别;采用van der Aalst提出的20种工作流模式,着重分析了XPDL 1.0所不支持的九种过程控制模式,对其中XPDL 2.0支持的模式给出基于业务过程建模符号的图形示例和相应的XPDL 2.0代码实现示例。最后,揭示了XPDL 2.0规范在自身语义方面,以及与业务过程建模符号的语义一致性方面存在的问题。
-
关键词
工作流管理
过程控制模式
业务过程建模符号
-
Keywords
workflow management
process control pattern
business process modeling notation
-
分类号
TP301.2
[自动化与计算机技术—计算机系统结构]
C931.9
[经济管理—管理学]
-
-
题名基于结构化定理的BPMN结构化方法
被引量：1
- 3
-
-
作者
邓新国
林子禹
肖如良
-
机构
武汉大学软件工程国家重点实验室
-
出处
《计算机工程》
CAS
CSCD
北大核心
2009年第7期70-72,共3页
-
文摘
在基于标准模型驱动业务流程的开发环境中,需要把模型转换为代码。该文提出一种新的基于结构化定理的解决方法,把业务过程建模符号的非结构化程序转化为结构化程序,并通过一个实际案例说明其可行性。实验结果表明,该方法是有效的。
-
关键词
业务过程建模符号
业务流程图
转换
结构化
-
Keywords
Business Process Modeling Notation（BPMN）
Business Process Diagram（BPD）
transformation
structured
-
分类号
TP311.52
[自动化与计算机技术—计算机软件与理论]
-
