Domain-specific language for C4ISR capability analysis

Xitong Gongcheng Lilun yu Shijian/System Engineering Theory and Practice

Volumn 31, Issue 3, 2011, Pages 552-560

  Dong, Qing Chao ^a   Wang, Zhi Xue ^a   Zhu, Wei Xing ^a   Chen, Jian ^a   Zhang, Ting Ting ^a  

^a PLA UNIVERSITY OF SCIENCE AND TECHNOLOGY   (China)

Author keywords

Description logic; Domain specific language; Domain specific model; Meta ontology for C4ISR capability; SHOIN(D)

Indexed keywords

DESCRIPTION LOGIC; DOMAIN-SPECIFIC LANGUAGE; DOMAIN-SPECIFIC MODEL; META ONTOLOGY FOR C4ISR CAPABILITY; SHOIN(D);

DATA DESCRIPTION; FORMAL LANGUAGES; ONTOLOGY; PROBLEM ORIENTED LANGUAGES;

MODEL CHECKING;

EID: 79955651843     PISSN: 10006788     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (13)

1. Duan C Y, Yu B. Difficulties in military requirements engineering and typical solutions[J]. National Defense Science & Technology, 2007, 12: 54-58.
2. Sun Y, Dai H. Brief introduction of military requirement method based on capability[J]. Science Technology and Engineering, 2007, 9(7): 2170-2176.
3. Pei Y, Xu B Q. Development course and trend of the US C4ISR system[J]. Systems Engineering and Electronics, 2005, 27(4): 666-671.
4. US Department of Defense. DoD architecture framework version 1.5 (Volume I-II-III)[S/OL]. 2007, http://www.defenselink.mil/cio-nii/.
5. MOD Partner. MOD architecture framework overview version 1.0 (MODAF-M09-002)[S/OL]. 2005, http://www.modaf.org.uk/.
6. Wang Z X. Rose Object Modeling Method and Technique[M]. Beijing: China Machine Press, 2003.
7. Giancarlo G, Luís F, Marten V. An ontology-based approach for evaluating the domain appropriateness and comprehensibility appropriateness of modeling languages[C]//Lecture Notes in Computer Science, Berlin: Springer-Verlag, 2005(3713): 691-705.
8. Lu J J, Zhang Y F, Miao Z, et al. Semantic Web Principle and Technology[M]. Beijing: Science Press, 2007.
9. Van R. Inconsistency management in model-driven engineering[D]. Brussels: Vrije University, 2005.
10. Daniela B. Reasoning on UML class diagrams[J]. Artificial Intelligence, 2005, 168(1): 70-118.
11. Horrocks I, Sattler U. A tableau decision procedure for SHOIQ[J]. Journal of Automated Reasoning, 2007, 39(3): 249-276.
12. Wang Z X, Dong Q C, Chen B, et al. Towards C4ISR system capability requirements analysis and validation based on UML model[J]. Systems Engineering and Electronics, 2009, 31(9): 2167-2171.
13. Zhang A H, Wang Z X, Li Z Y. Domain knowledge based model checking[J]. Systems Engineering and Electronics, 2008, 30(8): 1561-1565.