欢迎来到天天文库
浏览记录
ID:34009332
大小:8.70 MB
页数:151页
时间:2019-03-03
《基于petri网的uml模型分析及其在铁道信号系统中的应用研究》由会员上传分享,免费在线阅读,更多相关内容在教育资源-天天文库。
1、㈣删删㈣『ffff㈣删啪Y2117744论文题目:基于Petri网的UML模型分析及其在铁道信号系统中的应用研究学科专业:计算机应用技术研究生:常利宁指导教师:黑新宏副教授摘要签名:衄签名:绑随着信息技术的快速发展,计算机应用日益广泛,软件已渗透到国民经济和国防建设的各个领域。但是软件的生产现状和质量常常存在缺陷。因此,如何提高软件的质量,尤其在一些安全关键应用领域,保证软件的可靠性和安全性已成为国内外研究的热点问题。软件的可靠性不仅取决于软件开发的方法和过程,也取决于软件的测试和验证。统一建模语言UML已广泛应用于安全关键计算机系统的开发中。它是一种功能强大、面向对
2、象的可视化系统分析建模语言。但UML是半形式化的,不能用数学工具直接的表达和分析,而且对象之间约束规则的一致性和并发性很难被UML模型所描述,其系统的动态行为特征也难于全面地用IMI,模型体现。Petri网是一种系统的数学和图形的建模分析工具,它以图形化的数学工具库所、变迁来清楚地描述系统内部的相互作用,它特别适合描述系统中进程或者部件的顺序、并发、冲突以及同步等关系。因此,本文提出了一种将“UML状态图模型转换为P嘶网模型的方法",并基于该方法,初步实现了一个将UML状态图模型转换为P嘶网模型的自动转换工具。论文主要工作包括以下几点:(1)针对国内外的研究现状,对软
3、件系统的形式化建模、描述及验证方法的研究和应用进行了分析。一(2)对UML状态图进行了研究,给出了UML状态图的形式化定义,并用定义的形式化语言描述了状态图的相关性质、基本状态和复合状态。(3)通过分析UML状态图的形式化定义和Petri网严格的形式化语义,研究了两者语义之间的等价部分,提出了将UML状态图转换为Pe仃i网的方法。(4)基于UML状态图的形式化定义、Pe仃i网的形式化语义以及)(1ⅥL文档的结构,本文提出了UML状态图到Petri网的转换方法,实现了一个将“UML状态图模型转换为Petri网模型"的自动转换工具。(5)以一种新型的分散式铁路联锁系统(D
4、对S)为例,对本文实现的自动转换工具进行了检验。关键词:UML模型;Petri网;XML;分散式铁路联锁系统西安理工大学硕士学位论文IIAbs仃actTitIe:ResearchOnUMLModeIAnaIysisBasedonPetriNetsandItsApp¨cationinRailwaySigna¨ingSystemMajor:ComputerApp¨cationTbchnologyName:LiningCHANGSuper、,isor:PrOf.XinhOngHElAbStraCtSignature:VSignature:VWit王ltller印iddeve
5、lopmentofinf.omationtecllIlology’computerpIaysaulimportaIltroIei11people’sliVes.HowtoimproVesomVarequali劬especi2Lllyi11tlleareaSofsaf-et)r—criticalapplications,趴dtoensuresoft、Ⅳarereliabili够andSec嘶够ha、,ebeComehotissuesbomathomeaIldabroad.Softv哪.ereliabili够notonlydependsonmeso胁aredeVelopm
6、entprocessaIldmethod,butalsothesoft、ⅣaretestingtecllIlologyaIldVerificationmetllod.UIlifiedModelingLaIlguage(UML)isapowe雨1aIldobject—oriented蹦巾11icalmodelinglaIlguage.nhaSbeen谢delyuSediIlthedeVelopmemofs疵妒嘶ticalcomputerSystenls.ButUMLisas锄i一南姗甜tool,w
7、lichc锄otbedirectJyanalyzedbymatll锄at
8、icaltI∞1s.~so,UMLmodelisdimcuntorenecttlleconcu玎.encya11dconsistencyofCOIlStraintrulesbe铆eeno场ectsa11diInpossiblet0completelydemonm.atetlled脚icbehaviorcharacteristicsofasystem.Petrinctisasys『tematicmathematical锄dgrapmcalmodelinganalysist001.Ituses粤邳llicalelementp肠cPa11d护口册豇面刀t0
此文档下载收益归作者所有