题名 从BPMN到可执行业务流程建模
被引量：12
1
作者
秦天保
机构
上海海事大学交通运输学院
出处
《计算机应用》
CSCD
北大核心
2006年第B06期266-268,284,共4页
文摘
传统的可视化业务流程模型通常都无法直接转换成可执行的流程,而利用业务流程建模符号(BPMN)建立的业务流程模型可以直接映射到业务流程执行语言(BPEL4WS),在业务流程执行引擎中直接运行,提高了从业务流程建模到执行的效率。介绍了BPMN的基本符号及其与BPEL4WS的映射关系,给出了利用BPMN建模一个第三方物流运作流程并实现的案例。
关键词
业务流程 管理业务流程建模符号 (BPMN)面向服务的架构 第三方物流
分类号
TP311.52
[自动化与计算机技术—计算机软件与理论]
题名 基于模型的业务流程建模平台研究与实现
被引量：4
2
作者
陈剑辉 夏永霖 魏峻
机构
中国科学院软件研究所软件工程技术中心
出处
《计算机应用研究》
CSCD
北大核心
2008年第4期1271-1274,共4页
基金
国家自然科学基金资助项目(60673112)
文摘
提出了基于BPMN规范的三维业务流程模型,并采用模型驱动的开发方法和基于Eclipse插件实现了原型系统OnceBPD;最后利用该系统展示了一个旅行登记流程模型的案例。
关键词
业务流程 建 模 模 型驱动业务流程建模符号 ECLIPSE 插件
Keywords
business process modeling model driven BPMN（business process modeling notation） Eclipse plug-in
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
题名 基于连续语义的业务流程模型的转换
被引量：1
3
作者
马健 徐涛 张育平
机构
南京航空航天大学信息科学与技术学院
出处
《计算机应用》
CSCD
北大核心
2013年第A01期243-246,共4页
文摘
针对业务流程图与可执行模型之间一致性的问题,通过对常见工作流模式的分析,将流程表达的逻辑建模成一系列事件/状态的组合,设计了一种基于连续语义的模型转换方法,从而把含有非结构循环的业务流程模型转化为在功能上等价的仅仅支持结构循环的工作流代码。最后通过具体案例验证方法的有效性。
关键词
业务流程 图连续语义 结构循环 业务流程建模符号 业务 处理执行语言
Keywords
business process diagram continuous semantics structural loop Business Process Modeling Notation（BPMN） Business Process Execution Language（BPEL）
分类号
TP311.51
[自动化与计算机技术—计算机软件与理论]
题名 一种面向领域需求与业务流程间一致性的检测方法
被引量：1
4
作者
柳金杜 沈立炜 彭鑫 赵文耘
机构
复旦大学软件学院
出处
《小型微型计算机系统》
CSCD
北大核心
2013年第6期1270-1275,共6页
基金
国家"八六三"高技术研究发展计划项目(2011AA010101)资助
文摘
BPMN是软件开发领域中较为常用的描述业务流程的建模标准.在包含业务流程可变性的软件产品线中,基于BPMN的业务流程模板可支持针对领域需求的业务流程描述,并且能够高效地生成面向特定应用需求的业务流程实例.然而,领域需求与业务流程模板之间往往存在不一致情况.针对该问题,提出一种面向领域需求与业务流程一致性的模型检测方法,该方法使用变数线性时态逻辑(FLTL)描述领域需求,同时使用状态进程公式(FSP)描述BPMN实例,在持续的迭代过程中使用自动化模型检测工具发现领域需求与业务流程之间的不一致,并将其反馈给相关人员实施修正.
关键词
业务流程建模符号 (BPML)软件产品线 变数线性时态逻辑(FLTL) 状态进程公式(FSP)
Keywords
business process modeling language （ BPML ） software product line fluent linear temporal logic （ FLTL ） finite stateprocess （FSP）
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
题名 基于BPMN的指挥控制流程建模方法
被引量：1
5
作者
樊良优 姚小强 王刚 刘伟 何晟
机构
空军工程大学研究生院 空军工程大学防空反导学院 解放军
出处
《火力与指挥控制》
CSCD
北大核心
2023年第8期118-125,共8页
基金
国家自然科学基金资助项目(62106283)。
文摘
针对复杂场景下指挥控制流程建模问题,分析比较了几种常见的流程建模方案,提出基于BPMN的指挥控制流程建模方法。指挥员依托BPMN流程建模方法搭建指挥控制流程,实现对指挥员作战意图的灵活表达;开发人员基于云原生相关理论对原子服务进行更新扩充,实现流程任务与原子服务的精准匹配和动态更新,从指挥员和开发人员两个维度上体现了指挥控制流程一体化建模的特点。通过区域防空反导流程案例,验证了基于BPMN指挥控制流程模型具备灵活扩展,动态重组的特点。
关键词
指挥控制 云原生 业务流程建模符号 原子服务
Keywords
command and control cloud native business process modeling symbol atomic services
分类号
TP391
[自动化与计算机技术—计算机应用技术]
E83
[军事—战术学]
题名 BPMN到BPEL2.0的模型转换方法
被引量：10
6
作者
魏明 夏永霖 魏峻
机构
中国科学院软件研究所软件工程技术中心
出处
《计算机应用研究》
CSCD
北大核心
2008年第11期3363-3366,共4页
基金
国家"863"计划重点资助项目(2007AA010301) 国家科技支撑重大计划项目(2006EAH02A02)
文摘
随着WS-BPEL2.0规范标准的提出,现有的BPMN到BPEL的组件转换方法已不再适用。为了适应BPEL的变化,对组件的转换进行改动和扩展,对错误处理活动在语义上提供支持,并且提供了显式的事务特性支持。这种设计已经在中国科学院软件研究所软件工程中心研制的OnceBPD建模工具中得到实现,并在实际运用中检验了其可用性。
关键词
业务流程 管理模 型转换业务流程建模符号 业务流程 执行语言
Keywords
BPM （ business process management） model transformation BPMN （ business process modeling notation） BPEL
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
题名 云边协同杀伤网的作战链路服务化构建流程设计
7
作者
关星凯 张安 毕文豪 张百川
机构
西北工业大学航空学院
出处
《指挥与控制学报》
2025年第4期504-516,共13页
基金
国家自然科学基金(62073267)资助。
文摘
针对以往杀伤网作战链路服务化构建流程精确性低、结构化弱、不易分析修正的问题,提出了一种基于业务流程建模符号(business process modeling notation,BPMN)的流程设计方法,该方法在传统云协同体系架构的基础上设计了云边协同杀伤网架构;在边缘指挥控制理论的指导下分析了杀伤网的作战链路服务化构建流程,基于一切即服务模式明确了流程中关联的业务实体和包含的业务环节;基于业务流程3步法设计了用于生成流程的BPMN2.0模型片段及其聚合方式,并以海上反无人集群杀伤网为例,验证了方法的有效性。
关键词
云边协同 杀伤网 作战链路构建 业务流程建模符号
Keywords
cloud-edge collaboration kill web combat chain construction BPMN
分类号
E91
[军事]
