一种基于Petri网工作流模型的时间建模方法的设计与实现
时间管理是工作流管理系统的关键部分,也是工作流技术实施于复杂企业应用的严重局限.时间管理的关键在于时间信息的有效建模.首先概述了时间建模与分析的研究现状,包括时间约束的建模、时序一致性验证与时间违反的处理.其次,在对工作流时间建模现有方法分析和评价的基础上,提出了一种基于Petri网工作流模型的时间建模方法,并在我们研发的工作流系统中得到了实现.同时对其功能和性能进行了评测,并与Quartz进行了比较.最后指出了工作流系统时间管理的不足和发展方向.
工作流系统 时间建模 时间约束 时间管理 Petri网
邢建川 李志蜀
四川大学计算机学院,成都,610065;时力科技成都开发中心,成都,610016 四川大学计算机学院,成都,610065
国内会议
全国第五次程序设计语言发展与教学学术会议、第三届全国Web信息系统及其应用学术会议暨全国首届语义Web与本体论学术研讨会
南京
中文
226-228
2006-10-01(万方平台首次上网日期,不代表论文的发表时间)