Computer Science ›› 2015, Vol. 42 ›› Issue (Z11): 473-478.

Previous Articles     Next Articles

Modeling and Validation of Capability Requirement Process Based on Activity Diagram

LIU Da-wei, WANG Zhi-xue and YU Ming-gang   

  • Online:2018-11-14 Published:2018-11-14

Abstract: Current descriptions of C4ISR system capability requirement are mostly based on static model such as literature and static diagram,and lack of definition of specific operation to information and data,which leads to lack of detailed explanation of behavior between objects.Since the capability model which lacks executable dynamic semantics is unexecutable,a modeling approach to capability requirement process based on activity diagram was proposed to support the modeling and simulation of executable architecture.Firstly,definition of system process model was presented,and with the guidance of C4ISR capability metamodel,capability requirement process metamodel was built by extending UML activity diagram.Then ontology was used to describe the semantics of capability requirement process metamodel,and validation of C4ISR capability requirement process metamodel was done through reasoning of ontology.

Key words: Capability requirement,Executable,Activity diagram,Process modeling,Model validation

[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!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!