文献类型：期刊文献

中文题名：CORBA工作流时间Petri网建模与分析

英文题名：Modeling and analysis of CORBA workflows using time Petri net

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

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

年份：2009

卷号：26

期号：1

起止页码：42

中文期刊名：深圳大学学报（理工版）

外文期刊名：Journal of Shenzhen University(Science and Engineering)

收录：CSTPCD;;EI(收录号：20090811915046);Scopus;北大核心:【北大核心2008】；

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

语种：中文

中文关键词：CORBA系统;工作流;时间Petri网

外文关键词：CORBA system; workflow; time Petri net;

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