-
题名基于xUML的DoDAF可执行体系结构开发与验证
被引量：9
- 1
-
-
作者
陈岩
李志淮
谭贤四
朱刚
-
机构
空军预警学院研究生管理大队
[
空军预警学院二系
-
出处
《系统仿真学报》
CAS
CSCD
北大核心
2014年第1期152-158,共7页
-
文摘
可执行体系结构可以通过仿真执行,验证体系结构的正确性与合理性。针对DoDAF v2.0可执行体系结构开发与验证问题,结合DoDAF v2.0体系结构模型特点和面向对象的体系结构开发方法,应用xUML及ASL,开发DoDAF v2.0可执行体系结构,给出了基于xUML的可执行体系结构开发与验证的方法及步骤。通过反导预警作战系统体系结构开发实例,验证了方法的可行性。最后,将此方法与其他方法进行了比较。
-
关键词
DODAF
V2
0构架
可执行体系结构
面向对象方法
xuml
ASL
-
Keywords
DoDAF v2.0 framework
executable architecture
object-oriented method
xUM
ASL
-
分类号
TP302.1
[自动化与计算机技术—计算机系统结构]
N945.12
[自然科学总论—系统科学]
-
-
题名XUML/ACME集成建模方法与VMI构架研究
- 2
-
-
作者
袁立罡
万麟瑞
-
机构
南京航空航天大学信息科学与技术学院
-
出处
《计算机工程与设计》
CSCD
北大核心
2005年第8期2076-2079,2182,共5页
-
文摘
以供应商管理库存(VMI)模型的软件开发为背景,研究扩展UML(XUML)与ACME的集成建模方法及其在构架设计中的应用问题。探讨了UML结构模型和行为模型的语义扩展,以增强其表达能力,并将其用于VMI构架设计;进而基于ACME的开放语义框架,给出可实现的VMI构架模板的描述;最后对XUML和ACME两种建模方法的互补与集成的价值做了基本评价。通过在VMI软件开发中的实际应用,证明该方法是可行的,并取得良好的效果。
-
关键词
集成建模方法
xuml
ACME
扩展机制
VMI构架
模板
-
Keywords
integrated modelingmethod
xuml
ACME
extension mechanism
VMI framework
template
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于xUML的航迹起始算法代码生成机制
- 3
-
-
作者
宋俊典
林家骏
-
机构
华东理工大学自动化研究所
-
出处
《火力与指挥控制》
CSCD
北大核心
2010年第3期50-54,共5页
-
基金
国防预研基金资助项目
-
文摘
在信息融合航迹起始算法分析的基础上,探讨了基于可执行UML的建模方法,研究类图、状态图和动作规约语言在建模中的应用。借鉴模型驱动架构的思想,研究代码的生成流程、模型信息的提取和组织方法、模型到代码的映射机制,为系统及算法的设计和开发提供一种新的思路。iUMLite环境下的建模实践证明,该建模方法和机制是可行和有效的,具有一定研究意义和应用价值。
-
关键词
可执行UML
系统建模
信息融合
航迹起始
代码生成机制
-
Keywords
xuml, system modeling, information fusion, trace initialization, code generation mechanism
-
分类号
TP391
[自动化与计算机技术—计算机应用技术]
-
-
题名基于可执行模型的DoDAF体系结构验证
被引量：4
- 4
-
-
作者
陈岩
王红
谭贤四
李志淮
-
机构
空军预警学院
解放军
-
出处
《火力与指挥控制》
CSCD
北大核心
2013年第11期99-103,共5页
-
文摘
针对DoDAF体系结构的验证问题,提出了基于xUM开发可执行模型及应用可执行模型验证体系结构的方法。首先,为了开发DoDAF体系结构的可执行模型,在分析DoDAF 2.0体系结构模型特点的基础上,给出"状态转移描述"模型的开发方法和步骤,并对活动图进行了可执行化改造。其次,在分析可执行体系结构验证内容的基础上,给出了基于xUML的可执行模型的验证方法和步骤。最后的实例验证了该方法的可行性和有效性。
-
关键词
DODAF
2
0构架
可执行体系结构模型
体系结构验证
xuml
ASL
-
Keywords
DoDAF 2.0 framework,executable architecture model,architecture validation,xUM,ASL
-
分类号
TP302.1
[自动化与计算机技术—计算机系统结构]
N945.12
[自然科学总论—系统科学]
-
