期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到10篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
基于Petri网和UML活动图工作流建模比较 被引量：18
1
作者 汪文元 沙基昌 谭东风 《系统仿真学报》 EI CAS CSCD 北大核心 2006年第2期504-507,510,共5页
在工作流建模中Petri网和UML活动图各自发挥了十分重要的作用,然而对于其建模的适应性却没有充分的研究。通过对工作流管理系统的分析,认为工作流管理系统具有响应性、协作性和开放性特点。在给定适合工作流建模的UML活动图语义基础上,... 在工作流建模中Petri网和UML活动图各自发挥了十分重要的作用,然而对于其建模的适应性却没有充分的研究。通过对工作流管理系统的分析,认为工作流管理系统具有响应性、协作性和开放性特点。在给定适合工作流建模的UML活动图语义基础上,讨论了工作流建模的几个关键要素在Petri网和UML活动图下的建模比较。通过分析认为,Petri网更适合于封闭、主动系统的建模,UML活动图能够较为充分的适应开放、响应型系统的建模,Petri网较适合对稀有资源的建模。因此UML活动图更适合工作流这种开放、响应型系统建模。 展开更多
关键词 WFMS 工作流建模 petri网 UML活动图 UML活动图语义 建模比较
在线阅读 下载PDF
Petri网在商务工作流建模中的应用研究 被引量：3
2
作者 卢朝霞 曾广周 《计算机工程与应用》 CSCD 北大核心 2003年第19期199-202,共4页
在工作流建模研究中,Petri网是一类重要工具。对于跨机构的商务工作流来说,用基本Petri网建模往往会因为图幅规模过大和细节过多而使得其可读性下降。该文提出了一种活动/层次网(A/H-Nets)模型,并给出了建模过程和应用示例。模型通过引... 在工作流建模研究中,Petri网是一类重要工具。对于跨机构的商务工作流来说,用基本Petri网建模往往会因为图幅规模过大和细节过多而使得其可读性下降。该文提出了一种活动/层次网(A/H-Nets)模型,并给出了建模过程和应用示例。模型通过引入复合位置和子网转移及过程转移的概念,来满足Petri网在不同层次上建模的需求。为了保证层次之间的一致性,文中给出了层次建模必须的子网(过程)替换规则。 展开更多
关键词 商务工作流 petri网 活动模型 建模 活动/层次网络
在线阅读 下载PDF
基于时间Petri网的Web服务建模技术研究 被引量：1
3
作者 袁志祥 《计算机工程与设计》 CSCD 北大核心 2006年第20期3801-3804,共4页
Web服务是微软和IBM公司为能够解决当前的信息的整合而提出的,是一种部署在Web上、面向Internet的、基于XML的对象/组件技术;其目标是能够自动和统一地封装服务信息、服务行为、数据表示以及商务流程。商务流程的建立对于Web服务是至关... Web服务是微软和IBM公司为能够解决当前的信息的整合而提出的,是一种部署在Web上、面向Internet的、基于XML的对象/组件技术;其目标是能够自动和统一地封装服务信息、服务行为、数据表示以及商务流程。商务流程的建立对于Web服务是至关重要的,因为Web服务之间的信息协调是以商务流程为基础的。因此IBM为解决该问题,提出了Web服务流程语言(webservicesflowlanguage,WSFL)。但是IBM提出的WSFL没有能够从并发协调的角度来阐述商务流程的建模方法,所以提出利用Petri网为模型描述工具,用于描述与分析商务流程模型,同时给出Petri网与WSFL之间的转换算法,并以实例证明了该模型用于商务流程的建模方法是切实可行的。 展开更多
关键词 时间petri网 WEB服务 Web服务流语言 商务流程模型 工作流 可扩展标记语言
在线阅读 下载PDF
基于UML活动图和Petri网电子政务工作流建模研究 被引量：5
4
作者 刘宝代 张建 刘冰寒 《计算机应用与软件》 CSCD 2011年第6期155-156,172,共3页
通过对电子政务系统中投诉管理子系统的描述,提出了一种基于UML活动图与Petri网的电子政务工作流建模方法。该方法具有完全图形化的表示和坚实的数学基础,是一种工作流建模和分析的理想工具。在建立电子政务工作流模型的基础上,对该方... 通过对电子政务系统中投诉管理子系统的描述,提出了一种基于UML活动图与Petri网的电子政务工作流建模方法。该方法具有完全图形化的表示和坚实的数学基础,是一种工作流建模和分析的理想工具。在建立电子政务工作流模型的基础上,对该方法进行了正确性论证,表明该方法对电子政务系统的实用性和有效性。 展开更多
关键词 工作流 petri网 电子政务 建模 UML活动图
在线阅读 下载PDF
基于扩展Petri网模型的BPR过程的实现 被引量：3
5
作者 曾益 《组合机床与自动化加工技术》 2005年第9期37-39,48,共4页
BPR是对企业的业务流程进行根本性再思考和彻底性再设计,以取得业绩的显著提升的有效方法。文章在分析工作流程模型基本要素的基础上提出了一种适用于BPR的基于Petri网的模型———工作流网,该模型增强了对企业核心流程活动的性能的描... BPR是对企业的业务流程进行根本性再思考和彻底性再设计,以取得业绩的显著提升的有效方法。文章在分析工作流程模型基本要素的基础上提出了一种适用于BPR的基于Petri网的模型———工作流网,该模型增强了对企业核心流程活动的性能的描述和分析能力。最后文章通过一个业务流程的实例实现了基于扩展Petri网的BPR过程,并讨论和分析了该业务流程重构过程的正确性。 展开更多
关键词 业务流程重组 petri网 工作流网 工作流网模型
在线阅读 下载PDF
基于工作流模式的BPMN过程模型验证方法 被引量：6
6
作者 蔡章利 易树平 高庆萱 《计算机集成制造系统》 EI CSCD 北大核心 2010年第8期1578-1586,共9页
针对业务流程建模符号过程模型语义验证问题,提出了一种新方法。该方法基于正确的业务流程建模符号过程模型是工作流模式的合理组合的理念,通过扩展和改进业务流程建模符号及其执行语义,设计了工作流模式的形式化编码规则;借鉴Petri网... 针对业务流程建模符号过程模型语义验证问题,提出了一种新方法。该方法基于正确的业务流程建模符号过程模型是工作流模式的合理组合的理念,通过扩展和改进业务流程建模符号及其执行语义,设计了工作流模式的形式化编码规则;借鉴Petri网化简方法,设计了工作流模式组合化简规则;基于工作流模式编码及组合化简规则,给出了业务流程建模符号过程模型验证方法。应用示例表明了该方法的有效性。 展开更多
关键词 工作流 业务流程 建模 过程模型 语义验证 petri网
在线阅读 下载PDF
基于UML的业务流程模型分析方法研究 被引量：9
7
作者 颜志军 孙宝文 王天梅 《计算机工程与应用》 CSCD 北大核心 2004年第29期226-228,共3页
基于UML的业务流程建模方法是业务流程建模领域中的一种重要方法,该文对基于UML的业务流程建模方法中的重要工具活动图进行形式化定义,给出了基于活动图的业务流程模型与工作流网之间的规范化转换方法,从而可以分析和检验基于UML的业务... 基于UML的业务流程建模方法是业务流程建模领域中的一种重要方法,该文对基于UML的业务流程建模方法中的重要工具活动图进行形式化定义,给出了基于活动图的业务流程模型与工作流网之间的规范化转换方法,从而可以分析和检验基于UML的业务流程模型的静态和动态属性。 展开更多
关键词 业务流程建模 UML petri网 活动图
在线阅读 下载PDF
基于工作流的第二课堂活动管理平台的研究与实现 被引量：1
8
作者 赵冬 张文宁 车战斌 《计算机工程与科学》 CSCD 北大核心 2016年第7期1419-1424,共6页
高校第二课堂活动在学生创新素质培养方面具有独特的优势,二课活动的信息化是高校信息化的重要组成部分。针对二课活动管理参与角色众多、业务流程多变的特点,提出了增强型的RBAC模型,并基于Petri网对二课活动的竞赛类活动及公益实践活... 高校第二课堂活动在学生创新素质培养方面具有独特的优势,二课活动的信息化是高校信息化的重要组成部分。针对二课活动管理参与角色众多、业务流程多变的特点,提出了增强型的RBAC模型,并基于Petri网对二课活动的竞赛类活动及公益实践活动业务流程进行建模,采用.Net技术自主开发了工作流引擎,实现了基于工作流的高校第二课堂管理平台,增强了业务流程的可扩展性、灵活性和安全性。 展开更多
关键词 RBAC模型 工作流 petri网建模 第二课堂活动管理平台
在线阅读 下载PDF
运用工作流管理系统的装备保障指挥模型
9
作者 陈乐 李世英 +2 位作者 曲长征 张柳 于永利 《兵工自动化》 2007年第3期18-19,共2页
采用Petri网建模方法,参照工作流参考模型组件和接口,基于VC++开发了图形化的建模工具。以车辆装备大中修管理为例,建立基于Petri网的工作流业务过程模型,映射成经典Petri网,并将其转换成工作流过程定义语言。用ExSpect对工作流模型仿真... 采用Petri网建模方法,参照工作流参考模型组件和接口,基于VC++开发了图形化的建模工具。以车辆装备大中修管理为例,建立基于Petri网的工作流业务过程模型,映射成经典Petri网,并将其转换成工作流过程定义语言。用ExSpect对工作流模型仿真,以分析模型的正确性及运行效能。 展开更多
关键词 装备保障指挥 工作流管理系统 业务过程建模 petri网
在线阅读 下载PDF
MDA框架中CIM业务流模型与PIM工作流模型的一致性验证
10
作者 李宗花 常逢佳 《计算机应用与软件》 北大核心 2023年第2期7-11,59,共6页
对平台无关模型(PIM)层次上的工作流模型进行细化操作,往往会造成计算无关模型(CIM)业务流与PIM工作流不一致的后果。对此,提出业务流模型与工作流模型的一致性验证方法。定义三种不同情形的细化,并利用扩展Petri网形式化描述每种细化... 对平台无关模型(PIM)层次上的工作流模型进行细化操作,往往会造成计算无关模型(CIM)业务流与PIM工作流不一致的后果。对此,提出业务流模型与工作流模型的一致性验证方法。定义三种不同情形的细化,并利用扩展Petri网形式化描述每种细化的语义条件;设计语义一致性验证步骤;演示语义一致性验证的过程和结果。实验结果表明,该方法可有效地验证PIM工作流模型在细化过程中是否改变了系统的业务流,以及修改的程度。 展开更多
关键词 CIM业务流模型 PIM工作流模型 扩展petri网 一致性验证
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
关于我们 | 版权声明 | 联系我们 | 帮助中心| 意见反馈
主办单位：上海市教育委员会
技术支持：重庆维普资讯有限公司
渝公网安备 50019002500403号
使用帮助 返回顶部