工作流过程建模方法及模型的形式化验证

被引：28

作者：

杨东

王英林

张申生

傅谦

机构：

[1] 上海交通大学计算机系CIT实验室,上海交通大学计算机系CIT实验室,上海交通大学计算机系CIT实验室,上海交通大学计算机系CIT实验室上海,上海,上海,上海

来源：

计算机科学 | 2003年 / 09期

关键词：

D O I：

暂无

中图分类号：

TP399 [在其他方面的应用];

学科分类号：

080201 [机械制造及其自动化];

摘要：

<正> 0 引言工作流技术最初起源于办公自动化和企业生产中的过程概念。包括办公室内的文档路由和生产中活动的路由。目前,还没有统一认可的工作流定义。工作流管理联盟(WfMC,Workflow Management Coalition)给工作流的定义是“商务过程的全部、部分自动化或计算机化”。一个完整的工作流系统,也称工作流管理系统,应包括两部分:(1)过程建模部分(工作流建模)。(2)工作流引擎部分,为模型的运作提供环境。其中,工作流建模部分在工作流技术中占有重要的部分。工作流模型的精确定义与否影响着工作流引擎的性能,从而决定着企业的关键商务过程的运行效率,也决定了企业的商务目标的成功与否。一个良好的工作流建模既要为普通用户所掌握,还要能为计算机所解释。目前主要的工作流建模方法有:

引用

页码：127 / 131

页数：5

共 3 条

[1]

Modeling and analysis of workflows using Petri Nets [J].