基于区间代数的工作流模式的建模研究  

Modeling research for workflow patterns based on interval algebra

作　　者：赵跃华[1] 薛娟[1] 吴安[1] 

机构地区：[1]江苏大学计算机科学与通信工程学院,江苏镇江212013

出　　处：《计算机工程与设计》2009年第22期5253-5256,5260,共5页Computer Engineering and Design

摘　　要：在业务流程建模阶段,从时态角度来分析业务流程,有助于清楚地描述工作流。在对工作流模式以及其中包含的时态语义进行了深入研究之后,根据区间代数的语法,将工作流模式和区间代数结合起来,提出了一种新的用于工作流模式的时间约束建模方法。它不仅从时态角度扩展了工作流建模,明确描述了工作流模式中和时序有关的时态约束和依赖关系,并且能使工作流控制模式和形式化验证工具结合,从而有利于进一步从时态角度研究业务流程建模。It is very helpful to describe workflow distinctly by analysing business process with a temporal perspective in the period of business process modeling. After the reserch ofworkflow pattern and the temporal semantics contained in it, a modeling method of tem- poral constraint in workflow patterns is proposed by combining workflow pattern with interval algebra according to the syntax of interval algebra. It not only extends the workflow modeling with a temporal perspective and explicitly specifies temporal constraints and dependencies related to scheduling in workflow patterns, but also permits the integration of the control workflow patterns with formal validation tools. Meanwhile, this approach leads to the further study of business process modeling from a complementary temporal perspective.

关 键 词：区间代数 工作流模式 形式化 时态语义 建模 

分 类 号：TP301.2[自动化与计算机技术—计算机系统结构]