检索结果-维普期刊中文期刊服务平台

基于Petri网和UML活动图工作流建模比较被引量：18: 1; 作者汪文元沙基昌谭东风《系统仿真学报》 EI CAS CSCD 北大核心 2006年第2期504-507,510,共5页; 在工作流建模中Petri网和UML活动图各自发挥了十分重要的作用,然而对于其建模的适应性却没有充分的研究。通过对工作流管理系统的分析,认为工作流管理系统具有响应性、协作性和开放性特点。在给定适合工作流建模的UML活动图语义基础上,... 展开更多; 关键词 WFMS 工作流建模 petri网 uml活动图 uml活动图语义建模比较; 在线阅读下载PDF 职称材料

一种UML活动图到模糊Petri网的转换算法被引量：1: 2; 作者张炜钟王智学陈剑《系统仿真学报》 CAS CSCD 北大核心 2008年第S2期102-106,共5页; UML是软件工程中一种最常用的建模方法。由于UML是半形式化的,许多人致力于将UML转换成形式化方法(如Petri网)的研究。转换之后,对于定性的非功能参数的确认和验证就会更方便。鉴于现实世界中大部分信息的不确定性,系统分析师们提出了模... 展开更多; 关键词模糊uml 模糊petri网活动图形式化建模; 在线阅读下载PDF 职称材料

基于UML活动图和Petri网电子政务工作流建模研究被引量：5: 3; 作者刘宝代张建刘冰寒《计算机应用与软件》 CSCD 2011年第6期155-156,172,共3页; 通过对电子政务系统中投诉管理子系统的描述,提出了一种基于UML活动图与Petri网的电子政务工作流建模方法。该方法具有完全图形化的表示和坚实的数学基础,是一种工作流建模和分析的理想工具。在建立电子政务工作流模型的基础上,对该方... 展开更多; 关键词工作流 petri网电子政务建模 uml活动图; 在线阅读下载PDF 职称材料

UML和Petri网的建模验证方法被引量：5: 4; 作者张筠崔哲张宇渊《火力与指挥控制》 CSCD 北大核心 2013年第10期154-156,共3页; 在系统与流程的建模过程中,将具有界面友好、可视直观等优势的UML与具有精确数学语义基础的Petri网相结合,既克服了UML缺少模型分析、验证手段的不足,又避免了普通形式化方法不宜直接用于建模的局限性。全面系统地研究了基于UML和Petri... 展开更多; 关键词 uml 动态图 petri网建模模型验证; 在线阅读下载PDF 职称材料

基于UML的业务流程模型分析方法研究被引量：9: 5; 作者颜志军孙宝文王天梅《计算机工程与应用》 CSCD 北大核心 2004年第29期226-228,共3页; 基于UML的业务流程建模方法是业务流程建模领域中的一种重要方法,该文对基于UML的业务流程建模方法中的重要工具活动图进行形式化定义,给出了基于活动图的业务流程模型与工作流网之间的规范化转换方法,从而可以分析和检验基于UML的业务... 展开更多; 关键词业务流程建模 uml petri网活动图; 在线阅读下载PDF 职称材料

UML-PNs集成建模方法及其在虚拟企业中的应用被引量：11: 6; 作者勾红梅黄必清任守榘《计算机集成制造系统-CIMS》 EI CSCD 2000年第5期23-28,共6页; 虚拟企业是未来企业的重要组织形态 ,它的主要职能之一是执行分布、并行经营过程。本文致力于虚拟企业的经营过程建模研究 ,以面向对象的虚拟企业经营过程描述为基础 ,提出了集成标准建模语言和Petri网的虚拟企业经营过程建模方法———... 展开更多; 关键词虚拟企业 uml-PNs 集成建模经营过程; 在线阅读下载PDF 职称材料

协同环境下产品开发过程建模的研究被引量：1: 7; 作者顾寄南黄娟姚玉杰《工程图学学报》 CSCD 北大核心 2008年第5期6-11,共6页; 对现代产品开发过程的特点进行了探讨,分析了国内外协同设计过程建模的研究现状。在此基础上,以全局导航、局部决策的思想,提出基于UML活动图和Petri网的分层建模方法。通过用UML活动图对产品开发全局过程进行描述,确定了过程视图和其... 展开更多; 关键词计算机应用协同设计过程建模 uml活动图 petri网; 在线阅读下载PDF 职称材料

基于ASM扩展的活动图进行业务过程建模: 8; 作者汤亮刘厚泉《计算机工程与设计》 CSCD 北大核心 2006年第17期3226-3229,共4页; 为了扩展包括投资者建模、企业建模与扩展价值链建模的Martin/OdellOOA/D方法,该文章使用UML活动图扩展这些技术。UML提供了丰富的标记表示对分析系统行为和系统结构进行分析。其中活动图是用来描述系统的动态行为,并且也适用于业务过... 展开更多; 关键词 ASM 活动图扩展统一建模语言统一建模语言语义业务过程业务过程建模; 在线阅读下载PDF 职称材料

题名基于Petri网和UML活动图工作流建模比较被引量：18: 1; 作者汪文元沙基昌谭东风; 机构国防科学技术大学信息系统与管理学院; 出处《系统仿真学报》 EI CAS CSCD 北大核心 2006年第2期504-507,510,共5页; 文摘在工作流建模中Petri网和UML活动图各自发挥了十分重要的作用,然而对于其建模的适应性却没有充分的研究。通过对工作流管理系统的分析,认为工作流管理系统具有响应性、协作性和开放性特点。在给定适合工作流建模的UML活动图语义基础上,讨论了工作流建模的几个关键要素在Petri网和UML活动图下的建模比较。通过分析认为,Petri网更适合于封闭、主动系统的建模,UML活动图能够较为充分的适应开放、响应型系统的建模,Petri网较适合对稀有资源的建模。因此UML活动图更适合工作流这种开放、响应型系统建模。; 关键词 WFMS 工作流建模 petri网 uml活动图 uml活动图语义建模比较; Keywords wfms workflow modeling petri net uml activity diagram uml activity diagram semantics modeling comparison; 分类号 TP391.9 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名一种UML活动图到模糊Petri网的转换算法被引量：1: 2; 作者张炜钟王智学陈剑; 机构解放军理工大学指挥自动化学院; 出处《系统仿真学报》 CAS CSCD 北大核心 2008年第S2期102-106,共5页; 基金 "863计划"(2007AA01Z126); 文摘 UML是软件工程中一种最常用的建模方法。由于UML是半形式化的,许多人致力于将UML转换成形式化方法(如Petri网)的研究。转换之后,对于定性的非功能参数的确认和验证就会更方便。鉴于现实世界中大部分信息的不确定性,系统分析师们提出了模糊UML的概念。尝试将模糊UML活动图转换成Petri网,从而能实现形式化验证以及性能评估。; 关键词模糊uml 模糊petri网活动图形式化建模; Keywords fuzzy uml fuzzy petri net activity diagrams formalization modeling; 分类号 TP311.52 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于UML活动图和Petri网电子政务工作流建模研究被引量：5: 3; 作者刘宝代张建刘冰寒; 机构山东建筑大学计算机科学与技术学院; 出处《计算机应用与软件》 CSCD 2011年第6期155-156,172,共3页; 基金山东省科技发展计划项目(2005GG4201001); 文摘通过对电子政务系统中投诉管理子系统的描述,提出了一种基于UML活动图与Petri网的电子政务工作流建模方法。该方法具有完全图形化的表示和坚实的数学基础,是一种工作流建模和分析的理想工具。在建立电子政务工作流模型的基础上,对该方法进行了正确性论证,表明该方法对电子政务系统的实用性和有效性。; 关键词工作流 petri网电子政务建模 uml活动图; Keywords Workflow petri net E-government Modelling uml activity diagram; 分类号 TP317.1 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名UML和Petri网的建模验证方法被引量：5: 4; 作者张筠崔哲张宇渊; 机构解放军解放军国防信息学院; 出处《火力与指挥控制》 CSCD 北大核心 2013年第10期154-156,共3页; 文摘在系统与流程的建模过程中,将具有界面友好、可视直观等优势的UML与具有精确数学语义基础的Petri网相结合,既克服了UML缺少模型分析、验证手段的不足,又避免了普通形式化方法不宜直接用于建模的局限性。全面系统地研究了基于UML和Petri网建模与验证的可行性和相关技术,提出了该方法的具体流程,并以战时"武器打击"行动中的信息支持流程为例,对此方法进行了完整的演示。; 关键词 uml 动态图 petri网建模模型验证; Keywords uml, activity diagram, petri net, modeling, model validation; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于UML的业务流程模型分析方法研究被引量：9: 5; 作者颜志军孙宝文王天梅; 机构北京理工大学管理与经济学院中央财经大学信息系; 出处《计算机工程与应用》 CSCD 北大核心 2004年第29期226-228,共3页; 文摘基于UML的业务流程建模方法是业务流程建模领域中的一种重要方法,该文对基于UML的业务流程建模方法中的重要工具活动图进行形式化定义,给出了基于活动图的业务流程模型与工作流网之间的规范化转换方法,从而可以分析和检验基于UML的业务流程模型的静态和动态属性。; 关键词业务流程建模 uml petri网活动图; Keywords business process modeling,uml ,petri nets,activity diagrams; 分类号 TP393 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名UML-PNs集成建模方法及其在虚拟企业中的应用被引量：11: 6; 作者勾红梅黄必清任守榘; 机构清华大学国家CIMS工程研究中心; 出处《计算机集成制造系统-CIMS》 EI CSCD 2000年第5期23-28,共6页; 基金国家自然科学基金项目资助! (6 97840 0 6 ) 国家 86 3 /CIMS应用基础研究项目资助!(86 3 -5 11-9841-0 0 6 ); 文摘虚拟企业是未来企业的重要组织形态 ,它的主要职能之一是执行分布、并行经营过程。本文致力于虚拟企业的经营过程建模研究 ,以面向对象的虚拟企业经营过程描述为基础 ,提出了集成标准建模语言和Petri网的虚拟企业经营过程建模方法———UML -PNs集成建模方法。该方法提供了支持需求分析、模型描述和设计、模型分析和仿真 ,直至模型实现的一体化框架。最后 ,我们设计了旨在实现UML -PNs集成建模方法的系统平台。; 关键词虚拟企业 uml-PNs 集成建模经营过程; Keywords unified modeling language petri nets uml-PNs integrated modeling method business process modeling in virtual enterprises; 分类号 F270 [经济管理—企业管理]; 在线阅读下载PDF 职称材料

题名协同环境下产品开发过程建模的研究被引量：1: 7; 作者顾寄南黄娟姚玉杰; 机构江苏大学制造业信息化研究中心; 出处《工程图学学报》 CSCD 北大核心 2008年第5期6-11,共6页; 基金国家"863"高技术研究发展计划项目(2003AA414021) 信息产业部计划资助项目(2003XK320015); 文摘对现代产品开发过程的特点进行了探讨,分析了国内外协同设计过程建模的研究现状。在此基础上,以全局导航、局部决策的思想,提出基于UML活动图和Petri网的分层建模方法。通过用UML活动图对产品开发全局过程进行描述,确定了过程视图和其他派生图之间的关系,提出了视图间的组织结构方法。同时通过对具体生产环节的Petri网描述,达到使管理人员对局部进行有效控制的目的。; 关键词计算机应用协同设计过程建模 uml活动图 petri网; Keywords computer application collaborative design process modeling uml activity diagram petri net; 分类号 TP391 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名基于ASM扩展的活动图进行业务过程建模: 8; 作者汤亮刘厚泉; 机构中国矿业大学计算机学院; 出处《计算机工程与设计》 CSCD 北大核心 2006年第17期3226-3229,共4页; 文摘为了扩展包括投资者建模、企业建模与扩展价值链建模的Martin/OdellOOA/D方法,该文章使用UML活动图扩展这些技术。UML提供了丰富的标记表示对分析系统行为和系统结构进行分析。其中活动图是用来描述系统的动态行为,并且也适用于业务过程建模。但由于UML的语义是用纯文本的方式描述的,通常不够准确,故而此文提出了使用ASM扩展语义的活动图描述包含上述建模技术的业务过程。; 关键词 ASM 活动图扩展统一建模语言统一建模语言语义业务过程业务过程建模; Keywords ASM activity diagram extended uml uml semantic business process business process modeling; 分类号 TP311.5 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	基于Petri网和UML活动图工作流建模比较	汪文元沙基昌谭东风	《系统仿真学报》 EI CAS CSCD 北大核心	2006	18	在线阅读下载PDF 职称材料
2	一种UML活动图到模糊Petri网的转换算法	张炜钟王智学陈剑	《系统仿真学报》 CAS CSCD 北大核心	2008	1	在线阅读下载PDF 职称材料
3	基于UML活动图和Petri网电子政务工作流建模研究	刘宝代张建刘冰寒	《计算机应用与软件》 CSCD	2011	5	在线阅读下载PDF 职称材料
4	UML和Petri网的建模验证方法	张筠崔哲张宇渊	《火力与指挥控制》 CSCD 北大核心	2013	5	在线阅读下载PDF 职称材料
5	基于UML的业务流程模型分析方法研究	颜志军孙宝文王天梅	《计算机工程与应用》 CSCD 北大核心	2004	9	在线阅读下载PDF 职称材料
6	UML-PNs集成建模方法及其在虚拟企业中的应用	勾红梅黄必清任守榘	《计算机集成制造系统-CIMS》 EI CSCD	2000	11	在线阅读下载PDF 职称材料
7	协同环境下产品开发过程建模的研究	顾寄南黄娟姚玉杰	《工程图学学报》 CSCD 北大核心	2008	1	在线阅读下载PDF 职称材料
8	基于ASM扩展的活动图进行业务过程建模	汤亮刘厚泉	《计算机工程与设计》 CSCD 北大核心	2006	0	在线阅读下载PDF 职称材料