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

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   
[1] . [J]. Computer Science, 2018, 1(1): 1 .
[2] LEI Li-hui and WANG Jing. Parallelization of LTL Model Checking Based on Possibility Measure[J]. Computer Science, 2018, 45(4): 71 -75, 88 .
[3] XIA Qing-xun and ZHUANG Yi. Remote Attestation Mechanism Based on Locality Principle[J]. Computer Science, 2018, 45(4): 148 -151, 162 .
[4] LI Bai-shen, LI Ling-zhi, SUN Yong and ZHU Yan-qin. Intranet Defense Algorithm Based on Pseudo Boosting Decision Tree[J]. Computer Science, 2018, 45(4): 157 -162 .
[5] WANG Huan, ZHANG Yun-feng and ZHANG Yan. Rapid Decision Method for Repairing Sequence Based on CFDs[J]. Computer Science, 2018, 45(3): 311 -316 .
[6] SUN Qi, JIN Yan, HE Kun and XU Ling-xuan. Hybrid Evolutionary Algorithm for Solving Mixed Capacitated General Routing Problem[J]. Computer Science, 2018, 45(4): 76 -82 .
[7] ZHANG Jia-nan and XIAO Ming-yu. Approximation Algorithm for Weighted Mixed Domination Problem[J]. Computer Science, 2018, 45(4): 83 -88 .
[8] WU Jian-hui, HUANG Zhong-xiang, LI Wu, WU Jian-hui, PENG Xin and ZHANG Sheng. Robustness Optimization of Sequence Decision in Urban Road Construction[J]. Computer Science, 2018, 45(4): 89 -93 .
[9] LIU Qin. Study on Data Quality Based on Constraint in Computer Forensics[J]. Computer Science, 2018, 45(4): 169 -172 .
[10] ZHONG Fei and YANG Bin. License Plate Detection Based on Principal Component Analysis Network[J]. Computer Science, 2018, 45(3): 268 -273 .