工作流模型及其形式化描述.pdf

《工作流模型及其形式化描述.pdf》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、第26卷第11期计算机学报VoI.26No.112003年11月CHINESEJOURNALOFCOMPUTERSNov.2003工作流模型及其形式化描述1），2）1）李红臣史美林1）（清华大学计算机科学与技术系北京100084）2）（河南大学计算机科学学院开封475001）摘要工作流是一个业务过程的全部或部分自动执行.为了实现工作流管理功能，我们必须将业务过程从现实世界中抽象出来，并用一种形式化方法对其进行描述，其结果称为是工作流模型.该文主要讨论工作流模型及其形式化描述问题.基于对现实世界业务过程的分析，该文提出一个三维工作

2、流模型，它包含3个子模型：组织模型、数据模型和过程模型，分别从不同的侧面描述工作流的各种属性.文中详细论述各个子模型及其相互关系，并给出三维工作流模型的形式化描述.关键词工作流管理系统；工作流模型；工作流元模型中图法分类号TP393WorkflowModelsandTheirFormalDescriptions1），2）1）LIHong-ChenSHIMei-Lin1）（DepartmentofComputerScienceandTechnology，TsinghuaUniuersity，Beijing100084）2）（Sch

3、oolofComputerScience，HenanUniuersity，Kaifeng475001）AbstractWorkfIowistheautomationofabusinessprocessinwhoIeorpart.ToachievethefunctionofworkfIowmanagement，thebusinessprocessmustbeabstractedfromthereaIworIdanddescribedbyakindofformaImethod.TheresuItisworkfIowmodeI.Thi

4、spapermainIydiscussesworkfIowmodeIsandtheirformaIdescriptions.BasedontheanaIysisofbusinessprocessesinthereaIworId，thispaperpropo-sesathree-dimensionaIworkfIowmodeIincIudingthreesub-modeIs，i.e.，organizationmodeI，datamod-eIandprocessmodeI，eachofwhichdescribessomeattrib

5、utesofworkfIowsfromdifferentperspectives.Thesesub-modeIsandtheirreIationshipsareaddressedindetaiIinthispaper.Furthermore，theformaIdescriptionforthethree-dimensionaIworkfIowmodeIproposedisaIsopresented.KeywordsworkfIowmanagementsystem；workfIowmodeI；workfIowmeta-modeI工

6、作流建模组件主要为工作流建模人员提供一个建1引言立时（buiId-time）环境，使得他们可以定义、分析和管理工作流模型；而工作流执行组件的主要功能是工作流管理系统（WorkfIowManagementSys-为工作流的创建、执行和管理提供一个运行时（run-tems，WfMS）是一种在工作流逻辑形式化表示的驱time）环境.在工作流执行过程中，工作流执行组件动下，通过软件的执行从而实现完全地定义、管理和可能与用户或者外部应用交互，从而完成工作流的［1］执行工作流的系统.一般认为，它主要由两个功执行.除此之外，工作流管理系统还包

7、括其它一些功能组件所组成：工作流建模组件和工作流执行组件.能，如工作流实例监控.收稿日期：2001-12-03；修改稿收到日期：2003-06-10.本课题得到国家自然科学基金（60073011）和北京市高技术实验室科研项目（50号）联合资助.李红臣，男，1970年生，博士，主要研究领域为计算机网络、CSCW.E-maiI：hIi@it.swin.edu.au.史美林，男，1938年生，教授，博士生导师，主要研究领域为计算机网络、分布式多媒体处理、CSCW等.ll期李红臣等：工作流模型及其形式化描述l457工作流建模就是将现实世

8、界中的业务过程抽象动之间的控制关系.AaIst通过定义工作流网［6］出来，并用一种形式化的、计算机可处理的方式来表（WorkfIowNet，WF-Net）来描述业务过程.WF-Net［l］示，这种形式化结果称为工作流模型.工作流模是只有一个源位置（sourcep