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

基于Spin的工作流模型验证

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

【参考文献】
中国期刊全文数据库 前3条
1 林惠民,张文辉;模型检测:理论、方法与应用[J];电子学报;2002年S1期
2 戎玫;张广泉;;模型检测新技术研究[J];计算机科学;2003年05期
3 蒋屹新,林闯,邢栩嘉;基于线性时态逻辑的Petri网模型检测[J];系统仿真学报;2003年S1期
【共引文献】
中国期刊全文数据库 前10条
1 刘玉璇;宫云战;杨朝红;;多线程故障分析及解决方法[J];北京化工大学学报(自然科学版);2007年S1期
2 张姝;张广泉;;UML顺序图的一种形式化描述方法[J];重庆师范大学学报(自然科学版);2007年03期
3 李忠慧;张广泉;;基于UPPAAL的NS密码协议模型检测分析[J];重庆师范大学学报(自然科学版);2009年04期
4 乐全明;董志赟;郑华珍;郁惟镛;张沛超;王忠民;章启明;;基于时态逻辑技术的高压输电线系统故障诊断[J];电力系统自动化;2006年09期
5 梁陈良;聂长海;徐宝文;陈振宇;;一种基于模型检验的类测试用例生成方法[J];东南大学学报(自然科学版);2007年05期
6 张侹;王璠;韩柯;欧阳志强;;面向构件接口变异的模型检验技术研究[J];电脑知识与技术;2010年08期
7 黄山;黄忠见;韩柯;王建伟;;基于SPIN内核的SDL模型检验工具设计[J];电脑知识与技术;2010年11期
8 刘玉坤;赵伟艇;;NS公钥协议新的分析方法[J];电脑知识与技术;2010年12期
9 苗洁君;王克;;密码模块的形式化设计和验证研究[J];计算机安全;2006年08期
10 陈火旺,王戟,董威;高可信软件工程技术[J];电子学报;2003年S1期
中国重要会议论文全文数据库 前3条
1 黄山;韩柯;王建伟;;基于SDL的组件化软件测试研究[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年
2 张侹;王璠;韩柯;;基于SPIN的变异分析方法研究[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年
3 苗洁君;王克;;密码模块的形式化设计和验证研究[A];第二十一次全国计算机安全学术交流会论文集[C];2006年
中国博士学位论文全文数据库 前10条
1 杨年华;模型驱动架构中的可信嵌入式软件建模与分析[D];华东理工大学;2011年
2 马健丽;信息系统安全功能符合性检验关键技术研究[D];北京邮电大学;2010年
3 朱维军;时间区间时序逻辑模型检测:理论、算法及应用[D];西安电子科技大学;2011年
4 邢建英;程序验证关键技术研究[D];国防科学技术大学;2011年
5 刘志锋;模型检测中关键技术的研究及其应用[D];南京大学;2011年
6 盛伟;考虑缓存预热时间的多核实时调度算法和分析[D];中国科学技术大学;2011年
7 席琳;形式化方法在构件组装实时系统中的应用研究[D];郑州大学;2012年
8 吴鹏;并发系统的模型检测与测试[D];中国科学院研究生院(软件研究所);2005年
9 文艳军;基于接口自动机的组合验证方法研究[D];国防科学技术大学;2005年
10 范年柏;程序正确性验证的几个问题[D];湖南大学;2005年
中国硕士学位论文全文数据库 前10条
1 程永江;基于时间自动机的模型验证技术[D];郑州大学;2009年
2 范素娟;基于时间自动机模型的测试用例生成方法研究[D];郑州大学;2010年
3 王永伟;基于构件的形式化方法在软件开发中的应用研究[D];哈尔滨工程大学;2010年
4 胡柏;筛选规则智能化生成的研究与设计[D];江苏大学;2010年
5 程莹;网络安全协议的模型检测分析及验证系统[D];南昌大学;2010年
6 徐伟;安全协议自动化分析系统的设计与实现[D];解放军信息工程大学;2009年
7 姬国珍;基于Maude的安全协议的形式化分析[D];西安电子科技大学;2011年
8 秦好磊;基于树自动推理的安全协议自动化检测[D];西安电子科技大学;2011年
9 左向晖;可信信道协议的设计与形式化验证[D];北京交通大学;2011年
10 封煜佳;基于JDT的并发程序错误模式检测工具设计与实现[D];南京大学;2011年
【相似文献】
中国期刊全文数据库 前10条
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期
中国重要会议论文全文数据库 前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-62791813
  • 010-62985026