面向UML的模型检验研究—博士毕业论文下载



面向UML的模型检验研究

分类：教育论文网→工业技术论文→自动化技术、计算机技术论文→计算技术、计算机技术论文→计算机的应用论文→信息处理（信息加工）论文→计算机仿真论文

面向UML的模型检验研究

论文目录
摘要	第1-7 页
ABSTRACT	第7-9 页
第一章绪论	第9-17 页
· 形式验证	第9-12 页
· 软件和系统的可视化建模	第12-13 页
· 本文的主要研究内容	第13-15 页
· 本文的结构	第15-17 页
第二章并发和实时系统的模型检验技术	第17-29 页
· 时态逻辑和模型检验	第17-19 页
· 基于自动机理论的模型检验方法	第19-21 页
· Symbolic模型检验	第21 页
· 模型检验的优化技术	第21-24 页
· 实时系统模型检验	第24-25 页
· Statecharts模型检验	第25-26 页
· 存在的问题和发展方向	第26-29 页
第三章通过EHA表示UML Statecharts	第29-43 页
· 统一建模语言UML	第30-34 页
· UML的结构	第30-31 页
· UML的建模机制	第31-33 页
· UML的主要特点	第33-34 页
· UML Statecharts	第34-37 页
· UML Statecharts的语法	第34-35 页
· UML Statecharts的语义	第35-37 页
· UML Statecharts对应的EHA	第37-39 页
· EHA的形式操作语义	第39-43 页
第四章 UML Statecharts的模型检验方法	第43-57 页
· 从UML Statecharts到Büchi自动机	第43-48 页
· 有穷字和无穷字上的自动机	第43-45 页
· 广义Büchi自动机	第45 页
· EHA到Büchi自动机的生成算法	第45-48 页
· 用LTL公式描述UML模型的性质	第48-49 页
· LTL公式到Büchi自动机的转换	第49-54 页
· UML Statecharts的模型检验算法	第54-57 页
· Büchi自动机的乘积	第54 页
· Büchi自动机的判空	第54-57 页
第五章 UML Statecharts的切片模型检验	第57-70 页
· 程序切片的概念与方法	第57-60 页
· 顺序程序切片	第57-59 页
· 并发程序切片	第59-60 页
· EHA中的依赖关系	第60-64 页
· EHA切片的生成	第64-68 页
· 从LTL公式中提取切片准则	第68-70 页
第六章并发多对象系统的验证	第70-82 页
· 并发多对象系统的建模	第70-71 页
· 同步和异步系统的验证	第71-75 页
· 同步系统的并发组合验证	第75-79 页
· UML Statecharts的层次组合验证	第79-82 页
第七章模型检验工具UML-MC的设计与实现	第82-92 页
· UML-MC的体系结构	第82-83 页
· UML-MC的设计与实现	第83-88 页
· UML模型接口	第84-85 页
· EHA的文件格式	第85-86 页
· 系统用例图	第86 页
· 类图	第86-88 页
· 顺序图	第88 页
· 基于UML的软件测试和验证环境	第88-92 页
第八章结束语	第92-95 页
· 本文的主要贡献	第92-93 页
· 下一步研究工作	第93-95 页
攻读博士学位期间发表的论文	第95-97 页
致谢	第97-99 页
参考文献	第99-107 页
附录: 相关定理和推论的证明	第107-116 页

本篇论文共116页，点击这进入下载页面。

更多论文
面向UML的模型检验研究
我国网络有害信息公共治理的模式研
国际家居零售品牌的研究及对创立中
面向气象预报数值模式的高效并行计
公共治理的模块化治理方法研究--PD
中国室内陈设艺术设计的风格研究
分布式存储环境下矩阵广义特征值问
家具车间气力输送装置变频调节自动
数值气象预报变分同化的伴随模式并
135型螺杆泵螺杆的设计过程及力学性
自适应天线抗干扰技术
钢筋混凝土双悬臂梁试验系统的研制
基于均匀空间离散域对象的空间数据
三跨连续下承式系杆拱桥结构分析与
MK物流企业集团有限公司战略规划
地方公共物品多元化供给研究
图象信息隐藏的理论模型与若干关键
“肋梁楼盖”在双曲拱桥加固改造中
湖南省区域物流发展规划研究
绿色创业导向对企业绩效的影响基于
基于C.W节约算法的第三方物流运输优
上海区县经济差异的政策调控研究
基于动态约束分析的激光陀螺惯性测
双曲拱桥拓宽改造后内力重分布的探
赣州市城市化建设研究
项目管理理论在开发区产业集聚中的
东亚一体化实现路径研究
掺钢渣的石灰粉煤灰稳定碎石性能的
基于自主创新的嘉兴科技发展模式研
基于协进化机制的多智能体系统体系
BASF公司分散体部门进口产品库存管
服务器研发项目风险因素研究
果蔬冷链物流体系研究--以赣南脐橙
掺钢渣的水泥稳定碎石性能的研究
HLA邦元范型框架设计及其关键技术研
CEPA框架下深圳国际农产品物流园发
南京市商品住宅价格分析及对策研究
SGS RoHS测试流程优化及成本控制研
赣州市居住用地价格监测与预警研究
胶合木结构小型建筑结构设计原理的
从价值链角度探讨OML公司产品定价决
进化决策的模型、关键技术与应用研
城市规划展览馆布展工程EPC管理模式
A公司售后服务零配件库存管理方案探
32位高性能嵌入式向量微处理器关键
轨道交通对城市空间发展作用的研究
冯阿登纳公司物流系统中若干问题的
多传感器目标跟踪中的数据融合技术
水泥搅拌桩和塑料排水板联合处理软
中小型货代企业的组织再造
业主在建设项目决策设计阶段的管理
木制品材料声发射特性研究
苏州工业园综合保税区物流能力评价
相控阵雷达低空目标探测与跟踪技术
新型木塑复合材料断裂及断裂机理的
现代物流信息技术在公路管理中的应
虚拟战场中特殊效果生成和实体模型
半干法粉煤灰水泥刨花板生产工艺的
LPI雷达信号设计和处理技术研究
宁武高速公路项目（进度）风险管理
马尾松板材汽蒸脱脂及防变色干燥
SAR图像相干斑抑制和光学图像序列超
供应链战略联盟综合绩效评价问题研
竹节部切屑形成机理的研究
目标融合跟踪技术及性能预测研究

UML论文模型检验论文形式验证论文
版权申明：目录由用户elizabathliy**提供，www.51papers.com仅收录目录，作者需要删除这篇论文目录请点击这里。
\| 设为首页\|\|加入收藏\|\|站内搜索引擎\|\|站点地图\|\|在线购卡\|
版权所有教育论文网 Copyright(C) All Rights Reserved