基于sysml的可执行模型验证工具的研究与实现

《基于sysml的可执行模型验证工具的研究与实现》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、中图分类号：TP311论文编号：102871614-S085学科分类号：081200硕士学位论文基于SysML的可执行模型验证工具的研究与实现研究生姓名俞晓锋学科、专业计算机科学与技术研究方向数据库系统及应用指导教师王立松副教授南京航空航天大学研究生院计算机科学与技术学院二О一四年六月万方数据NanjingUniversityofAeronauticsandAstronauticsTheGraduateSchoolCollegeofComputerScienceandTechnologyResearcha

2、ndImplementationofaVerificationToolForExecutableModelBasedonSysMLAThesisinAcademicMaster,ComputerScienceandTechnologybyYuXiaoFengAdvisedbyAssociateProf.WangliSongSubmittedinPartialFulfillmentoftheRequirementsfortheDegreeofMasterofEngineeringJune,2014万方数据承

3、诺书本人声明所呈交的硕士学位论文是本人在导师指导下进行的研究工作及取得的研究成果。除了文中特别加以标注和致谢的地方外，论文中不包含其他人已经发表或撰写过的研究成果，也不包含为获得南京航空航天大学或其他教育机构的学位或证书而使用过的材料。本人授权南京航空航天大学可以将学位论文的全部或部分内容编入有关数据库进行检索，可以采用影印、缩印或扫描等复制手段保存、汇编学位论文。(保密的学位论文在解密后适用本承诺书)作者签名：日期：万方数据南京航空航天大学硕士学位论文摘要系统建模语言(SystemsModelingLa

4、nguage，SysML)的提出使得模型驱动开发(ModelDrivenDevelopment，MDD)可以应用于系统工程领域。由于模型驱动开发对自动代码生成的支持，使得目标系统的验证在整个项目开发周期中的位置可以推前到系统的设计阶段进行。在MDD中，模型可分为平台无关模型和平台相关模型，通过验证平台无关模型(PlatformIndependentModel，PIM)来预览系统的行为功能可以减少系统工程实施的风险。在系统工程领域中，针对平台无关模型进行验证具有重要的意义，合理的平台无关模型可以组织成为高内

5、聚低耦合的可复用组件，提高系统工程的质量和效率，大大减少测试目标系统的时间和开销。系统建模语言是统一建模语言(UnifiedModelingLanguage，UML)的扩展，将会广泛应用到模型驱动开发中，但SysML还在不断完善中，使用原生SysML进行建模不能满足平台无关模型验证的需求，主要原因为：一方面，SysML本身不具备可执行性；另一方面，缺少针对SysMLPIM进行设计、分析和验证的工具原型。论文针对目前存在的问题和需求开展了相关研究和实践，主要工作如下：(1)在SysML规范的基础上定义了可执

6、行的平台无关模型。它有一个清晰的模型结构并加入了动作规约语言进行增强，可执行性是进行平台无关模型验证的前提和基础；(2)设计实现了支持基于SysML的可执行平台无关模型的工具原型。用它可以创建和验证可执行的平台无关模型；(3)在可执行模型和工具原型的基础上实现了平台无关模型的验证功能。通过一个具体的模型实例，采用论文中的原型系统进行实验，体现了验证平台无关模型的可行性。关键词：MDD，SysML，平台无关模型，可执行，验证i万方数据基于SysML的可执行模型验证工具的研究与实现ABSTRACTModelD

7、rivenDevelopment(MDD)canbeappliedtosystemengineeringresultfromSystemsModelingLanguage(SysML)proposed.BecauseofthesupportingofautomaticcodegenerationinModelDrivenDevelopment(MDD),thepositionofverificationfortargetsystemintheentiredevelopmentliftcyclecanbes

8、etinthedesignstageofsystem.InthefieldofMDD,modelcanbedividedintoPlatformIndependentModelandPlatformSpecificalModel.ThebehaviorofthesystemfunctioncanbepreviewedthroughtheverificationofPlatformIndependentModel(PIM)whi