论文部分内容阅读
在业务流程建模阶段，从时态角度来分析业务流程，有助于清楚地描述工作流。在对工作流模式以及其中包含的时态语义进行了深入研究之后，根据区间代数的语法，将工作流模式和区间代数结合起来，提出了一种新的用于工作流模式的时间约束建模方法。它不仅从时态角度扩展了工作流建模，明确描述了工作流模式中和时序有关的时态约束和依赖关系，并且能使工作流控制模式和形式化验证工具结合，从而有利于进一步从时态角度研究业务流程建模。