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

Modeling and analysis of CORBA workflows using time Petri net

作　　者：郑红[1] 明仲[1,2] 

机构地区：[1]华东理工大学信息科学与工程学院,上海200237 [2]深圳大学计算机与软件学院,深圳518060

出　　处：《深圳大学学报（理工版）》2009年第1期42-46,共5页Journal of Shenzhen University(Science and Engineering)

基　　金：国家自然科学基金资助项目(60673122);粤港关键领域重点突破项目(2007A090601001)

摘　　要：基于时间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.

关 键 词：CORBA系统 工作流 时间PETRI网 

分 类 号：TP311.52[自动化与计算机技术—计算机软件与理论]