基于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 职称材料

一种UML活动图到模糊Petri网的转换算法 被引量：1

2

作者 张炜钟 王智学 陈剑 《系统仿真学报》 CAS CSCD 北大核心 2008年第S2期102-106,共5页

UML是软件工程中一种最常用的建模方法。由于UML是半形式化的,许多人致力于将UML转换成形式化方法(如Petri网)的研究。转换之后,对于定性的非功能参数的确认和验证就会更方便。鉴于现实世界中大部分信息的不确定性,系统分析师们提出了模... UML是软件工程中一种最常用的建模方法。由于UML是半形式化的,许多人致力于将UML转换成形式化方法(如Petri网)的研究。转换之后,对于定性的非功能参数的确认和验证就会更方便。鉴于现实世界中大部分信息的不确定性,系统分析师们提出了模糊UML的概念。尝试将模糊UML活动图转换成Petri网,从而能实现形式化验证以及性能评估。 展开更多

关键词 模糊uml 模糊petri网 活动图 形式化 建模

在线阅读 下载PDF 职称材料

基于UML活动图和Petri网电子政务工作流建模研究 被引量：5

3

作者 刘宝代 张建 刘冰寒 《计算机应用与软件》 CSCD 2011年第6期155-156,172,共3页

通过对电子政务系统中投诉管理子系统的描述,提出了一种基于UML活动图与Petri网的电子政务工作流建模方法。该方法具有完全图形化的表示和坚实的数学基础,是一种工作流建模和分析的理想工具。在建立电子政务工作流模型的基础上,对该方... 通过对电子政务系统中投诉管理子系统的描述,提出了一种基于UML活动图与Petri网的电子政务工作流建模方法。该方法具有完全图形化的表示和坚实的数学基础,是一种工作流建模和分析的理想工具。在建立电子政务工作流模型的基础上,对该方法进行了正确性论证,表明该方法对电子政务系统的实用性和有效性。 展开更多

关键词 工作流 petri网 电子政务 建模 uml活动图

在线阅读 下载PDF 职称材料

UML和Petri网的建模验证方法 被引量：5

4

作者 张筠 崔哲 张宇渊 《火力与指挥控制》 CSCD 北大核心 2013年第10期154-156,共3页

在系统与流程的建模过程中,将具有界面友好、可视直观等优势的UML与具有精确数学语义基础的Petri网相结合,既克服了UML缺少模型分析、验证手段的不足,又避免了普通形式化方法不宜直接用于建模的局限性。全面系统地研究了基于UML和Petri... 在系统与流程的建模过程中,将具有界面友好、可视直观等优势的UML与具有精确数学语义基础的Petri网相结合,既克服了UML缺少模型分析、验证手段的不足,又避免了普通形式化方法不宜直接用于建模的局限性。全面系统地研究了基于UML和Petri网建模与验证的可行性和相关技术,提出了该方法的具体流程,并以战时"武器打击"行动中的信息支持流程为例,对此方法进行了完整的演示。 展开更多

关键词 uml 动态图 petri网 建模 模型验证

在线阅读 下载PDF 职称材料

基于扩展UML活动图的工作流模型研究 被引量：10

5

作者 申利民 隋峰 +1 位作者 白莲 李峰 《计算机应用研究》 CSCD 北大核心 2009年第2期587-590,共4页

针对目前工作流管理系统在表达能力和适应性方面存在的问题,在给出三层工作流过程元模型的基础上,提出了基于扩展UML活动图的工作流建模方法,扩展了多实例、条件路由和协调节点等建模元素,描述了扩展建模元素的定义、路由结构和建模规... 针对目前工作流管理系统在表达能力和适应性方面存在的问题,在给出三层工作流过程元模型的基础上,提出了基于扩展UML活动图的工作流建模方法,扩展了多实例、条件路由和协调节点等建模元素,描述了扩展建模元素的定义、路由结构和建模规则。应用模型实例表明,此方法增强了模型描述能力,在模型适应性和柔性方面具有明显的优势。 展开更多

关键词 元模型 统一建模语言 活动图 工作流建摸 适应性

在线阅读 下载PDF 职称材料

基于UML的业务流程模型分析方法研究 被引量：9

6

作者 颜志军 孙宝文 王天梅 《计算机工程与应用》 CSCD 北大核心 2004年第29期226-228,共3页

基于UML的业务流程建模方法是业务流程建模领域中的一种重要方法,该文对基于UML的业务流程建模方法中的重要工具活动图进行形式化定义,给出了基于活动图的业务流程模型与工作流网之间的规范化转换方法,从而可以分析和检验基于UML的业务... 基于UML的业务流程建模方法是业务流程建模领域中的一种重要方法,该文对基于UML的业务流程建模方法中的重要工具活动图进行形式化定义,给出了基于活动图的业务流程模型与工作流网之间的规范化转换方法,从而可以分析和检验基于UML的业务流程模型的静态和动态属性。 展开更多

关键词 业务流程建模 uml petri网 活动图

在线阅读 下载PDF 职称材料

UML活动图支持的工作流建模分析 被引量：14

7

作者 张立春 赵合计 《计算机应用》 CSCD 北大核心 2003年第5期28-31,共4页

首先分析了工作流管理系统的特性,给出了一种工作流执行系统的体系结构。在此基础上,形式化定义了为工作流过程建模的UML活动图结构以及建模规则;通过一个具体的实例描述了建模过程并对模型的执行做了分析。

关键词 工作流 工作流模型 uml活动图

在线阅读 下载PDF 职称材料

基于UML活动图化简方法的工作流模型校核研究 被引量：6

8

作者 汪文元 沙基昌 《计算机工程》 EI CAS CSCD 北大核心 2006年第15期41-43,共3页

针对开放、响应型系统建模UML活动图表现优良的特性,UML活动图在工作流建模领域也引起了人们的极大关注。然而相关的研究仅仅起步,特别是针对相应的模型校核技术更是研究甚少。该文提出了基于UML活动图化简方法的工作流模型校核技术,在... 针对开放、响应型系统建模UML活动图表现优良的特性,UML活动图在工作流建模领域也引起了人们的极大关注。然而相关的研究仅仅起步,特别是针对相应的模型校核技术更是研究甚少。该文提出了基于UML活动图化简方法的工作流模型校核技术,在UML活动图到活动超图映射基础之上,对活动超图建立化简规则,通过化简实现工作流模型校核。实践证明此方法有效。 展开更多

关键词 工作流模型 模型校核 化筒 uml活动图 活动超图

在线阅读 下载PDF 职称材料

扩展UML活动图在工作流建模中的应用 被引量：3

9

作者 文俊浩 杨小义 谢军 《计算机应用研究》 CSCD 北大核心 2007年第12期244-245,248,共3页

针对UML对数据和信息流描述缺乏充分表达业务工作流程的问题,借助新创建的活动图,提出了基于扩展UML活动图的工作流过程建模方法。应用实例表明,扩展的UML活动图对工作流程的语义表达更丰富,更准确地描述工作流建模所需表达的内容,以满... 针对UML对数据和信息流描述缺乏充分表达业务工作流程的问题,借助新创建的活动图,提出了基于扩展UML活动图的工作流过程建模方法。应用实例表明,扩展的UML活动图对工作流程的语义表达更丰富,更准确地描述工作流建模所需表达的内容,以满足工作流过程建模的要求。 展开更多

关键词 统一建模语言 统一建模语言活动扩展图 工作流建模

在线阅读 下载PDF 职称材料

UML活动图支持下的工作流建模方法与设计 被引量：3

10

作者 赵合计 张立春 《计算机应用与软件》 CSCD 北大核心 2004年第8期44-45,96,共3页

本文首先分析了工作流管理系统的特性 ,指出它是一种反应型的系统 ,并给出了一种工作流管理系统的体系结构 ,结合该系统结构 ,提出了一种基于UML活动图的工作流建模方法 ,并形式化的定义了为工作流过程建模的UML活动图的结构以及建模规则。

关键词 工作流管理系统 建模方法 uml活动图 软件设计

在线阅读 下载PDF 职称材料

基于扩展的UML活动图的质量工作流建模 被引量：1

11

作者 曾清华 李青 《航空制造技术》 2006年第9期86-89,共4页

为满足2000版ISO9000过程管理模式的要求,使用工作流技术解决过程控制问题成了企业质量管理的一种需要。本课题用UML类图表达了工作流参考模型,统一了UML活动图与工作流过程模型的概念,并根据工作流的概念扩展了UML活动图。文末,利用扩... 为满足2000版ISO9000过程管理模式的要求,使用工作流技术解决过程控制问题成了企业质量管理的一种需要。本课题用UML类图表达了工作流参考模型,统一了UML活动图与工作流过程模型的概念,并根据工作流的概念扩展了UML活动图。文末,利用扩展的活动图表达了质量管理中一个典型的过程——不合格品的控制过程。 展开更多

关键词 工作流 过程模型 扩展的uml活动 图质量管理

在线阅读 下载PDF 职称材料

扩展UML活动图用于工作流建模的方法研究

12

作者 付玲莉 赵文 +1 位作者 王立福 聂承启 《计算机工程与应用》 CSCD 北大核心 2006年第14期41-44,共4页

集成的青鸟工作流模型JBDelta,把依附于过程模型且为之提供支持的数据、组织、功能、资源等信息分离出来或加以补充,形成具有相当独立性的模型,其核心是改进的工作流过程元模型定义的过程模型。论文基于此元模型概念扩展UML活动图,得到... 集成的青鸟工作流模型JBDelta,把依附于过程模型且为之提供支持的数据、组织、功能、资源等信息分离出来或加以补充,形成具有相当独立性的模型,其核心是改进的工作流过程元模型定义的过程模型。论文基于此元模型概念扩展UML活动图,得到扩展的工作流过程图,按各模型间的关系把工作流的活动和活动执行所需要的信息合成一体,完整地定义工作流过程。 展开更多

关键词 uml活动图 工作流建模 工作流过程图 JBDelta

在线阅读 下载PDF 职称材料

协同环境下产品开发过程建模的研究 被引量：1

13

作者 顾寄南 黄娟 姚玉杰 《工程图学学报》 CSCD 北大核心 2008年第5期6-11,共6页

对现代产品开发过程的特点进行了探讨,分析了国内外协同设计过程建模的研究现状。在此基础上,以全局导航、局部决策的思想,提出基于UML活动图和Petri网的分层建模方法。通过用UML活动图对产品开发全局过程进行描述,确定了过程视图和其... 对现代产品开发过程的特点进行了探讨,分析了国内外协同设计过程建模的研究现状。在此基础上,以全局导航、局部决策的思想,提出基于UML活动图和Petri网的分层建模方法。通过用UML活动图对产品开发全局过程进行描述,确定了过程视图和其他派生图之间的关系,提出了视图间的组织结构方法。同时通过对具体生产环节的Petri网描述,达到使管理人员对局部进行有效控制的目的。 展开更多

关键词 计算机应用 协同设计 过程建模 uml活动图 petri网

在线阅读 下载PDF 职称材料