首页> 中文期刊> 《计算机工程与应用》 >基于状态空间的工作流模型验证

基于状态空间的工作流模型验证

AI论文写作 >>

开具论文收录证明 >>

页面导航

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

摘要

工作流模型的正确性和可靠性是工作流管理系统健壮性的基础.该文提出一种基于状态空间的工作流模型验证方法,从而确保在构造期间产生有效的工作流模型.

著录项

来源
《计算机工程与应用》 |2004年第10期|220-222|共3页
作者
赵磊; 钱乐秋; 赵文耘;
展开▼
作者单位

复旦大学计算机与信息技术系;

上海;

200433;

复旦大学计算机与信息技术系;

上海;

200433;

复旦大学计算机与信息技术系;

上海;

200433;

展开▼
原文格式 PDF
正文语种 chi
中图分类程序设计、软件工程;
关键词
工作流模式; 依赖; 断言; 状态空间; 验证算法;

相似文献

中文文献
外文文献
专利

1. 基于工作流网的打假工作流模型设计与验证 [J] . 王威 ,张莉莉 . 农业网络信息 . 2011,第003期
2. 人民币货币锚效应的实证检验——基于状态空间模型的经验证据 [J] . 姜红艳 ,苑西恒 ,曾冰 . 世界经济与政治论坛 . 2018,第002期
3. 金融深化、金融结构与行业资本配置效率——基于状态空间模型的经验证据 [J] . 苑西恒 ,王雨 . 西安财经学院学报 . 2018,第006期
4. 基于两步线性回归的状态空间模型建立与验证 [J] . 史志伟 ,倪芳原 ,陈永亮 . 空气动力学学报 . 2013,第006期
5. 基于矩阵的工作流逻辑网模型的化简及验证 [J] . 郑红 ,邓文轩 ,邓晓 . 计算机科学 . 2018,第007期
6. 基于构件技术的分布式工作流模型及其验证 [C] . 刘旭鹏 . 2011(第六届)全国通信网络信息安全学术会议 . 2011
7. 基于Petri网与时态逻辑的工作流模型及模型验证 [A] . 杨秋妹 . 2006

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号