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

摘要：

@@ 0引言
工作流技术最初起源于办公自动化和企业生产中的过程概念.包括办公室内的文档路由和生产中活动的路由.目前,还没有统一认可的工作流定义.工作流管理联盟(WfMC,Workflow Management Coalition)给工作流的定义是"商务过程的全部、部分自动化或计算机化"[2].

机标关键词：工作流技术、过程建模、方法及、模型、形式化验证、Model Verification、办公自动化、企业生产、商务过程、路由、计算机化、过程概念、管理联盟、文档、室内、起源、活动

所属期刊栏目：30

分类号：TP3(计算技术、计算机技术)

资助基金：国家高技术研究发展计划863计划2001AA412010

在线出版日期：2003-12-12（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：127-131