首页> 中文会议>2005年全国理论计算机科学学术年会 >工作流模型精化及验证

工作流模型精化及验证

页面导航

摘要
著录项
相似文献
相关主题

摘要

在工作流精化模型中,本文加入了工作流过程相关数据的来进一步细化工作流控制模型,用前置条件后置条件来对活动进行简单规格说明,然后提出了用约减的方法来建立约束条件表达式,并验证工作流精化模型是否存在死锁和语义冲突.

著录项

来源
《2005年全国理论计算机科学学术年会》|2005年|270-274|共5页
会议地点秦皇岛
作者
黄雨; 袁崇义; 王捍贫;
展开▼
作者单位

中国计算机学会;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类企业现代化管理;
关键词
企业现代管理; 工作流模型; 模型精化;
入库时间 2022-08-17 10:48:04

相似文献

中文文献
外文文献
专利

1. 基于工作流网的打假工作流模型设计与验证 [J] . 王威 ,张莉莉 . 农业网络信息 . 2011,第003期
2. GNSS测量十水准面精化模型代替等级水准测量验证分析 [J] . 陈振防 ,王解先 . 全球定位系统 . 2019,第003期
3. 用数据精化验证UML模型演化 [J] . 刘晓建 ,李战怀 . 西北工业大学学报 . 2007,第001期
4. 工作流模型正确性验证过程中的模型简化问题 [J] . 杜淑楠 ,章宁 ,王鲁滨 . 计算机工程 . 2005,第0z1期
5. 工作流模型正确性验证过程中的模型简化问题 [J] . 杜淑楠 ,章宁 ,王鲁滨 . 计算机工程 . 2005,第B07期
6. 基于构件技术的分布式工作流模型及其验证 [C] . 刘旭鹏 . 2011(第六届)全国通信网络信息安全学术会议 . 2011
7. 基于Event--B免疫系统模型精化、验证及实现 [A] . 陈立 . 2020

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号