搜索到40篇“ XUML“的相关文章
- 基于xUML与DODAF的指挥信息系统可执行体系结构建模研究
- 2023年
- 针对体系结构视图产品在验证系统动态行为及状态转换等方面存在的不足,难以有效保证所建模型与具体军事需求的一致性,提出了基于xUML与DODAF的可执行体系结构建模及验证方法,分析了该方法的可行性与适用性,及其在验证系统动态行为方面的优势,给出了利用该方法进行建模的具体步骤。最后结合区域防空指挥信息系统开发实例,通过建模对该系统的部分动态行为进行了验证和分析,进一步证明了该方法的有效性。
- 杨双泽赵有华朱丹陈启航
- 关键词：可执行体系结构
- 基于MDA和xUML的军事信息系统可靠性验证方法研究
- 针对军事信息系统可靠性验证问题,以美国国防部体系结构框架(Department of Defense Architecture Framework,DoDAF)为开发框架,运用模型驱动架构(Model Driven Ar...
- 韩海艳杨昌辉肖松陈鹤群陈迪颀
- 关键词：可靠性
- xUML4MC模型到MSVL语言程序的转换方法、计算机可读存储介质
- 本发明属于计算机软件技术领域，公开了xUML4MC模型到MSVL语言程序的转换方法、计算机程序，所述xUML4MC模型到MSVL语言的转换方法包括：建立类图模型和活动图模型描述系统；将类图和活动图转换为面向对象抽象语法树...
- 舒新峰王曙燕王梦楠
- 文献传递
- 基于xUML的模型一致性问题研究被引量：1
- 2019年
- xUML是一种统一建模语言UML的扩展语言,可用于实现自动代码生成。针对xUML代码生成过程中出现的模型不一致问题,文中提出了一种基于xUML类图和活动图的模型完整性和一致性校验方法。首先给出了模型完整性和一致性的校验规则,其次给出了基于规则伪代码形式的算法描述,最后利用工具结合一个具体的实例对完整性和一致性检验算法进行验证。实验结果表明,该方法可以用于对类图和活动图的完整性和一致性验证。
- 王振宇
- 关键词：XUML
- 一种xUML4MC模型到MSVL语言程序的转换方法、计算机程序
- 本发明属于计算机软件技术领域，公开了一种xUML4MC模型到MSVL语言程序的转换方法、计算机程序，所述xUML4MC模型到MSVL语言的转换方法包括：建立类图模型和活动图模型描述系统；将类图和活动图转换为面向对象抽象语...
- 舒新峰王曙燕王梦楠
- 文献传递
- 基于xUML的DoDAF可执行体系结构开发与验证被引量：8
- 2014年
- 可执行体系结构可以通过仿真执行,验证体系结构的正确性与合理性。针对DoDAF v2.0可执行体系结构开发与验证问题,结合DoDAF v2.0体系结构模型特点和面向对象的体系结构开发方法,应用xUML及ASL,开发DoDAF v2.0可执行体系结构,给出了基于xUML的可执行体系结构开发与验证的方法及步骤。通过反导预警作战系统体系结构开发实例,验证了方法的可行性。最后,将此方法与其他方法进行了比较。
- 陈岩李志淮谭贤四朱刚
- 关键词：DODAFV2可执行体系结构面向对象方法XUMLASL
- 基于xUML的DoDAF可执行体系结构构建
- 2012年
- 为构建可执行体系结构,实现体系结构的仿真执行,获取体系结构的动态信息,验证其动态特性,针对可执行体系结构开发问题,首先分析了DoDAF V2.0和模型驱动体系结构(MDA)的核心开发思想,讨论了以MDA指导DoDAF V2.0可执行体系结构开发的理论基础;提出了以MDA为开发指导思想,采用体系结构开发语言xUML,使用ASL描述信息的DoDAF V2.0可执行体系结构的开发方法,给出了具体的开发步骤;最后结合实例,检验了该方法的可行性和有效性.
- 陈岩谭贤四李志淮朱刚
- 关键词：可执行体系结构模型驱动体系结构
- 基于xUML的航迹起始算法代码生成机制
- 2010年
- 在信息融合航迹起始算法分析的基础上,探讨了基于可执行UML的建模方法,研究类图、状态图和动作规约语言在建模中的应用。借鉴模型驱动架构的思想,研究代码的生成流程、模型信息的提取和组织方法、模型到代码的映射机制,为系统及算法的设计和开发提供一种新的思路。iUMLite环境下的建模实践证明,该建模方法和机制是可行和有效的,具有一定研究意义和应用价值。
- 宋俊典林家骏
- 关键词：可执行UML信息融合航迹起始
- 一种概念模型XUML转换到XML Schema的方法
- 由于XML已成为Web上表示结构化和半结构化数据的标准,设计XML模式的方法变得重要。目前,已有学者提出一种新的XML概念模型——XUML,但是缺乏XML概念模型到XML逻辑模型的转换。本文提出了一种将概念模型XUML转...
- 张学敏熊曾刚刘洪星陈明
- 关键词：XMLXML模式XUML
- 文献传递
- 基于xUML的列控系统需求规范验证方法研究
- 列控系统需求工程是列控系统发展的重要组成部分,需求规范验证是需求工程建设的重要环节,它是降低系统开发风险和项目成本的有效手段。本文主要围绕基于可执行UML(Executable UML,xUML)的列控系统需求规范验证方...
- 张庆新
- 关键词：列车运行控制系统可执行模型
- 文献传递
相关作者
- 陈岩
- 作品数：5被引量：16H指数：3
- 供职机构：空军预警学院
- 研究主题：DODAF 可执行体系结构 XUML ASL V2
- 李志淮
- 作品数：104被引量：284H指数：8
- 供职机构：大连海事大学信息科学技术学院
- 研究主题：高超声速 区块链 DODAF 体系结构 航迹起始
- 谭贤四
- 作品数：170被引量：520H指数：11
- 供职机构：空军预警学院
- 研究主题：雷达 高超声速 相控阵雷达 高超声速飞行器 分布式雷达
- 张学敏
- 作品数：40被引量：152H指数：7
- 供职机构：武汉理工大学
- 研究主题：XML MIS系统 XML_SCHEMA 计算机网络 安全性
- 刘洪星
- 作品数：45被引量：234H指数：7
- 供职机构：武汉理工大学
- 研究主题：XML SCHEMA 课程体系 可扩展标记语言 基于XML
