Hits:

Indexed by:期刊论文

Date of Publication:2007-09-15

Journal:大连理工大学学报

Included Journals:Scopus、EI、PKU、ISTIC、CSCD

Volume:47

Issue:5

Page Number:751-757

ISSN No.:1000-8608

Key Words:全序语义;结构化工作流;Petri网;过程代数

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