[1]郑红,明仲.CORBA工作流时间Petri网建模与分析[J].深圳大学学报理工版,2009,26(1):42-46.
 ZHENG Hong and MING Zhong.Modeling and analysis of CORBA workflows using time Petri net[J].Journal of Shenzhen University Science and Engineering,2009,26(1):42-46.
点击复制

CORBA工作流时间Petri网建模与分析()
分享到:

《深圳大学学报理工版》[ISSN:1000-2618/CN:44-1401/N]

卷:
第26卷
期数:
2009年1期
页码:
42-46
栏目:
电子与信息工程
出版日期:
2009-01-30

文章信息/Info

Title:
Modeling and analysis of CORBA workflows using time Petri net
文章编号:
1000-2618(2009)01-0042-05
作者:
郑红1明仲12
1)华东理工大学信息科学与工程学院,上海 200237
2)深圳大学计算机与软件学院,深圳 518060
Author(s):
ZHENG Hong1 and MING Zhong12
1)School of Information Science and Engineering,East China University of Science and Technology,Shanghai 200237,P.R.China
2)School of Computer and Sofeware Engineering,Shenzhen University,Shenzhen 518060,P.R.China
关键词:
CORBA系统工作流时间Petri网
Keywords:
CORBA systemworkflowtime Petri net
分类号:
TP 311.5;TP 311.1
文献标志码:
A
摘要:
基于时间Petri网和工作流分析技术,引入时间工作流网概念,建立CORBA系统中由一组受时间约束的子工作流协作组成的工作流的时间工作流网模型,并基于该模型分析时间工作流网模型的有效性,验证了模型与系统需求规范的一致性.
Abstract:
A time workflow model in CORBA system,formed by the collaboration of time constrained sub-workflows,was presented based on the analysis of time Petri net and workflow.The effectiveness of this proposed time workflow model and its consistency with the specifications of system requirement were demonstrated.

参考文献/References:

[1]石伟,范玉顺,吴澄.分布对象环境下工作流执行系统设计[J].计算机集成制造系统,1998,4(6):7-11.
[2]周建涛,史美林,叶新铭.工作流过程建模中的形式化验证技术[J].计算机研究与发展,2005,42(1):1-9.
[3]JUAN Eric Y T,TSAI Jeffrey J P,MURATA Tadao,等.实时系统中使用延迟Petri网的简化方法[J].IEEE软件工程汇刊,2001,27(5):422-448(英文版).
[4]杜玉越,蒋昌俊.实时协同系统的工作流模型[C]//第5届形式化工程方法国际会议论文集.柏林:Springer-Verlag,2003:452-470(英文版).
[5]STORK David G,VAN Glabbeek Rob.具有活动文档工作流应用的层次Petri网中的受控标识位置[C]//2002年Petri网原理与应用国际会议录.柏林:Springer-Verlag,2002:394-413(英文版).
[6]Giovanna Di Marzo Serugendo,Dino Mandrioli,Didier Buchs,等.实时同步Petri网[C]// 第23届Petri网原理与应用国际会议论文集.柏林:Springer-Verlag,2002:142-162(英文版).
[7]袁崇义.Petri网原理与应用[M].北京: 电子工业出版社,2005.
[8]刘婷,林闯,刘卫东.基于时间Petri网的工作流系统模型的线性推理[J].电子学报,2002,30(2):245-248.


[1]SHI Wei,FAN Yu-shun,WU Cheng.Workflow execution system design based on distributed object-oriented technology[J].Computer Integrated Manufacturing Systems,1998,4(6):7-11(in Chinese).
[2]ZHOU Jian-tao,SHI Mei-lin,YE Xin-ming.Formal verification techniques in workflow process modeling[J].Journal of Computer Research and Development,2005,42(1):1-9(in Chinese).
[3]JUAN Eric Y T,TSAI Jeffrey J P,MURATA Tadao,et al.Reduction methods for real-time systems using delay time Petri nets[J].IEEE Transactions on Software Engineering,2001,27(5):422-448.
[4]DU Yu-yue,JIANG Chang-jun.Towards a workflow model of real-time cooperative systems[C]//In Proceedings of the 5th International Conference on Formal Engineering Methods (ICFEM).Berlin:Springer-Verlag,2003:452-470.
[5]STORK David G,VAN Glabbeek Rob.Token-controlled place in hierarchical Petri nets with application to active document workflow[C]// International Conference on Application and Theory of Petri Nets 2002.Berlin:Springer-Verlag,2002:394-413.
[6]Giovanna Di Marzo Serugendo,Dino Mandrioli,Didier Buchs,et al.Real-time synchronised Petri Nets[C]// Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets.Berlin:Springer-Verlag,2002:142-162.
[7]YUAN Chong-yi.The Theory and Application of Petri Net[M].Beijing:Publishing House of Electronics Industry,2005 (in Chinese).
[8]LIU Ting,LIN Chuang,LIU Wei-dong.Linear temporal inference of workflow management system based on timed Petri net models[J].Acta Electronica Sinica, 2002, 30(2): 245-248(in Chinese).

备注/Memo

备注/Memo:
收稿日期:2007-10-18;修回日期:2008-05-10
基金项目:国家自然科学基金资助项目(60673122);粤港关键领域重点突破项目(2007A090601001)
作者简介:郑红(1973-),女(汉族),安徽省凤台县人,华东理工大学副教授、博士.E-mail:zhjenny@tom.com
更新日期/Last Update: 2009-02-16