论文部分内容阅读
随着1993年工作流管理联盟(WorkflowManagementCoalition)的成立,工作流技术得到了长足的发展,并且成功地运用在工业,农业,航天等众多领域。然而,时间约束及管理的问题逐渐成为工作流技术发展的瓶颈。时间在过程生命周期中扮演着重要的角色,几乎所有的业务过程都存在于时序环境中,且都是时间限制的。目前的工作流管理系统大多数没有提供完善的时间管理功能,一般功能仅局限在:给活动赋予执行时间和截止期限,进行一些简单的仿真,当活动执行时间超过截止期限时能够触发异常进行一些简单处理等。
本文对工作流管理系统中存在的各种时序关系进行深入仔细的研究,力图能够对现实中存在的时间约束关系进行精确的表达。同时,在我们现有的工作流引擎原型系统的基础上,给出运行时时间管理的具体实现方案,具有重要的现实意义。
本文在工作流时间约束模型TCWF-net的基础上提出了扩展的工作流时间约束模型xTCWF-net,弥补了TCWF-net的不足,加入了相对时间约束、绝对时间约束以及时区约束建模,具有丰富的表达能力。给出了xTCWF-net模型的建模时时间约束一致性验证;扩展XPDL,加入时间约束集、相对时间约束、绝对时间约束等元素,进一步丰富了XPDL的表达能力。给出了运行时时间管理的具体实现方案,具体包括:运行时时间约束一致性的验证;对已分派任务的监督和催办;时间约束违法之后的处理等。完善了工作流管理系统的功能,并提高了工作流管理系统的柔性。