期刊文献+
共找到37篇文章
< 1 2 >
每页显示 20 50 100
基于HCPN的复杂BPMN协作模型数据流建模与验证 被引量:2
1
作者 黄凤兰 倪枫 +3 位作者 刘姜 陶蒙怡 周奕宁 李业勋 《计算机集成制造系统》 EI CSCD 北大核心 2024年第5期1754-1769,共16页
为了保证复杂BPMN协作模型的正确性,不仅要涵盖多实例和子进程等复杂元素,还要在检测控制流错误的同时检测数据流错误。但业务流程建模标注(BPMN 2.0)缺乏形式化语义的描述,这对模型正确性的验证造成了阻碍。因此,给出了一种具有弧权重... 为了保证复杂BPMN协作模型的正确性,不仅要涵盖多实例和子进程等复杂元素,还要在检测控制流错误的同时检测数据流错误。但业务流程建模标注(BPMN 2.0)缺乏形式化语义的描述,这对模型正确性的验证造成了阻碍。因此,给出了一种具有弧权重的层次化着色Petri网(HCPN)的定义,它既可以对数据流进行形式化表示,又可以对多实例和子进程结构进行建模。进一步提出了从BPMN协作模型到HCPN模型的形式化映射方法。然后基于HCPN模型的弧权重给出了缺失、丢失和冗余3种数据流错误的定义,并提出了对应的检测算法。最后,设计了一个自动化建模与验证的框架,通过一个案例研究说明了该方法的有效性。 展开更多
关键词 着色PETRI网 bpmn协作模型 数据流错误 模型验证 形式化
下载PDF
A Process Oriented Integration Model for Smart Health Services
2
作者 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
基于BPMN2.0标准的电力系统业务流程管理平台 被引量:11
3
作者 罗华永 张敏杰 +1 位作者 杨宁 张晓慧 《电力系统自动化》 EI CSCD 北大核心 2012年第18期148-152,共5页
设计并实现了面向服务架构的流程管理平台。通过分析电力系统各业务应用之间流程的集成、集约化管理和流程闭环管理的需求,提出了针对电力集团企业的分布式流程管理平台的总体架构,介绍了该平台的关键组件,包括流程设计器、流程客户端... 设计并实现了面向服务架构的流程管理平台。通过分析电力系统各业务应用之间流程的集成、集约化管理和流程闭环管理的需求,提出了针对电力集团企业的分布式流程管理平台的总体架构,介绍了该平台的关键组件,包括流程设计器、流程客户端、流程引擎、流程管理控制台以及流程统计与分析等,以两级审批流程为例说明了基于该平台的流程交互过程。该平台支持BPMN2.0标准,提供面向各业务的流程集成及流程的集约化管理,支持流程的全生命周期管理。 展开更多
关键词 流程集成 业务流程管理 业务流程建模标注 流程集约化管理
下载PDF
基于BPMN的业务流程一体化建模方法 被引量:22
4
作者 蔡章利 易树平 《计算机集成制造系统》 EI CSCD 北大核心 2010年第3期551-557,共7页
为了给业务分析员提供一种简单易懂、直接支持计算机仿真和执行的可视化业务流程建模方法,提出了业务流程一体化建模概念及方法。该方法以业务分析员为本,用业务流程建模符号可视化描述业务流程,用非结构化方式存储业务流程;基于元素语... 为了给业务分析员提供一种简单易懂、直接支持计算机仿真和执行的可视化业务流程建模方法,提出了业务流程一体化建模概念及方法。该方法以业务分析员为本,用业务流程建模符号可视化描述业务流程,用非结构化方式存储业务流程;基于元素语义细分设计理念,完善了业务流程建模符号规范图形元素的显示语义,引入非图形元素Node,以明确业务流程执行语义,设计了描述业务流程模型的元模型结构及计算机仿真与执行机制。通过实际研发业务流程管理系统,验证了该方法的可行性。 展开更多
关键词 业务分析员 业务流程一体化建模 元模型 建模符号 语义
下载PDF
BPMN 2.0编排的形式语义和分析 被引量:21
5
作者 代飞 赵文卓 +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
BPMN到BPEL2.0的模型转换方法 被引量:10
6
作者 魏明 夏永霖 魏峻 《计算机应用研究》 CSCD 北大核心 2008年第11期3363-3366,共4页
随着WS-BPEL2.0规范标准的提出,现有的BPMN到BPEL的组件转换方法已不再适用。为了适应BPEL的变化,对组件的转换进行改动和扩展,对错误处理活动在语义上提供支持,并且提供了显式的事务特性支持。这种设计已经在中国科学院软件研究所软件... 随着WS-BPEL2.0规范标准的提出,现有的BPMN到BPEL的组件转换方法已不再适用。为了适应BPEL的变化,对组件的转换进行改动和扩展,对错误处理活动在语义上提供支持,并且提供了显式的事务特性支持。这种设计已经在中国科学院软件研究所软件工程中心研制的OnceBPD建模工具中得到实现,并在实际运用中检验了其可用性。 展开更多
关键词 业务流程管理 模型转换 业务流程建模符号 业务流程执行语言
下载PDF
基于BPMN的作战视图辅助设计方法 被引量:1
7
作者 朱德成 罗爱民 +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
8
作者 杨莎 黄树欣 +1 位作者 陈亮 杨世亭 《自动化与仪表》 2017年第6期10-15,共6页
该文阐述了变电站智能化发展要求及辅助综合监控系统发展现状,指出变电站应急预案存在的问题,针对存在问题,设计了一种基于BPMN2.0建模语言标准的应急预案模型设计方法,通过对事件、业务活动、网关等抽象组件建模,构建了一套完整、标准... 该文阐述了变电站智能化发展要求及辅助综合监控系统发展现状,指出变电站应急预案存在的问题,针对存在问题,设计了一种基于BPMN2.0建模语言标准的应急预案模型设计方法,通过对事件、业务活动、网关等抽象组件建模,构建了一套完整、标准统一的应急预案管理流程。以流程图生成的标准格式XML建模文件为数据基础,设计了预案制定、预案知识库构建、预案启动、逻辑推理及专家决策等各个模块的逻辑处理流程,并采用"信息组团"形式界面展示火灾告警事故操控预案及组态执行案例。该系统目前运行稳定,为变电站安全运行提供了安全保障措施。 展开更多
关键词 变电站 辅助监控 应急预案 工作流 bpmn 信息组团 告警联动
下载PDF
基于BPMN(业务流程建模与标注)标准实现新型综合监控联动模型的探讨 被引量:1
9
作者 李冰 张赛桥 《城市轨道交通研究》 北大核心 2016年第12期32-35,共4页
传统的综合监控系统联动方式已无法满足地铁运营的需求。提出了一种基于BPMN(业务流程建模与标注)2.0标准的联动设计方案,通过对业务活动、网关及事件等抽象组件的建模,运用状态机方式灵活组态执行流程来实现复杂的联动功能。该方案可... 传统的综合监控系统联动方式已无法满足地铁运营的需求。提出了一种基于BPMN(业务流程建模与标注)2.0标准的联动设计方案,通过对业务活动、网关及事件等抽象组件的建模,运用状态机方式灵活组态执行流程来实现复杂的联动功能。该方案可实现联动建模的复用性,提高自动化建模的程度,并解决了传统联动方式无法描述及实现复杂逻辑的应用场景的问题,增加了地铁运营的可靠性及安全性。 展开更多
关键词 综合监控系统 联动功能 业务流程建模与标注 状态机 网关 触发事件
下载PDF
从BPMN模型导出组合服务的代数规约 被引量:1
10
作者 余波 《计算机工程与科学》 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结构化方法 被引量:1
11
作者 邓新国 林子禹 肖如良 《计算机工程》 CAS CSCD 北大核心 2009年第7期70-72,共3页
在基于标准模型驱动业务流程的开发环境中,需要把模型转换为代码。该文提出一种新的基于结构化定理的解决方法,把业务过程建模符号的非结构化程序转化为结构化程序,并通过一个实际案例说明其可行性。实验结果表明,该方法是有效的。
关键词 业务过程建模符号 业务流程图 转换 结构化
下载PDF
基于BPMN2.0的数控机床主传动系统动态能耗建模 被引量:5
12
作者 王声威 张华 +1 位作者 鄢威 潘媛 《现代制造工程》 CSCD 北大核心 2019年第4期96-104,共9页
选取数控机床的主要耗能子系统即主传动系统进行研究,针对其加工过程中能量消耗动态变化且难以规范化描述的特点,通过主传动系统能量消耗动态性的分析,提出了一种基于业务流程建模规范BPMN2. 0的数控机床主传动系统动态能耗建模方法。... 选取数控机床的主要耗能子系统即主传动系统进行研究,针对其加工过程中能量消耗动态变化且难以规范化描述的特点,通过主传动系统能量消耗动态性的分析,提出了一种基于业务流程建模规范BPMN2. 0的数控机床主传动系统动态能耗建模方法。该方法利用BPMN2. 0的符号和语义对主传动系统不同能耗单元的执行流程、配合关系进行描述,并利用数据关联集成建立的业务流程建模规范(BPMN)能耗模型,实现了制造过程中数控机床主传动系统能耗动态性的图形化表达与能耗计算。最后,以某数控铣床加工过程为例,对所述模型及方法进行了应用,验证了其有效性与准确性。 展开更多
关键词 业务流程建模规范bpmn2.0 主传动系统 能耗建模
下载PDF
基于Pi演算的BPMN编排模式 被引量:1
13
作者 杨鹏玉 邱锦伦 《计算机工程》 CAS CSCD 北大核心 2009年第23期274-277,共4页
针对业务流程建模标记(BPMN)无法依靠自身对编排进行形式化分析的问题,提出用Pi演算描述BPMN编排模式,实现对BPMN编排的描述。BPMN编排模式是服务交互模式的BPMN表达。实验结果表明,该方法能够找到并排除BPMN编排中的死锁。
关键词 业务流程建模标记 PI演算 编排
下载PDF
基于扩展BPMN的“家园互动”式儿童健康管理系统架构 被引量:4
14
作者 王新康 倪枫 +2 位作者 刘姜 杨帆 郭悦 《智能计算机与应用》 2022年第10期189-199,202,共12页
针对现在对业务流程管理(BPM)与面向服务架构(SOA)相融合使用的研究不足,基于模型驱动架构(MDA)四层次架构提出一种BPM与SOA相互映射融合的建模方法。根据BPM和SOA的特点和优势,以及BPMN和SoaML的语法和规则,通过在语义层建立本体元模... 针对现在对业务流程管理(BPM)与面向服务架构(SOA)相融合使用的研究不足,基于模型驱动架构(MDA)四层次架构提出一种BPM与SOA相互映射融合的建模方法。根据BPM和SOA的特点和优势,以及BPMN和SoaML的语法和规则,通过在语义层建立本体元模型和在语法层建立标记元模型与服务元模型,并分别在语义层和语法层定义模型间映射规则,实现BPM和SOA相互融合。最后通过一个“家园互动”式儿童健康管理系统的建模案例,验证建模方法和映射规则的准确性和有效性。 展开更多
关键词 业务流程管理 面向服务架构 模型驱动架构 bpmn 健康管理系统
下载PDF
建模语言DSC和BPMN的对比分析
15
作者 周逸璇 朱炳宇 +1 位作者 李松 夏寿民 《计算机科学》 CSCD 北大核心 2011年第B10期215-218,共4页
业务流程建模是业务流程管理(Business Process Management,BPM)中最为重要的环节,一个好的建模语言对业务流程的建模和开发起到非常关键的作用。各具特色的业务过程建模语言不断出现,对语言的研究、分析和比较已经成为流程设计与流程... 业务流程建模是业务流程管理(Business Process Management,BPM)中最为重要的环节,一个好的建模语言对业务流程的建模和开发起到非常关键的作用。各具特色的业务过程建模语言不断出现,对语言的研究、分析和比较已经成为流程设计与流程实现之间的一个重要问题。介绍了一种新的业务流程建模语言DSC(Dynamic SystemChart),并将DSC和目前比较流行的建模语言BPMN(Business Process Modeling Notation)做了比较分析。 展开更多
关键词 业务流程管理 建模语言 DSC bpmn
下载PDF
Process-Oriented Requirements Engineering: User-Centric LORS Framework
16
作者 Hamdan Al-Sabri Majed Al-Mashari 《Journal of Software Engineering and Applications》 2017年第2期95-127,共33页
In recent years, the process orientation requirements engineering field has received significant interest. However, dealing with ordinary users within an enterprise for developing as-is business process is very comple... In recent years, the process orientation requirements engineering field has received significant interest. However, dealing with ordinary users within an enterprise for developing as-is business process is very complex because this requires skills, responsibility, knowledge, and expertise of business processes. This research answers the following questions: 1) how to systematically gather information regarding as-is business process requirements in an informal environment and by non-expert users? and 2) how can an enterprise refine the identified business process with a semantic process model? The primary purpose of this research is to develop a supporting framework that is suitable for the definition of an as-is business process to be deployed within the enterprise environment. Hence, the focus is on gathering requirements to define the as-is business process. This framework concentrates on three significant aspects of this process: development, refinement, and serialization the semantics of the process model. To accomplish this objective, the LORS framework has been proposed, which consists of four phases (List, Order, Refinement, and Serialization). The framework presents a new unique technique to identify the business process, refine the process, and generate the model semantics. This study assumes that a simple and complete framework will help non-expert users define a high-quality as-is process, such that enhance and facilitate the matching process with existing reference models. We present a case study, evaluate the case study relative to specified criteria, and research the limitations and implications discovered from our research. This research concludes that the LORS framework is simple, flexible, visible, interactive, dynamic, and effective. 展开更多
关键词 business process Identification/Discovering business process Requirements Engineering bpmn MIWG As-Is business process Creation model Semantics model Refinement LORS FRAMEWORK
下载PDF
基于IDM的建筑工程设计阶段流程图描述方法研究 被引量:12
17
作者 明星 周成 +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
18
作者 陈冲 马小军 成荣荣 《科技通报》 北大核心 2017年第4期186-190,共5页
将建筑信息模型(BIM)技术应用于建筑性能分析,用信息交付手册(IDM)方法定义能耗分析流程,可规范能耗分析过程,提高能耗分析的效率。首先主要从流程定义的角度出发,利用业务流程建模标记(BPMN)方法,绘制基于IDM的建筑设计阶段能耗分析流... 将建筑信息模型(BIM)技术应用于建筑性能分析,用信息交付手册(IDM)方法定义能耗分析流程,可规范能耗分析过程,提高能耗分析的效率。首先主要从流程定义的角度出发,利用业务流程建模标记(BPMN)方法,绘制基于IDM的建筑设计阶段能耗分析流程图,通过gb XML文件将Revit建立的建筑模型链接到Ecotect软件中,再运用Ecotect软件对流程图中的部分活动内容进行仿真分析,最后模拟出建筑的能耗情况。实例仿真结果表明,该分析流程在一定程度可以促进建筑节能。 展开更多
关键词 建筑信息模型(BIM) 能耗分析 信息交付手册 业务流程建模标记
下载PDF
XPDL2.0规范的过程控制模式分析 被引量:2
19
作者 凌卫青 王坚 《计算机集成制造系统》 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
基于模型的业务流程建模平台研究与实现 被引量:4
20
作者 陈剑辉 夏永霖 魏峻 《计算机应用研究》 CSCD 北大核心 2008年第4期1271-1274,共4页
提出了基于BPMN规范的三维业务流程模型,并采用模型驱动的开发方法和基于Eclipse插件实现了原型系统OnceBPD;最后利用该系统展示了一个旅行登记流程模型的案例。
关键词 业务流程建模 模型驱动 业务流程建模符号 ECLIPSE 插件
下载PDF
上一页 1 2 下一页 到第
使用帮助 返回顶部