计算机科学 ›› 2015, Vol. 42 ›› Issue (2): 150-156.doi: 10.11896/j.issn.1002-137X.2015.02.033
王聪,王智学,徐友云
WANG Cong, WANG Zhi-xue and XU You-yun
摘要: 军事电子信息系统是一种典型的大规模复杂系统,如何获取这种复杂系统的需求仍然是一个难题。提出了一种新的能力需求分析方法。该方法从领域概念化入手,构造了C4ISR能力概念化的元本体;利用UML元层扩展机制,提出了一种用于定义C4ISR能力概念的对象建模语言,并给出了该语言的抽象语法和详细语法,利用OWL DL定义了形式语义。最后以一个C4ISR体系结构仿真建模为案例,说明了该方法的有效性和可用性。
[1] US Department of Defense.DoD Architecture Framework Version 1.5 (Volume I-II-III).2007.http://www.defenselink.mil/cio-nii/ [2] UK Ministry of Defence.The MOD Architectural Frameworkv1.2.2008.http://www.modaf.org.uk [3] CapDEM CEP Team,Capability Engineering Process Version 1[R].Defence Research and Development Canada,Valcartier,2004 [4] OMG.Unified Profile for the Department of Defense Architecture Framework (DoDAF) and the Ministry of Defence Architecture Framework (MODAF) Specification.2008.http://www.updm.com/index.htm [5] OMG.ALert Management Service (ALMAS) Specification (Beta 2).2008.http://www.omg.org/technology/documents/ domain_spec_catalog.htm [6] 金芝.基于本体的需求自动获取[J].计算机学报,2000,23:486-492 [7] Jin Zhi,Bell D,Wilkie F D.Automated requirements elicitation:Combining a model-driven approach with concept reuse[J].International Journal of Software Engineering and Knowledge Engineering,2003,13(1):53-82 [8] 陆汝钤,金芝.从基于知识的软件工程到基于知件的软件工程[J].中国科学F辑,2008,38(6):843-863 [9] 舒风笛,赵玉柱,王继喆,等.个性化领域知识支持的用户主导需求获取方法[J].计算机研究与发展,2007,44(6):1044-1052 [10] 翟健,杨秋松,肖俊超,等.一种形式化的组件化软件过程建模方法[J].软件学报,2011,2(1):1-16 [11] 张伟,梅宏.一种面向特征的领域模型及其建模过程[J].软件学报,2003,14(8):1345-1356 [12] 王波,赵海燕,张伟,等.问题驱动的需求捕获中问题分析与解决技术研究[J].计算机研究与发展,2013,50(7):1513-1523 [13] 杨芙清,吕建,梅宏.网构软件技术体系:一种以体系结构为中心的途径[J].中国科学F辑,2008,38(6):818-828 [14] 吕建,马晓星,陶先平,等.面向网构软件的环境驱动模型与支撑技术研究[J].中国科学F辑,2008,38(6):864-900 [15] 李德毅.需求工程——对复杂系统的软件工程的基础研究[J].中国基础科学,2009,11(2):4-8 [16] Wang Jian,He Ke-qing.RGPS:a unified requirements meta-modeling frame for networked software[C]∥Proceedings of the 3rd International Workshop on Applications and Advances of Problem Frames at 30th International Conference on Software Engineering.2008:29-35 [17] 马国普,余滨,沙基昌,等.系统能力集成与开发的SCFP模型[J].火力与指挥控制,2008,3(7):36-39 [18] 付广胜,陈洪辉.基于能力的指挥信息系统需求获取方法[J].火力与指挥控制,2009,4(9):72-75 [19] 谢仲文,李彤,代飞,等.基于特征组合的软件需求建模[J].计算机科学,2012,9(1):130-141 [20] 王聪,王智学.UML活动图的操作语义[J].计算机研究与发展,2007,4(10):1801-1807 [21] 王聪,王智学.军事电子信息系统需求模型[J].解放军理工大学学报:自然科学版,2008,9(4):328-334 [22] 王智学,董庆超,陈彬,等.基于UML模型的C4ISR系统能力需求分析与验证[J].系统工程与电子技术,2009,31(9):2167-2171 [23] 王智学,董庆超,朱卫星,等.一种支持能力需求概念一致性和合理性分析的方法[J].计算机学报,2013,6(1):10-21 |
No related articles found! |
|