克劳迪奥·贝蒂尼;王，X.肖恩;苏希尔·贾乔迪亚 工作流系统中的时间推理。 （英语） Zbl 1009.68032号 分布式和并行数据库 11，第3期，269-306（2002）. 摘要：在工作流系统中，自主代理协同执行各种活动，以完成一项共同的任务。任务的成功完成通常取决于代理活动的正确同步和调度。如果对活动持续时间及其同步要求的定量时间限制能够加以规定和推理，那么将大大增强当前工作流系统的能力。本文研究了这些需求和相关的推理算法。特别地，本文研究了工作流系统中的一致性、预测和设定服务，并给出了相应的算法。一致性服务是为了确保时间约束的规范能够得到满足；预测服务是预测相关活动的时间框架；而制定服务就是安排活动，这样，只要每个代理在指定的时间段内开始并完成其任务，总的约束就会始终得到满足。对于制定服务，本文确定了两类实际有趣的自治代理制定时间表，即“自由时间表”和“限制到期时间表”。在自由计划中，代理可以使用任意时间来完成任务，只要时间介于代理在设计工作流时声明的最短和最长时间之间。受限制的到期时间表是一种更具限制性的时间表，其中代理可以使用的最长时间限制为小于声明的最大时间。本文提出了求解自由和受限双重时间调度的有效算法。当时间约束规范中涉及多个时间粒度时，本文还为上述服务提供了算法。 引用于7文件 MSC公司： 第68页，共15页 数据库理论 关键词：工作流系统;自治代理 PDF格式BibTeX公司 XML格式引用 \textit{C.Bettini}等人，《分布式并行数据库11》，第3期，269--306（2002；Zbl 1009.68032） 全文： 内政部