【摘 要】
：
由于C4ISR体系结构模型缺乏可执行性,不利于体系结构的验证评估,为此提出了一种基于fUML(semantics of a foundational subset for executable unified modeling language mo
【机 构】
：
解放军理工大学指挥信息系统学院,解放军理工大学信息管理中心
【基金项目】
：
国家自然科学基金(61273210);国防重点预研项目(51306010202)资助课题
论文部分内容阅读
由于C4ISR体系结构模型缺乏可执行性,不利于体系结构的验证评估,为此提出了一种基于fUML(semantics of a foundational subset for executable unified modeling language models)的体系结构建模与分析方法。基于fUML元模型来定义C4ISR体系结构的可执行建模元模型,使用它们来构建C4ISR体系结构的可执行模型;定义可执行模型的代数语义域——可执行活动模型代数(executable activity model algebra,EAMA),使用语义函数将可执行模型的行为语义转换为EAMA的进程项;定义EAMA的操作语义作为进程项的执行规约,通过对进程项的仿真执行来实现C4ISR体系结构的可执行分析,最后以区域防空作战系统为例说明了方法的可行性。
其他文献
<正> 《一元二次不等式及其解法》这节教材是在学完一元二次函数以后出现的。一元二次不等式实质上可看成是二次函数的一部份,二者的关系是一般与特殊或全体与部份的关系。这
我们在进行生物学科校本课程开发过程中得出了四条基本经验:首先,进行初中生物学科的校本课程开发,可以采用课程开发的创新模式,用以拓展开发"健康地生活"主题;要注重回归生
从开始被发现到走进千家万户,电逐步发展成人们日常生活的必需品,关于电的知识与原理也渐渐形成一套电工理论体系。从电气时代到现在的信息时代,电工理论被进一步的丰富和完
<正> 1986年7—10月。我们通过对武汉市牛,羊加工厂等处调查,了解到湖北省屠宰的水牛中住肉孢子虫感染率达90％以上。此虫寄生在水牛的食道肌、咬肌、舌肌以及颈、胸、腹、四肢
电力工业与国民经济之间的关联关系十分密切,对两者之间未来的协调发展情况进行趋势预测和分析,对于我国电力产业政策以及国家经济政策的制定具有一定的参考价值。通过马尔科
英国数学家格雷舍(Glaisher,1848—1928)说过:“任何企图将一种科目与它的历史割裂开来,我确信,没有那一种科目比数学的损失更大”,据此,我们开辟了《数学史话》这个专栏。供
从1906年发现地核到20世纪60年代,地球物理学、地质学和矿物物理学的研究揭示了地球具有物理化学性质截然不同的层圈结构,并根据全球地震波速度和密度的变化建立了初始参考地
目的研究非胰岛素依赖型糖尿病患者血清中微量元素与血糖的关系。方法将2011年1月—2012年12月收治的100例非胰岛素依赖型糖尿病(NIDDM)患者纳入观察组,将同期进行体检的100
目的探讨化浊抑溃安肠汤治疗溃疡性结肠炎的作用机制。方法将60只SD大鼠随机分为正常组、模型组、柳氮磺吡啶组、化浊抑溃安肠汤组,每组15只。除正常组外,其余各组均采用5%2,
海洋信息的获取、处理、管理和服务能力随着空间技术、GIS技术、可视化技术、计算机技术和网络技术的发展正在发生着根本性变化;海洋信息及先进的信息技术正在国家海洋管理决