一种UML状态图模型检测方法

【摘要】：为在开发过程早期发现系统设计的各种错误与不一致,提出一种UML状态图模型检测方法,用于验证设计模型与需求规约间的一致性.该方法通过元组定义UML状态图的主要元素,给出状态图的中间表示形式SC.基于SC上定义的操作语义,该方法将状态图转换为具有KRIPKE语义结构的状态迁移系统,并将系统需满足的性质表示为线性时序逻辑公式,用模型检测技术验证状态迁移系统对线性时序逻辑公式的满足性.该方法可以转换更多的状态图元素,缩减状态图迁移系统的状态空间及提高模型检测效率.

下载App查看全文

下载全文更多同类文献个人查重>>智能排版>>

PDF全文下载

CAJ全文下载

(如何获取全文？欢迎：购买知网充值卡、在线充值、在线咨询)

CAJViewer阅读器支持CAJ、PDF文件格式，AdobeReader仅支持PDF格式

	【相似文献】
	【相似文献】

中国期刊全文数据库

前10条

1	周颖 ,郑国梁 ,李宣东;面向模型检验的UML状态机语义[J];电子学报;2003年S1期
2	介颂园;钱俊彦;赵岭忠;;基于抽象解释的C程序信息保密性研究[J];计算机工程;2010年24期
3	闫志华;李成;郑艳萍;;工作流模型检测研究[J];计算机应用;2007年06期
4	刘玉坤;张浩军;;基于模型检测的NS公钥认证协议分析[J];计算机与数字工程;2009年02期
5	陈清亮;朱可宜;;多智能体协同的认知规范模型检测算法[J];中山大学学报(自然科学版);2009年01期
6	张丹;伦立军;;基于LTL的交通灯系统形式化描述方法[J];哈尔滨师范大学自然科学学报;2009年06期
7	陈妍;唐成华;吴丹;;基于模型检测的工作流访问控制策略验证[J];计算机应用研究;2010年02期
8	董威;王戟;齐治昌;;UML模型中并发对象的组合验证[J];计算机科学;2005年07期
9	刘传会;张广泉;;一种基于时间自动机网络的实时系统形式化验证方法[J];苏州大学学报(自然科学版);2008年01期
10	王云,周伯生;标准建模语言UML简介[J];计算机应用研究;1999年12期

中国重要会议论文全文数据库

前10条

1	田源;;基于UML面向对象的办公信息系统设计与实现[A];OA’2005第九届办公自动化国际学术研讨会论文集[C];2005年
2	任庆荣;陈庆;张利华;;UML在过程管理系统设计中的应用[A];第十一届全国自动化应用技术学术交流会论文集[C];2006年
3	晶晶;;UML在档案管理信息系统建设中的研究[A];档案事业科学发展：新环境新理念新技术——2008年档案工作者年会论文集（上册）[C];2008年
4	李霁坤;张群;;UML在物资管理系统开发中的应用[A];全国冶金自动化信息网年会论文集[C];2004年
5	;UML–based modeling for information system of assembly lines[A];Proceedings of 2008 International Conference on Modelling, Identification and Control[C];2008年
6	曹雅楠;顾进广;王佳兴;;基于快速原型法的设备管理系统实现[A];2009国际信息技术与应用论坛论文集(下)[C];2009年
7	黄芳;苏中滨;郑萍;;基于UML的中小企业客户关系管理系统的设计[A];黑龙江省计算机学会2009年学术交流年会论文集[C];2010年
8	王承松;毛晓光;雷晏;王燕妮;;基于UML的可信概念模型[A];第六届中国测试学术会议论文集[C];2010年
9	王玉清;;基于UML技术为XML建模的方法[A];第二十二届中国数据库学术会议论文集（技术报告篇）[C];2005年
10	甄君;胡家凤;朱良;;基于UML的编队电子对抗指挥系统仿真模型[A];雷达与电子对抗一体化及仿真技术学术交流会论文集[C];2010年

中国博士学位论文全文数据库

前10条

1	林荣德;移动界程演算及模型检测应用的关键问题研究[D];华南理工大学;2010年
2	赵也非;动态UML子图的形式语义研究[D];华东师范大学;2010年
3	杨潇潇;框架时序逻辑程序语言MSVL的形式语义[D];西安电子科技大学;2009年
4	袁志斌;基于模拟理论的模型检测研究[D];华中科技大学;2007年
5	刘剑;传值进程与移动进程的模型检测方法[D];中国科学院研究生院（软件研究所）;2005年
6	杨年华;模型驱动架构中的可信嵌入式软件建模与分析[D];华东理工大学;2011年
7	许可;网格服务流的状态π演算形式化验证技术研究与应用[D];清华大学;2007年
8	金仙力;实时服务构件的语义特征和行为组装形式化技术研究[D];北京邮电大学;2008年
9	陈冬火;超协调时序逻辑及其模型检测方法[D];中国科学院研究生院（成都计算机应用研究所）;2006年
10	张玉清;计算机通信网安全协议的分析研究[D];西安电子科技大学;2000年

中国硕士学位论文全文数据库

前10条

1	刘万授;基于UML安全协议的建模和自动检测[D];华南师范大学;2005年
2	朱宜炳;安全协议UML模型的SPIN分析[D];南昌大学;2007年
3	李静;基于UML行为模型的软件漏洞检测形式方法研究[D];青岛大学;2010年
4	李静;基于UML行为模型的软件漏洞检测形式方法研究[D];青岛大学;2010年
5	谢越;基于模型检测的动态协同服务间的一致性验证[D];华东师范大学;2010年
6	袁建廷;鉴别协议的分析研究[D];西安电子科技大学;2008年
7	施小纯;基于反例搜索的启发式模型检测算法的研究[D];中国科学院研究生院（软件研究所）;2004年
8	张自强;基于自动机理论的UML模型一致性研究[D];兰州大学;2009年
9	张群;基于组件的企业信息管理系统研究[D];合肥工业大学;2006年
10	高丹丹;无线认证协议的模型检测与分析研究[D];长春理工大学;2010年

中国重要报纸全文数据库

前10条

1	对外经济贸易大学信息学院曹景广;用UML实现ERP系统建模（五）[N];国际商报;2002年
2	阿航;UML面向对象分析[N];中华读书报;2002年
3	对外经济贸易大学信息学院曹景广;用UML实现ERP系统建模（一）[N];国际商报;2002年
4	本报记者张华甲;力破产业瓶颈中软协培育UML建模人才[N];中国工业报;2010年
5	本报记者周锦鸾刘小如;谁支撑着巨人[N];中国计算机报;2001年
6	本报记者刘学习;软件开发过程能统一吗？[N];计算机世界;2002年
7	华市;为我国计算机软件专业教育添砖加瓦[N];中华读书报;2002年
8	本版编辑余建斌陈建才谌文卫杜文娟　杨健　本报记者　蒋建科　许健民;科技：让百姓生活富裕又便捷[N];人民日报;2006年
9	本报记者龚杰;冲破软件樊笼[N];计算机世界;2001年
10	北京施光伟;做一个软件项目管理人才[N];中国电脑教育报;2001年

	快捷付款方式		订购知网充值卡	订购热线	帮助中心
	微信支付支付宝银行卡	知网卡在线购卡更多>>	免费送卡上门银行汇款购卡邮局汇款购卡	400-819-9993 010-62982499 010-62783978	常见问题在线咨询阅读器下载	充值中心知网卡新手指南