计算机科学 ›› 2015, Vol. 42 ›› Issue (Z11): 473-478.
刘大伟,王智学,禹明刚
LIU Da-wei, WANG Zhi-xue and YU Ming-gang
摘要： 当前对C4ISR系统能力需求的描述大多基于图形、文字等静态模型,对信息和数据的具体操作没有进行定义,以至于对象之间的行为过程没有详细说明。缺乏可执行动态语义的能力模型是不可执行的,因此提出了一种基于活动图的能力需求过程建模方法,为可执行体系结构的建模仿真提供支撑。首先给出了系统过程模型的定义,在C4ISR系统能力元概念模型的指导下,通过扩展UML活动图得到系统的能力需求过程元模型。然后用本体表示能力需求过程元模型语义,通过对本体的逻辑推理实现对C4ISR系统能力需求过程元模型的验证。
| [1] 孙严,戴浩.基于能力的军事需求方法简介[J].科学技术与工程,2007,9(7):2170-2176 [2] Joint Chief of STAFF.CJCI3170.01D Joint Capability Integration and Development System[S/OL].2005-8-63.http:∥www.dtic.mil/cjcs_directives/index.htm [3] MOD Partner.MOD Architecture Framework Overview Version1.0(MODAF-M09-002) [S/OL].2005-8-31.http:∥www.modaf.org.uk/ [4] 王智学,董庆超,陈剑.基于能力的复杂系统需求分析[C]∥江苏省系统工程学会军事系统工程委员会第十届学术年会.2008:115-121 [5] 王智学,董庆超,陈彬,等.基于UML模型的C4ISR系统能力需求分析与验证[J].系统工程与电子技术,2009,31(9):2167-2171 [6] 董庆超,王智学,陈剑,等.基于描述逻辑的能力需求模型验证方法[J].系统工程与电子技术,2010,32(3):533-539 [7] Vincent C,Matthieu R.Interoperability constraints and requirements formal modelling and checking framework [C]∥Ternational Federation for Information Processing.2010:219-226 [8] Wagenhals L W,Haider S,Levis A H.Synthesizing executable models of object oriented architectures[C]∥Workshop on Formal Methods Applied to Defence Systems.Adelaide,Australia,2002 [9] 张炜钟.指控系统能力需求的可执行建模及仿真评估技术研究[D].南京:解放军理工大学,2012 [10] 陈章耀.模型驱动的业务生成技术中业务过程模型的研究与应用[D].北京:北京邮电大学,2008 [11] Group C4ISR Architecture Working.C4ISR architecture framework version2.0 [R].The United States:Department of Defense,1997 [12] Brockmans S,Volz R,Eberhart A.Visual modeling of OWL DL ontologies using UML[M]∥Lecture Notes on Computer Science 3298.2004 :198-213 [13] Van Der Straeten R.Inconsistency management in model-driven engineering:An approach using description logics[D].Vrije Universiteit Brussel,2005 [14] W3C Working Draft.SWRL:a semantic web rule language combining OWL and RuleML[EB/OL].2009-07-02.http://www.w3.org/Submission/SWRL/ [15] Motik B,Sattler U,Studer R.Query answering for OWL-DL with rules[C]∥Proc.of the 3rd International Semantic Web Conference.2004:549-563 [16] Glimm B,Horridge M,Parsia B,et al.Asyntax for rules in OWL 2[R].Oxford:University of Oxford,2008 [17] 朱雪峰,金芝.关于软件需求中的不一致性管理[J].软件学报,2005,16(7):1221-1231 |
| No related articles found! |
|
||
首页