期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
工作流模型验证的研究与实现
下载PDF
职称材料
导出
摘要
过程定义是否正确直接关系到工作流的正常执行,针对参考文献【1】中的流程定义,提出一种签字流程的合法性验证方法。该方法只需对流程一次扫描就可完成合法性验证,简单有效。
作者
李安志
崔蔚
任继念
机构地区
中国工程物理研究院工学院
出处
《教学与科技》
2005年第1期16-21,共6页
Teaching and Science Technology
关键词
工作流
模型验证
过程定义
流程定义
参考文献
验证方法
合法性
分类号
TP317.1 [自动化与计算机技术—计算机软件与理论]
TP391.9 [自动化与计算机技术—计算机应用技术]
引文网络
相关文献
节点文献
二级参考文献
0
参考文献
0
共引文献
0
同被引文献
0
引证文献
0
二级引证文献
0
1
赵磊,钱乐秋,赵文耘.
基于状态空间的工作流模型验证[J]
.计算机工程与应用,2004,40(10):220-222.
被引量:4
2
黄瑜岳,李克清.
基于Petri网的工作流合法性验证综述[J]
.计算机应用研究,2013,30(1):26-29.
被引量:12
3
庞善臣,蒋昌俊.
工作流模型验证及分解的多项式算法分析[J]
.同济大学学报(自然科学版),2009,37(3):390-394.
4
邹宇,刘毅,陈佩文.
基于图归约法的工作流模型验证[J]
.计算机应用,2003,23(4):86-88.
被引量:6
5
张弦弦.
ASP网站中SQL注入的防范措施[J]
.兵工自动化,2009,28(10):72-73.
被引量:2
6
刘之强,李红燕,王磊,曲强.
面向业务流程的数据模型异常检测方法[J]
.计算机学报,2010,33(8):1349-1358.
被引量:6
7
蔡宇,赵正文.
基于NHibernate和Log4Net实现用户登录合法性验证[J]
.信息技术,2008,32(11):32-34.
被引量:3
8
王永杰,裴明涛,贾云得.
多信息融合的快速车牌定位[J]
.中国图象图形学报,2014,19(3):471-475.
被引量:26
9
张广泉,陆公正,戎玫.
时间UML-Statecharts建模的工作流时序约束的一致性验证[J]
.计算机科学,2006,33(11):98-101.
被引量:1
10
李江卫.
Microsoft Windows的版本合法性验证[J]
.个人电脑,2005,11(8):235-236.
教学与科技
2005年 第1期
职称评审材料打包下载
相关作者
内容加载中请稍等...
相关机构
内容加载中请稍等...
相关主题
内容加载中请稍等...
浏览历史
内容加载中请稍等...
;
用户登录
登录
IP登录
使用帮助
返回顶部