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