期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

CORBA工作流时间Petri网建模与分析

Modeling and analysis of CORBA workflows using time Petri net
下载PDF
导出
摘要 基于时间Petri网和工作流分析技术,引入时间工作流网概念,建立CORBA系统中由一组受时间约束的子工作流协作组成的工作流的时间工作流网模型,并基于该模型分析时间工作流网模型的有效性,验证了模型与系统需求规范的一致性. 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.
作者 郑红 明仲
机构地区 华东理工大学信息科学与工程学院 深圳大学计算机与软件学院
出处 《深圳大学学报（理工版）》 EI CAS 北大核心 2009年第1期42-46,共5页 Journal of Shenzhen University(Science and Engineering)
基金 国家自然科学基金资助项目(60673122) 粤港关键领域重点突破项目(2007A090601001)
关键词 CORBA系统 工作流 时间PETRI网 CORBA system workflow time Petri net
分类号 TP311.52 [自动化与计算机技术—计算机软件与理论]
  • 相关文献

参考文献3

二级参考文献55

  • 1[1]W M P van der Aalst.The application of Petri nets to workflow management [J].Journal of Circuits,Systems,and Computers,1998,8(1):21-66.
  • 2[2]W M P van der Aalst.Chapter 10;Three Good reasons for Using a Petri-net-based Workflow Management System.In T.WaKaYaMa et al.,editor,Information and Process Integration in Enterprises;Rethinking documents [M].The Kluwer International Series in Engineering and Computer Science,Kluwer Academic Publishers,Norwell,1998:161-182.
  • 3[3]C A Ellis,K Keddara,G Rozenberg.Dynamic change within workflow systems [J].In N.Comstock and C.Ellis,editors,Conf.on Organizational Computing Systems,ACM,SIGOIS,Milpitas,CA(1995):10-21.
  • 4[4]W M P van der Aalst.Verification of workflow tast structures [A].Information Systems,2000,25(1):43-69.
  • 5[5]Zaidi A K.On temporal logic programming using Petri nets [J].IEEE Transactions on Systems,Man and Cybernetics,May 1999,29(3):245-254.
  • 6[6]Yao Y.A Petri net model for temporal knowledge representation and reasoning [J].IEEE Trans.Systems,Man,and Cybernetics,1994,24(9):1374-1382.
  • 7[7]Lin C,Chanson S T.Logical inference of clauses based on Petri net models [J].International Journal of Intelligent Systems,John Wiley & Sons,August 1998,13:821-840.
  • 8[8]Lin C,Chaudhury A,Whinston A B,Marinescu D C.Logical inference of Horn clauses in Petri net models [J].IEEE Trans.on Knowledge and Data Engineering,June 1993,5(4):416-425.
  • 9T. Murata. Petri nets: Properties, analysis and applications.Proceedings of the IEEE, 1989, 77(4) : 541-580.
  • 10W. Sadiq, M. Orlowska. Applying graph reduction techniques for identifying structural conflicts in process models. In: Proc. of the 11th Int'l Conf. on Advanced Information Systems Engineering(CAiSE'99). Berlin: Springer Verlag, 1999. 195-209.

共引文献73

深圳大学学报（理工版）
2009年 第1期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部