收藏本站
《第二十三届中国数据库学术会议论文集(技术报告篇)》 2006年
收藏 | 手机打开
二维码
手机客户端打开本文

基于Spin的工作流模型验证

杨秋妹  余阳  李长森  
【摘要】:正1引言一个工作流模型,其正确性、有效性以及性能效率等都是受人关注的。一个包含错误的工作流过程定义有可能会导致顾客的不满、处理出错等一系列

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 范玉顺;工作流管理改变传统工作[J];中国计算机用户;1999年32期
2 张德壮,李俊海,耿继秀;工作流管理系统综述[J];计算机应用;2000年05期
3 孙振峰,陈福民;工作流管理系统与CRM系统的集成应用[J];微型电脑应用;2002年10期
4 张洪波;工作流管理在ERP系统中应用研究[J];中国管理信息化;2004年10期
5 赖会霞,张仕;基于角色的多Agent工作流模型[J];计算机应用;2004年S2期
6 周林,王杰 ,蒋玉明 ,张良栋 ,殷俊;面向现场生产的管理信息系统研究[J];现代制造工程;2004年12期
7 杨杰,刘丹;基于工作流和B/S结构的OA系统设计[J];武汉理工大学学报(交通科学与工程版);2005年01期
8 刘一良,林和平,张剑飞;基于知识的工作流管理系统模型研究[J];吉林大学学报(信息科学版);2005年03期
9 刘兵;;DOMINO中工作流的实现[J];计算机与信息技术;2005年10期
10 魏先民;;企业OA工作流在DOMINO中的实现[J];山东纺织经济;2006年03期
11 刘晓波;张玲;;基于工作流的自动商业数据挖掘[J];科技资讯;2011年05期
12 窦万春,李东波,张世琪;基于图结构的工作流技术分析和研究[J];计算机辅助设计与图形学学报;2000年12期
13 倪济云,庞冠超;办公自动化中工作流应用技术[J];现代计算机;2000年06期
14 刘建勋,徐建波,陈海燕;工作流支持的邮电号线管理系统的分析与设计[J];湘潭矿业学院学报;2001年02期
15 杨猛,何宗宜,陈学业;基于组件式GIS的工作流模型[J];测绘通报;2002年S1期
16 闵光泰,冯韬;基于中间件的动态柔性工作流管理系统[J];计算机集成制造系统-CIMS;2002年08期
17 胡杰,党延忠;基于Web的工作流技术在办公信息系统中的应用[J];计算机应用研究;2002年09期
18 黄晔春,黄国立;网络制造中工作流管理技术的研究[J];制造业自动化;2002年02期
19 封明玉,赵政;基于工作流和CORBA技术的可重构信息系统研究[J];微型机与应用;2002年01期
20 陈刚;工作流管理系统在PCB企业管理中的应用[J];印制电路信息;2002年05期
中国重要会议论文全文数据库 前10条
1 杨秋妹;余阳;李长森;;基于Spin的工作流模型验证[A];第二十三届中国数据库学术会议论文集(技术报告篇)[C];2006年
2 张秀国;张英俊;吴春艳;;基于构件、面向工作流的通用电子政务平台[A];第一届全国Web信息系统及其应用会议(WISA2004)论文集[C];2004年
3 高霞;陈映;;综述PDM系统工作流的二次开发[A];2010年MIS/S&A学术交流会议论文集(中国造船工程学会学术论文集)[C];2010年
4 葛薇;汤卫平;宋宝燕;于戈;王国仁;;基于XML的工作流定义语言e_SWDL[A];第十九届全国数据库学术会议论文集(技术报告篇)[C];2002年
5 郁锋;范玉顺;李秀;;基于集成化企业建模的工作流实例化配置[A];全国先进制造技术高层论坛暨第九届制造业自动化与信息化技术研讨会论文集[C];2010年
6 谢宝宁;谭庆平;;基于Web服务的分布式工作流框架[A];第一届全国Web信息系统及其应用会议(WISA2004)论文集[C];2004年
7 姜浩;;Petri网在工作流过程建模和分析中的应用[A];第十七届全国数据库学术会议论文集(技术报告篇)[C];2000年
8 张绍华;丁志刚;宗宇伟;顾宁;;网格工作流动态调度算法研究[A];第二十三届中国数据库学术会议论文集(技术报告篇)[C];2006年
9 黄晓华;;WPDL和基于Petri网的工作流建模[A];第六届全国计算机应用联合学术会议论文集[C];2002年
10 张诚洁;;中小企业办公自动化系统的设计[A];山东省计算机学会2005年信息技术与信息化研讨会论文集(二)[C];2005年
中国重要报纸全文数据库 前10条
1 ;流程驱动 提供多种版本[N];中国计算机报;2007年
2 何进伟;还工作流管理一个说法[N];中国计算机报;2003年
3 周锦鸾;Photoshop 6.0强化Web工作流[N];中国计算机报;2001年
4 山东万杰集团信息中心 高峰;OA是个过渡产品[N];中国计算机报;2006年
5 小白;与中小企业亲密接触[N];计算机世界;2002年
6 本报记者 边歆;协同:信息化必由之路[N];网络世界;2007年
7 王建新;工作流软件跃跃欲试[N];中国计算机报;2002年
8 ;Lotus工作流更强大[N];中国计算机报;2001年
9 陈友梅;工作流与EAI的博弈[N];中国计算机报;2004年
10 郭莹;奥索汉泰AutoFlow工作流做引擎[N];中国计算机报;2003年
中国博士学位论文全文数据库 前10条
1 于万钧;工作流管理技术研究[D];吉林大学;2004年
2 王斌君;工作流过程模型的层次研究及其分析[D];西北大学;2002年
3 王备战;基于KM的电子政务技术的研究与实现[D];西北工业大学;2003年
4 陈亚奇;企业工作流信息主动共享技术研究[D];西北工业大学;2003年
5 石若明;基于GIS的城建档案管理信息系统集成研究[D];中国地质大学(北京);2006年
6 张霞;地理信息服务组合与空间分析服务研究[D];武汉大学;2004年
7 刘士军;制造网格架构与制造资源协同管理技术研究[D];山东大学;2006年
8 陈亚华;企业应用集成架构研究与实现[D];复旦大学;2005年
9 董云卫;工作流管理系统的事务建模研究[D];西北大学;2004年
10 娄晶;基于知识管理的电子政务信息平台研究[D];天津大学;2005年
中国硕士学位论文全文数据库 前10条
1 赖会霞;基于角色的多Agent工作流管理系统[D];南京理工大学;2003年
2 吴双;基于工作流的CAPP系统的研究与开发[D];四川大学;2003年
3 李燕;工作流管理技术在电子政务中的应用[D];南京理工大学;2003年
4 庞柒;基于工作流理论的办公自动化系统[D];辽宁工程技术大学;2004年
5 范永全;基于关系模型的工作流管理系统的设计与实现[D];成都理工大学;2002年
6 杜云浩;办公自动化系统中工作流的研究与实现[D];河海大学;2003年
7 张晨光;基于工作流的办公自动化系统设计与开发[D];西安理工大学;2004年
8 刘昱;ONCEPI工作流系统服务集成框架与监视技术研究[D];中国科学院研究生院(软件研究所);2005年
9 陈胜;基于CORBA的分布式工作流管理系统[D];上海海运学院;2000年
10 梁言兵;基于J2EE的工作流管理系统的研究与实现[D];中国农业大学;2002年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978