基于全序语义结构化工作流的研究

• 作者: 唐达 李晔
• 来源期刊: 大连理工大学学报
• 学科: 工学
• 关键词: 全序语义 结构化工作流 Petri网 过程代数
• 年，卷（期）: 2007,（5）
• 所属期刊栏目: 电子信息工程、管理工程
• 页码范围: 751-757
• 页数: 7页
• 分类号: TP311
• 字数: 5651字
• 语种: 中文

摘要

针对业务过程的规范化建模问题,研究结构化工作流.证明了基于全序语义的任意工作流均可转化为与其等价的结构化形式,提出了一种结构化工作流代数,并给出了其语义解释模型.在此基础上,形式化地定义了结构化工作流过程和结构化工作流过程函数,从理论上提供了构建规范化、合理化和柔性化业务工作流概念模型的表示方法和操作语言.医疗实例分析证明了结构化工作流理论在过程建模、再造和动态重组中的有效应用.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	唐达	大连理工大学计算机科学与工程系	23	241	9.0	15.0
2	李晔	大连海事大学经济与管理学院	11	123	7.0	11.0