-
在结果中检索

检索结果分析

结果分析中...
检索条件："关键词=业务过程建模符号 "
共 条 记 录，以下是1-3

发文量、被引量趋势图

全选清除导出
参考文献引证文献引用追踪
视图：
排序：
显示条数：
业务过程模型的Petri网形式化检查方法被引量：6
《计算机集成制造系统》2011年第5期1110-1119,共10页邓建 陈智 曾家智 
国家863计划资助项目(2007AA040801)~~
为解决企业间业务协同模型形式化检查的问题,将采用标准业务过程建模符号的业务模型转换为Pe-tri网,构造出一种可建模企业间复杂业务协同的业务过程流网。采用过程定义可扩展标记语言2.1版本,开发了一种具有通用性的业务过程模型转换和...
关键词：企业间协同 业务建模 模型检查 业务过程建模符号 可扩展标记语言 PETRI网 
XPDL2.0规范的过程控制模式分析被引量：2
《计算机集成制造系统》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代码实现示例。最...
关键词：工作流管理 过程控制模式 业务过程建模符号 
基于结构化定理的BPMN结构化方法被引量：1
《计算机工程》2009年第7期70-72,共3页邓新国 林子禹 肖如良 
在基于标准模型驱动业务流程的开发环境中,需要把模型转换为代码。该文提出一种新的基于结构化定理的解决方法,把业务过程建模符号的非结构化程序转化为结构化程序,并通过一个实际案例说明其可行性。实验结果表明,该方法是有效的。
关键词：业务过程建模符号 业务流程图 转换 结构化 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部