-
题名VPML—OOPN集成建模方法及其在企业中的应用
被引量:2
- 1
-
-
作者
万里威
任爱华
-
机构
北京航空航天大学软件工程研究所
-
出处
《计算机工程与应用》
CSCD
北大核心
2002年第19期110-113,共4页
-
基金
国家自然科学基金资助(编号:69883002)
-
文摘
为了支持对企业业务流程进行建模和分析,辅助过程改进,该文提出了VPML—OOPN集成建模方法。该方法提供了模型描述和设计、模型分析和仿真,直至模型实现的一体化框架。最后,设计了旨在实现VPML—OOPN集成建模方法的系统平台。
-
关键词
可视化过程建模语言
VPML-OOPN集成建模方法
企业过程建模
软件工程
PETRI网
-
Keywords
Visual process modeling language,Object-oriented Petri Nets(OOPN),VPML -OOPN integrated modeling method,Process modeling in enterprise
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
F27
[经济管理—企业管理]
-
-
题名基于Petri网的企业过程模型的BPEL实现
被引量:1
- 2
-
-
作者
姚淑珍
张亮
-
机构
北京航空航天大学计算机学院
-
出处
《系统仿真学报》
CAS
CSCD
北大核心
2007年第A01期244-247,共4页
-
文摘
为了实现从基于Petri网的企业过程模型到企业流程执行语言BPEL的转化,提出了一种PN2BPEL的模型转化方法。BPEL的XML表示十分的冗长.对于非专业人员来说,从BPEL提供的大量结构中选择合适的一个,并非易事。BPEL也没有形式化的分析技术,因此研究BPEL与其他模型的转化方法是十分有意义的。本文以企业过程模式中最常用到的结构为基础,定义了Petri网的组件集。组件集中的每一个组件对应于特定的BPEL代码。将一个活且有界的Petri网中的每一个组件都用一个简单任务来替换的折叠操作,将不会改变原网的活性和有界性。给出了将一个基于Petri网的企业过程模型转化为相应的BPEL代码的PN2BPEL算法。最后通过一个简单的实例,说明了如何实施提出的转化方法。
-
关键词
企业过程建模
PETRI网
BPEL
形式化
-
Keywords
enterprise process modeling
petri nets
BPEL
formalization
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-
-
题名VPML-OOPN集成建模方法的设计与实现
- 3
-
-
作者
万里威
-
机构
河北廊坊师范学院计算机科学与技术系
-
出处
《计算机应用研究》
CSCD
北大核心
2007年第5期176-179,共4页
-
基金
河北省教育厅自然科学基金项目(Z2005311)
河北省廊坊师范学院自然科学基金资助项目(LS200535)
-
文摘
为了支持对企业业务流程进行建模和分析,辅助过程改进,提出了VPML-OOPN集成建模方法。该建模方法是利用可视化过程建模语言VPML建立企业过程模型,然后将该过程模型映射为面向对象Petri网模型。通过Petri网模型的分析和仿真,其结果可用于修正和改进模型设计。
-
关键词
可视化过程建模语言
面向对象PETRI网
可视化过程建模语言-面向对象Petri网集成建模方法
企业过程建模
-
Keywords
visual process modeling language
OOPN
VPML-OOPN integrated modeling method
process modeling in enterprise
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于Petri网的工作流模式研究
被引量:15
- 4
-
-
作者
张亮
姚淑珍
-
机构
北京航空航天大学计算机学院
-
出处
《计算机集成制造系统》
EI
CSCD
北大核心
2006年第1期54-58,共5页
-
文摘
为了满足企业对过程模型描述能力的需求,提出了一个基于Petri网的新工作流模式完全解决方案。在深入研究工作流模式的基础上,应用高级Petri网技术来构造所有的工作流模式。抑制弧通过测零帮助实现多实例的同步,消耗库所负责移除多余的标记,带标记的库所实现对变迁触发序列的控制;设计加权弧和限制容量的库所来实现同步M条路径中被激活的N条的情况。本方案实现了将所有的工作流模式,从基本到复杂,都映射到相应的Petri网上。最后,通过一个集成制造过程模型的实例,说明基于Petri网的方案能够完全满足企业在模型描述能力上的各种复杂需求。
-
关键词
企业过程建模
PETRI网
工作流
-
Keywords
enterprise process modeling
Petri nets
workflow
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-