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

• 作者: 吴安 薛娟 赵跃华
• 来源期刊: 计算机工程与设计
• 学科: 工学
• 关键词: 区间代数 工作流模式 形式化 时态语义 建模
• 年，卷（期）: 2009,（22）
• 所属期刊栏目: 开发与应用
• 页码范围: 5253-5256,5260
• 页数: 5页
• 分类号: TP301.2
• 字数: 2461字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	赵跃华	江苏大学计算机科学与通信工程学院	83	418	11.0	13.0
2	吴安	江苏大学计算机科学与通信工程学院	2	2	1.0	1.0
3	薛娟	江苏大学计算机科学与通信工程学院	3	10	2.0	3.0