期刊文献+
共找到30篇文章
< 1 2 >
每页显示 20 50 100
A Process Oriented Integration Model for Smart Health Services
1
作者 Farzana Kausar Gondal Syed Khuram Shahzad +1 位作者 Muhammad Arfan Jaffar Muhammad Waseem Iqbal 《Intelligent Automation & Soft Computing》 SCIE 2023年第2期1369-1386,共18页
Cities are facing challenges of high rise in population number and con-sequently need to be equipped with latest smart services to provide luxuries of life to its residents.Smart integrated solutions are also a need t... Cities are facing challenges of high rise in population number and con-sequently need to be equipped with latest smart services to provide luxuries of life to its residents.Smart integrated solutions are also a need to deal with the social and environmental challenges,caused by increasing urbanization.Currently,the development of smart services’integrated network,within a city,is facing the bar-riers including;less efficient collection and sharing of data,along with inadequate collaboration of software and hardware.Aiming to resolve these issues,this paper recommended a solution for a synchronous functionality in the smart services’integration process through modeling technique.Using this integration modeling solution,atfirst,the service participants,processes and tasks of smart services are identified and then standard illustrations are developed for the better understand-ing of the integrated service group environment.Business process modeling and notation(BPMN)language based models are developed and discussed for a devised case study,to test and experiment i.e.,for remote healthcare from a smart home.The research is concluded with the integration process model application for the required data sharing among different service groups.The outcomes of the modeling are better understanding and attaining maximum automation that can be referenced and replicated. 展开更多
关键词 process modeling business process business process integration business process modeling and notation
下载PDF
BPMN 2.0编排的形式语义和分析 被引量:19
2
作者 代飞 赵文卓 +3 位作者 杨云 莫启 李彤 周华 《软件学报》 EI CSCD 北大核心 2018年第4期1094-1114,共21页
BPMN 2.0编排已成为描述业务流程间交互事实上的标准.BPMN 2.0编排面向流的特征,使之会产生控制流方面的语义错误.因此,检查编排语义正确性是BPMN 2.0编排建模工具所期望具有的功能.但是,BPMN 2.0标准规约中的编排缺少形式语义及相应的... BPMN 2.0编排已成为描述业务流程间交互事实上的标准.BPMN 2.0编排面向流的特征,使之会产生控制流方面的语义错误.因此,检查编排语义正确性是BPMN 2.0编排建模工具所期望具有的功能.但是,BPMN 2.0标准规约中的编排缺少形式语义及相应的分析技术,这阻碍了对BPMN 2.0编排的语义分析.提出了一种映射,用于将BPMN 2.0编排转换为工作流网,使用Petri网来形式化定义BPMN 2.0编排的语义.借助Petri网的分析技术,这种定义的语义可用来分析BPMN 2.0编排的结构和控制流方面的错误.该映射和语义分析已被实现为一种工具.实验结果表明,这种形式化可以识别BPM AI过程模型库中编排的语义错误. 展开更多
关键词 业务流程建模标注2.0 编排 PETRI网 形式语义 语义分析
下载PDF
基于BPMN2.0标准的电力系统业务流程管理平台 被引量:11
3
作者 罗华永 张敏杰 +1 位作者 杨宁 张晓慧 《电力系统自动化》 EI CSCD 北大核心 2012年第18期148-152,共5页
设计并实现了面向服务架构的流程管理平台。通过分析电力系统各业务应用之间流程的集成、集约化管理和流程闭环管理的需求,提出了针对电力集团企业的分布式流程管理平台的总体架构,介绍了该平台的关键组件,包括流程设计器、流程客户端... 设计并实现了面向服务架构的流程管理平台。通过分析电力系统各业务应用之间流程的集成、集约化管理和流程闭环管理的需求,提出了针对电力集团企业的分布式流程管理平台的总体架构,介绍了该平台的关键组件,包括流程设计器、流程客户端、流程引擎、流程管理控制台以及流程统计与分析等,以两级审批流程为例说明了基于该平台的流程交互过程。该平台支持BPMN2.0标准,提供面向各业务的流程集成及流程的集约化管理,支持流程的全生命周期管理。 展开更多
关键词 流程集成 业务流程管理 业务流程建模标注 流程集约化管理
下载PDF
XPDL2.0规范的过程控制模式分析 被引量:2
4
作者 凌卫青 王坚 《计算机集成制造系统》 EI CSCD 北大核心 2007年第9期1839-1846,共8页
介绍了XPDL 2.0规范和XPDL 1.0规范之间的差别;采用van der Aalst提出的20种工作流模式,着重分析了XPDL 1.0所不支持的九种过程控制模式,对其中XPDL 2.0支持的模式给出基于业务过程建模符号的图形示例和相应的XPDL 2.0代码实现示例。最... 介绍了XPDL 2.0规范和XPDL 1.0规范之间的差别;采用van der Aalst提出的20种工作流模式,着重分析了XPDL 1.0所不支持的九种过程控制模式,对其中XPDL 2.0支持的模式给出基于业务过程建模符号的图形示例和相应的XPDL 2.0代码实现示例。最后,揭示了XPDL 2.0规范在自身语义方面,以及与业务过程建模符号的语义一致性方面存在的问题。 展开更多
关键词 工作流管理 过程控制模式 业务过程建模符号
下载PDF
BPMN到BPEL2.0的模型转换方法 被引量:10
5
作者 魏明 夏永霖 魏峻 《计算机应用研究》 CSCD 北大核心 2008年第11期3363-3366,共4页
随着WS-BPEL2.0规范标准的提出,现有的BPMN到BPEL的组件转换方法已不再适用。为了适应BPEL的变化,对组件的转换进行改动和扩展,对错误处理活动在语义上提供支持,并且提供了显式的事务特性支持。这种设计已经在中国科学院软件研究所软件... 随着WS-BPEL2.0规范标准的提出,现有的BPMN到BPEL的组件转换方法已不再适用。为了适应BPEL的变化,对组件的转换进行改动和扩展,对错误处理活动在语义上提供支持,并且提供了显式的事务特性支持。这种设计已经在中国科学院软件研究所软件工程中心研制的OnceBPD建模工具中得到实现,并在实际运用中检验了其可用性。 展开更多
关键词 业务流程管理 模型转换 业务流程建模符号 业务流程执行语言
下载PDF
基于BPMN2.0的数控机床主传动系统动态能耗建模 被引量:5
6
作者 王声威 张华 +1 位作者 鄢威 潘媛 《现代制造工程》 CSCD 北大核心 2019年第4期96-104,共9页
选取数控机床的主要耗能子系统即主传动系统进行研究,针对其加工过程中能量消耗动态变化且难以规范化描述的特点,通过主传动系统能量消耗动态性的分析,提出了一种基于业务流程建模规范BPMN2. 0的数控机床主传动系统动态能耗建模方法。... 选取数控机床的主要耗能子系统即主传动系统进行研究,针对其加工过程中能量消耗动态变化且难以规范化描述的特点,通过主传动系统能量消耗动态性的分析,提出了一种基于业务流程建模规范BPMN2. 0的数控机床主传动系统动态能耗建模方法。该方法利用BPMN2. 0的符号和语义对主传动系统不同能耗单元的执行流程、配合关系进行描述,并利用数据关联集成建立的业务流程建模规范(BPMN)能耗模型,实现了制造过程中数控机床主传动系统能耗动态性的图形化表达与能耗计算。最后,以某数控铣床加工过程为例,对所述模型及方法进行了应用,验证了其有效性与准确性。 展开更多
关键词 业务流程建模规范BPMN2.0 主传动系统 能耗建模
下载PDF
创新推进模式 引领建模2.0 被引量:2
7
作者 翁红兵 郄金波 《船舶与海洋工程》 2018年第4期72-77,共6页
为加快推进现代造船模式,中国船舶工业集团有限公司于2016年提出"建立现代造船模式2.0",并将其作为指导公司未来十年造船建模工作的纲领性文件。对此,沪东中华造船(集团)有限公司快速推进部署建立现代造船模式2.0各项工作,通... 为加快推进现代造船模式,中国船舶工业集团有限公司于2016年提出"建立现代造船模式2.0",并将其作为指导公司未来十年造船建模工作的纲领性文件。对此,沪东中华造船(集团)有限公司快速推进部署建立现代造船模式2.0各项工作,通过成立组织机构、组建会议平台、制定管理制度和选择关键抓手等措施,取得丰硕成果。 展开更多
关键词 现代造船模式2.0 中间产品完整性 精细化派工 新工艺新技术 业务流程梳理
下载PDF
RPA流程标准化定义与设计
8
作者 赖琪 蔡宇辉 +3 位作者 夏斯琼 谢晓全 刘沛 李肯立 《计算机科学》 CSCD 北大核心 2023年第12期82-88,共7页
为解决机器人流程自动化(Robotic Process Automation,RPA)领域缺乏统一流程描述方法的问题,文中提出了一种用于定义和描述RPA流程的规范,主要包括RPA流程中的各类对象,可用于分析复杂RPA应用场景;同时,为更好地定义与描述工作流系统的... 为解决机器人流程自动化(Robotic Process Automation,RPA)领域缺乏统一流程描述方法的问题,文中提出了一种用于定义和描述RPA流程的规范,主要包括RPA流程中的各类对象,可用于分析复杂RPA应用场景;同时,为更好地定义与描述工作流系统的流程,并解决RPA领域暂无流程建模标准而导致的流程脚本不兼容问题,以业务流程模型和符号(Business Process Model and Notation,BPMN)标准为基础,定义了一套RPA流程建模符号及标签系统。最后,以一种银行系统的典型业务流程为例,展示了使用该规范定义与描述此业务流程的结果,并使用Petri网进行了流程的正确性证明。 展开更多
关键词 机器人流程自动化 业务流程模型和符号 PETRI网
下载PDF
基于BPMN的业务流程一体化建模方法 被引量:22
9
作者 蔡章利 易树平 《计算机集成制造系统》 EI CSCD 北大核心 2010年第3期551-557,共7页
为了给业务分析员提供一种简单易懂、直接支持计算机仿真和执行的可视化业务流程建模方法,提出了业务流程一体化建模概念及方法。该方法以业务分析员为本,用业务流程建模符号可视化描述业务流程,用非结构化方式存储业务流程;基于元素语... 为了给业务分析员提供一种简单易懂、直接支持计算机仿真和执行的可视化业务流程建模方法,提出了业务流程一体化建模概念及方法。该方法以业务分析员为本,用业务流程建模符号可视化描述业务流程,用非结构化方式存储业务流程;基于元素语义细分设计理念,完善了业务流程建模符号规范图形元素的显示语义,引入非图形元素Node,以明确业务流程执行语义,设计了描述业务流程模型的元模型结构及计算机仿真与执行机制。通过实际研发业务流程管理系统,验证了该方法的可行性。 展开更多
关键词 业务分析员 业务流程一体化建模 元模型 建模符号 语义
下载PDF
基于IDM的建筑工程设计阶段流程图描述方法研究 被引量:12
10
作者 明星 周成 +1 位作者 姚毅荣 邓雪原 《图学学报》 CSCD 北大核心 2014年第1期138-144,共7页
IDM(Information Delivery Manual)是将IFC标准应用到特定阶段、特定目的 BIM的关键。国外对IDM的研究涉及结构设计、能量分析、设备运维和基建工程等多个方面,而国内却少有相关文章。该文旨在规范化建筑工程设计流程,细化IDM标准。结... IDM(Information Delivery Manual)是将IFC标准应用到特定阶段、特定目的 BIM的关键。国外对IDM的研究涉及结构设计、能量分析、设备运维和基建工程等多个方面,而国内却少有相关文章。该文旨在规范化建筑工程设计流程,细化IDM标准。结合建筑设计企业的实际设计过程,利用BPMN(Business Process Modeling Notation)方法,详细描述基于IDM的建筑工程设计阶段建筑专业的流程图,对其他专业设计流程有借鉴意义,为IDM标准的顺利实施奠定基础。 展开更多
关键词 建筑信息模型 信息交付手册 业务流程建模标记 流程图 建筑工程设计
下载PDF
基于IDM的建筑能耗分析流程研究 被引量:8
11
作者 陈冲 马小军 成荣荣 《科技通报》 北大核心 2017年第4期186-190,共5页
将建筑信息模型(BIM)技术应用于建筑性能分析,用信息交付手册(IDM)方法定义能耗分析流程,可规范能耗分析过程,提高能耗分析的效率。首先主要从流程定义的角度出发,利用业务流程建模标记(BPMN)方法,绘制基于IDM的建筑设计阶段能耗分析流... 将建筑信息模型(BIM)技术应用于建筑性能分析,用信息交付手册(IDM)方法定义能耗分析流程,可规范能耗分析过程,提高能耗分析的效率。首先主要从流程定义的角度出发,利用业务流程建模标记(BPMN)方法,绘制基于IDM的建筑设计阶段能耗分析流程图,通过gb XML文件将Revit建立的建筑模型链接到Ecotect软件中,再运用Ecotect软件对流程图中的部分活动内容进行仿真分析,最后模拟出建筑的能耗情况。实例仿真结果表明,该分析流程在一定程度可以促进建筑节能。 展开更多
关键词 建筑信息模型(BIM) 能耗分析 信息交付手册 业务流程建模标记
下载PDF
基于BPMN的作战视图辅助设计方法 被引量:1
12
作者 朱德成 罗爱民 +1 位作者 黄力 罗雪山 《火力与指挥控制》 CSCD 北大核心 2007年第4期38-41,共4页
体系结构设计在C4ISR系统开发中越来越受到重视。由于目前体系结构设计主要是依据DOD体系结构框架,体系结构产品是框架最基本的表现形式,因此,体系结构产品设计是体系结构设计中的一个关键问题。在深入研究BPM N的基础上,提出了基于BPM ... 体系结构设计在C4ISR系统开发中越来越受到重视。由于目前体系结构设计主要是依据DOD体系结构框架,体系结构产品是框架最基本的表现形式,因此,体系结构产品设计是体系结构设计中的一个关键问题。在深入研究BPM N的基础上,提出了基于BPM N的作战视图辅助设计方法,建立了企业过程图与作战视图产品OV 5、OV 6的转换关系。 展开更多
关键词 BPMN 体系结构 体系结构产品
下载PDF
从BPMN模型导出组合服务的代数规约 被引量:1
13
作者 余波 《计算机工程与科学》 CSCD 北大核心 2013年第2期74-80,共7页
针对应用规约自动测试BPEL表示组合服务时需要解决BPEL服务的规约生成问题,提出了一种从BPMN模型导出BPEL规范定义的组合Web服务的由代数规约语言CASOCC-WS表示的代数规约方法。首先,定义从BPMN模型转换成基调的规则和从BPMN结构转换成... 针对应用规约自动测试BPEL表示组合服务时需要解决BPEL服务的规约生成问题,提出了一种从BPMN模型导出BPEL规范定义的组合Web服务的由代数规约语言CASOCC-WS表示的代数规约方法。首先,定义从BPMN模型转换成基调的规则和从BPMN结构转换成正则表达式的规则,设计由正则表达式导出构成公理的项的算法;然后,提出根据所得的项人工书写公理的启发式规则;最后,实现一个从BPMN模型导出组合服务基调的工具原型。案例研究表明,该方法可以解决BPEL服务的代数规约生成问题。 展开更多
关键词 代数规约 组合服务 业务流程建模标注 业务流程可执行语言
下载PDF
基于BPMN的变电站辅助监控应急预案模型研究
14
作者 杨莎 黄树欣 +1 位作者 陈亮 杨世亭 《自动化与仪表》 2017年第6期10-15,共6页
该文阐述了变电站智能化发展要求及辅助综合监控系统发展现状,指出变电站应急预案存在的问题,针对存在问题,设计了一种基于BPMN2.0建模语言标准的应急预案模型设计方法,通过对事件、业务活动、网关等抽象组件建模,构建了一套完整、标准... 该文阐述了变电站智能化发展要求及辅助综合监控系统发展现状,指出变电站应急预案存在的问题,针对存在问题,设计了一种基于BPMN2.0建模语言标准的应急预案模型设计方法,通过对事件、业务活动、网关等抽象组件建模,构建了一套完整、标准统一的应急预案管理流程。以流程图生成的标准格式XML建模文件为数据基础,设计了预案制定、预案知识库构建、预案启动、逻辑推理及专家决策等各个模块的逻辑处理流程,并采用"信息组团"形式界面展示火灾告警事故操控预案及组态执行案例。该系统目前运行稳定,为变电站安全运行提供了安全保障措施。 展开更多
关键词 变电站 辅助监控 应急预案 工作流 BPMN 信息组团 告警联动
下载PDF
基于模型的业务流程建模平台研究与实现 被引量:4
15
作者 陈剑辉 夏永霖 魏峻 《计算机应用研究》 CSCD 北大核心 2008年第4期1271-1274,共4页
提出了基于BPMN规范的三维业务流程模型,并采用模型驱动的开发方法和基于Eclipse插件实现了原型系统OnceBPD;最后利用该系统展示了一个旅行登记流程模型的案例。
关键词 业务流程建模 模型驱动 业务流程建模符号 ECLIPSE 插件
下载PDF
业务流程建模标注可配置建模技术 被引量:2
16
作者 韩伟伦 张红延 《计算机集成制造系统》 EI CSCD 北大核心 2013年第8期1928-1934,共7页
为了解决当前业务过程建模语言场景描述能力较差和模型执行时图元利用率低的问题,提出一种可配置的建模语言方案。基于图论及过程模型扩展途径的研究,通过建立可配置图元并为其增加可配置属性,对现有的过程建模语言BPMN进行可配置扩展... 为了解决当前业务过程建模语言场景描述能力较差和模型执行时图元利用率低的问题,提出一种可配置的建模语言方案。基于图论及过程模型扩展途径的研究,通过建立可配置图元并为其增加可配置属性,对现有的过程建模语言BPMN进行可配置扩展。建立了基于控制流可配置的C-BPMN语言,并给出了该语言的形式化描述。通过给出C-BPMN的语法规则,验证了扩展后的可配置建模语言的成立条件。 展开更多
关键词 业务过程建模 业务流程建模标注 可配置过程模型
下载PDF
基于结构化定理的BPMN结构化方法 被引量:1
17
作者 邓新国 林子禹 肖如良 《计算机工程》 CAS CSCD 北大核心 2009年第7期70-72,共3页
在基于标准模型驱动业务流程的开发环境中,需要把模型转换为代码。该文提出一种新的基于结构化定理的解决方法,把业务过程建模符号的非结构化程序转化为结构化程序,并通过一个实际案例说明其可行性。实验结果表明,该方法是有效的。
关键词 业务过程建模符号 业务流程图 转换 结构化
下载PDF
基于连续语义的业务流程模型的转换 被引量:1
18
作者 马健 徐涛 张育平 《计算机应用》 CSCD 北大核心 2013年第A01期243-246,共4页
针对业务流程图与可执行模型之间一致性的问题,通过对常见工作流模式的分析,将流程表达的逻辑建模成一系列事件/状态的组合,设计了一种基于连续语义的模型转换方法,从而把含有非结构循环的业务流程模型转化为在功能上等价的仅仅支持结... 针对业务流程图与可执行模型之间一致性的问题,通过对常见工作流模式的分析,将流程表达的逻辑建模成一系列事件/状态的组合,设计了一种基于连续语义的模型转换方法,从而把含有非结构循环的业务流程模型转化为在功能上等价的仅仅支持结构循环的工作流代码。最后通过具体案例验证方法的有效性。 展开更多
关键词 业务流程图 连续语义 结构循环 业务流程建模符号 业务处理执行语言
下载PDF
基于Pi演算的BPMN编排模式 被引量:1
19
作者 杨鹏玉 邱锦伦 《计算机工程》 CAS CSCD 北大核心 2009年第23期274-277,共4页
针对业务流程建模标记(BPMN)无法依靠自身对编排进行形式化分析的问题,提出用Pi演算描述BPMN编排模式,实现对BPMN编排的描述。BPMN编排模式是服务交互模式的BPMN表达。实验结果表明,该方法能够找到并排除BPMN编排中的死锁。
关键词 业务流程建模标记 PI演算 编排
下载PDF
支持跨组织协作的高可靠性服务编排框架 被引量:1
20
作者 郜启凯 李莹 邓水光 《计算机集成制造系统》 EI CSCD 北大核心 2021年第9期2501-2507,共7页
为解决跨组织服务编排复杂度高的问题,提出一种基于网络代理的去中心化服务编排框架。该框架基于BPMN 2.0规范实现,通过网络代理和递归转发技术实现了服务编排引擎的去中心化。针对第三方服务质量不可控的问题,提出了补偿发送和服务重... 为解决跨组织服务编排复杂度高的问题,提出一种基于网络代理的去中心化服务编排框架。该框架基于BPMN 2.0规范实现,通过网络代理和递归转发技术实现了服务编排引擎的去中心化。针对第三方服务质量不可控的问题,提出了补偿发送和服务重定向技术,通过异常再确认、快速重传、代理转发等技术,防止单个服务的偶发异常导致全部前置工作的废弃,保证了服务编排框架的可靠性。实验表明,相对于与传统服务编排框架,该服务编排框架具备更灵活的服务替换和扩展能力,且当网络或服务实例不稳定时,能够以可接受的性能损失使工作流执行成功率提升16.508%~20.804%。 展开更多
关键词 跨组织协作 服务编排 高可靠性网络代理 业务流程管理模型和标记法
下载PDF
上一页 1 2 下一页 到第
使用帮助 返回顶部