随着企业信息化的普及，业务流程管理系统在企业中的应用越来越广泛，然而，业务环境的动态变化，企业实际业务执行的时间限制给业务流程本身的管理能力，建模能力带来的新的挑战。首先，我们的业务流程系统必须能够有效的对时间信息进行建模，比如：在特定的时间做特定的事情。其次，由于业务流程系统的复杂性，系统中的时间信息也特别复杂，如何对系统中的时间约束的一致性进行有效的验证确保流程在定义阶段的正确性，这也是一个非常重要的工作。 时间是事物的一种基本属性，鉴于实际业务的需要，将时间作为一个维度引入到全局流程集成平台中，来表示业务流程中的时态信息，提高业务流程的表达能力。 本文在业务流程模型的基础上引入了状态，事件，事件之间，状态之间的相对时间约束，和事件上的周期时间约束。在模型定义阶段，将具有相对时间约束的业务流程模型转化为时间自动机，根据时间自动机的状态之间的可达性来验证模型的一致性。 在系统运行阶段，用事实和规则来描述模型中的时间约束，将流程模式上的相对时间约束转化为流程实例上的绝对时间约束，对模型进行动态验证以及推理运行中的时间约束是否满足。同时也提供了在运行阶段用规则对具体实例添加绝对时间约束的方法，来增强动态变化的业务所必须的柔性支持。 最后，本文给出了模型的实现方案，并以一个案例研究介绍了模型的应用方法。