工作流系统中的业务过程描述及分析.pdf

第 38 卷 第 7 期 计 算 机 研 究 与 发 展 V o l38,N o. 7 200 1 年 7 月 JOU RN A L O F COM PU T ER R E SEA R CH D EV EL O PM EN T J u ly 200 1 工作流系统中的业务过程描述及分析 ① ① ② 李红臣 　史美林 　陈信祥 ① (清华大学计算机科学与技术系　北京　100084) ② (北京网络多媒体实验室　北京　100032) ( { , }@ 4. . . . ) lh ch en sh i c sn et c s t singhu a edu cn 摘　要　过程模型是业务过程的形式化定义, 它的正确性直接影响业务 目标的实现. 定义了一种过程描述语言并 对使用这种语言描述的过程模型进行分析, 之后给出了工作流执行的控制算法. 关键词　业务过程, 过程模型, 工作流, 工作流管理系统 中图法分类号　T P 393. 09 BUSINESS PROCESS M OD EL ING A ND A NALY SIS IN W O RKFLOW SY STEM S ① ① ② , , L I H on g Ch en SH IM ei L in an d CH EN X in X ian g ① ( , , 100084) D ep a r tm en t of Comp u ter S cience T echnology T s ing hua U n iv ers ity B eij ing ② ( , 100032) B eij ing N etw ork and M u ltim ed ia L abora tory B eij ing 　 . A bstract P ro ce ss m o del is th e fo rm a l def in it ion o f bu sin e ss p ro ce ss A n d th e co r rectn e ss o f p ro ce ss m o del d irect ly affect