论文部分内容阅读
工作流监控是处理工作流运行期各种例外、保证工作流实例正确高效执行的有效方法．基于状态的工作流监控方法不仅可以实时处理实例执行过程中出现的各种例外、消除实例运行的阻塞，并能对任务执行进行必要的干预．但这类监控也经常造成工作流模型及实例的不一致，如不加以调整，会导致后续任务无法执行．在对ADEPT模型及过程实例进行形式化定义基础上，给出用于验证过程模型正确性和过程实例一致性的判定规则；提出一个基于状态的实时监控方法，该方法由一组状态转换原语和过程实例转换算法组成．采用该监控方法并结合上述判定规则，在完成各种监