陈岩
- 作品数：5 被引量：16H指数：3
- 供职机构：空军预警学院更多>>
- 相关领域：自动化与计算机技术自然科学总论军事更多>>
- 基于生成图的体系结构动态行为语义一致性验证方法被引量：1
- 2014年
- 针对体系结构动态行为的语义一致性验证问题,提出了基于生成图的验证方法.首先根据体系结构的动态行为模型构建生成图,然后对生成图的逻辑结构和时间信息进行分析,来完成动态行为模型的逻辑关系和时序关系一致性验证.该方法不但能够有效解决动态行为的语义一致性验证问题,而且还能准确定位模型中出现问题的地方,指导用户进行模型不一致处理和优化动态模型.同时,生成图可供多个模型间的动态行为一致性验证,实用性更强,且在可理解性、可分析性等方面上相比传统方法具有较大改善.
- 李志淮谭贤四王红陈岩
- 关键词：体系结构生成图
- 基于xUML的DoDAF可执行体系结构构建
- 2012年
- 为构建可执行体系结构,实现体系结构的仿真执行,获取体系结构的动态信息,验证其动态特性,针对可执行体系结构开发问题,首先分析了DoDAF V2.0和模型驱动体系结构(MDA)的核心开发思想,讨论了以MDA指导DoDAF V2.0可执行体系结构开发的理论基础;提出了以MDA为开发指导思想,采用体系结构开发语言xUML,使用ASL描述信息的DoDAF V2.0可执行体系结构的开发方法,给出了具体的开发步骤;最后结合实例,检验了该方法的可行性和有效性.
- 陈岩谭贤四李志淮朱刚
- 关键词：可执行体系结构模型驱动体系结构
- 基于xUML的DoDAF可执行体系结构开发与验证被引量：8
- 2014年
- 可执行体系结构可以通过仿真执行,验证体系结构的正确性与合理性。针对DoDAF v2.0可执行体系结构开发与验证问题,结合DoDAF v2.0体系结构模型特点和面向对象的体系结构开发方法,应用xUML及ASL,开发DoDAF v2.0可执行体系结构,给出了基于xUML的可执行体系结构开发与验证的方法及步骤。通过反导预警作战系统体系结构开发实例,验证了方法的可行性。最后,将此方法与其他方法进行了比较。
- 陈岩李志淮谭贤四朱刚
- 关键词：DODAFV2可执行体系结构面向对象方法XUMLASL
- 基于可执行模型的DoDAF体系结构验证被引量：4
- 2013年
- 针对DoDAF体系结构的验证问题,提出了基于xUM开发可执行模型及应用可执行模型验证体系结构的方法。首先,为了开发DoDAF体系结构的可执行模型,在分析DoDAF 2.0体系结构模型特点的基础上,给出"状态转移描述"模型的开发方法和步骤,并对活动图进行了可执行化改造。其次,在分析可执行体系结构验证内容的基础上,给出了基于xUML的可执行模型的验证方法和步骤。最后的实例验证了该方法的可行性和有效性。
- 陈岩王红谭贤四李志淮
- 关键词：DODAFXUMLASL
- 人与武器关系多视图建模研究被引量：3
- 2013年
- 为了促进我军信息化转型建设,借鉴DoD AF2.0的思路和方法,从人与武器关系角度提出了一种7视角体系结构框架和"两层伞循环"的体系结构开发步骤,该框架和步骤对我军信息化转型建设中遇到的顶层设计问题具有一定的参考价值。最后,以某雷达团部信息化转型建设为例,描述了该框架与开发步骤的使用过程,验证了多视图建模方法的有效性。
- 朱刚谭贤四李志淮陈岩
- 关键词：体系结构框架多视图信息化转型
