期刊文章详细信息
工作流过程建模方法及模型的形式化验证
A Survey of Workflow Modeling Approaches and Model Verification
文献类型：期刊文章
机构地区：[1]上海交通大学计算机系CIT实验室,上海200030
基 金：863/CIMS(2001AA412010)
年 份：2003
卷 号：30
期 号：9
起止页码：127-131
语 种：中文
收录情况：BDHX、BDHX2000、CSA、CSCD、CSCD2011_2012、IC、JST、RCCSE、UPD、ZGKJHX、核心刊
摘 要：0引言 工作流技术最初起源于办公自动化和企业生产中的过程概念.包括办公室内的文档路由和生产中活动的路由.目前,还没有统一认可的工作流定义.工作流管理联盟(WfMC,Workflow Management Coalition)给工作流的定义是"商务过程的全部、部分自动化或计算机化"[2].
关 键 词：工作流管理系统 工作流过程 建模方法 PETRI网 形式化验证 软件系统
分 类 号：TP31]
参考文献：
正在载入数据...
二级参考文献：
正在载入数据...
耦合文献：
正在载入数据...
引证文献：
正在载入数据...
二级引证文献：
正在载入数据...
同被引文献：
正在载入数据...
