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

【Abstract】 The monitoring and controlling of workflow process is an efficient method for dealing with the exception of workflow in run time and guaranteeing the enaction of workflow instances in the way of correctness and effectiveness. The monitoring and controlling of workflow based on states not only can cope with the exceptions from progression of workflow instances at real time, eliminate the retardance of instance enacting, but also make necessary intervention for instance running. But these operations often result in inconsistence of workflow model and workflow instances. It is quite often that inconsistency causes the workflow instance to be terminated if no corresponding adjustments could be taken. Firstly, a number of necessary constraint rules for model correctness and instance consistence are given based a workflow model—ADEPT, and then a states-based approach to monitoring and controlling is proposed, that includes a set of primitive transforming task instance from current state to next and algorithms transferring process instance from current status to future. The use of the approach guarantees both model correctness and instance consistence. Finally, completeness and consistence of the set of primitive are discussed briefly.更多还原