基于SPIN的UML活动图验证_毕业论文范文网-论文范文

搜索高级搜索

原创毕业论文

基于SPIN的UML活动图验证

作者: 浏览:3次

免费专业论文
政治工作论文
计算机论文
营销专业论文
工程管理论文范文
医药医学论文范文
法律论文范文
生物专业论文
物理教学论文范文
人力资源论文范文
化学教学论文范文
电子专业论文范文
历史专业论文
电气工程论文
社会学专业论文
英语专业论文
行政管理论文范文
语文专业论文
电子商务论文范文
焊工钳工技师论文
社科文学论文
教育论文范文
数学论文范文
物流论文范文
建筑专业论文
食品专业论文
财务管理论文范文
工商管理论文范文
会计专业论文范文
专业论文格式
化工材料专业论文
英语教学专业论文
电子通信论文范文
旅游管理论文范文
环境科学专业论文
经济论文
人力资源论文范文
营销专业论文范文
财务管理论文范文
物流论文范文
财务会计论文范文
数学教育论文范文
数学与应用数学论文
电子商务论文范文
法律专业论文范文
工商管理论文范文
汉语言文学论文
计算机专业论文
环境艺术专业论文
信息计算科学专业
物流专业论文范文
人力资源论文范文
教育管理论文范文
现代教育技术论文
小学教育论文范文
机械模具专业论文
报告,总结,申请书
理工科专业论文
心理学论文范文
学前教育论文范文

毕业论文范文题目：基于SPIN的UML活动图验证，论文范文关键词：基于SPIN的UML活动图验证
基于SPIN的UML活动图验证毕业论文范文介绍开始：
【论文摘要】：随着计算机技术的飞速发展,软件系统的广泛应用,软件系统间的可移植性、协同工作能力和可维护性问题日益突出,以模型为软件开发关键的模型驱动架构MDA方法是解决这些问题而产生的新技术。用UML活动图建立MDA中的平台无关模型（文章此处忽略..）PIM是模型的核心之一。但是很多模型在建模过程中缺乏正确性验证或仅进行局部的语法检验,造成模型存在死锁、活锁等缺陷,这直接引发了模型执行过程中的诸多问题,如任务不能完成、超期完成等。因而,在建模阶段验证模型的正确性就显（文章此处忽略..）得尤为重要。在国家863项目“模型驱动式高可信软件开发技术”(编号:2006AA01Z165)的支持下,我作为小组成员实现了对UML活动图的自动化验证。模型检测作为形式化验证模型的方法,有着自动化和提供反例等诸多优点。并且近年在UML模型中得到广（文章此处忽略..）泛应用。模型检测器SPIN是由贝尔实验室开发的一种专门用于软件验证的工具。本文基于模型检测工具SPIN,对UML活动图建立的PIM模型进行形式化分析和验证,并对UML活动图进行动态模拟。首先在UML活动图建立的PIM模（文章此处忽略..）型基础上,将UML活动图转化为模型验证工具SPIN能够识别的PROMELA语言模型,然后结合SPIN的验证功能对活动图进行验证,给出验证信息,并且在出错的情况下可以对活动图进行动态模拟。

以上为本篇毕业论文范文基于SPIN的UML活动图验证的介绍部分。

本论文在电子专业论文栏目，由论文网(www.zjwd.net)整理,更多论文,请点论文范文查找

收费专业论文
汉语言文学论文
物理学论文
自动化专业论文
测控技术专业论文
历史学专业论文
机械模具专业论文
金融专业论文
电子通信专业论文
材料科学专业论文
英语专业论文
会计专业论文
行政管理专业论文
财务管理专业论文
电子商务国贸专业
法律专业论文
教育技术学专业论文
物流专业论文
人力资源专业论文
生物工程专业论文
市场营销专业论文
土木工程专业论文
化学工程专业论文
文化产业管理论文
工商管理专业论文
护理专业论文
数学教育专业论文
数学与应用数学专业
心理学专业论文
信息管理专业论文
工程管理专业论文
工业工程专业论文
制药工程专业论文
电子机电信息论文
现代教育技术专业
新闻专业论文
热能与动力设计论文
教育管理专业论文
日语专业论文
德语专业论文
轻化工程专业论文
社会工作专业论文
乡镇企业管理
给水排水专业
服装设计专业论文
电视制片管理专业
旅游管理专业论文
物业管理专业论文
信息管理专业论文
包装工程专业论文
印刷工程专业论文
动画专业论文
营销专业论文范文
工商管理论文范文
汉语言文学论文范文
法律专业论文范文
教育管理论文范文
小学教育论文范文
学前教育论文范文
财务会计论文范文

电子商务论文范文

上一篇：黄河水量调度管理系统的研究与实现

下一篇：基于实时以太网EtherCAT的卷烟机..