Title :
Object modeling language for C4ISR capability requirement analysis
Author :
Cong, Wang ; Xiao-guo, Wang ; Jun, Liu ; Ming, Tian ; Zhi-xue, Wang
Author_Institution :
Inst. of Commun. Eng., PLA Univ. of Sci. & Technol., Nanjing, China
Abstract :
The paper suggests a meta-ontology for C4ISR capability conceptualization. Under which, by taking advantage of the UML profile mechanism, the paper defines a domain-specific modeling language for C4ISR capability requirement. The abstract syntax, concrete syntax and formal semantic of the modeling language have been discussed in the paper. A case study of C4ISR architectural simulation modeling is provided to demonstrate the availability and applicability of the language.
Keywords :
Unified Modeling Language; abstract data types; formal verification; ontologies (artificial intelligence); programming language semantics; C4ISR capability requirement analysis; UML profile mechanism; abstract syntax; concrete syntax; domain-specific modeling language; formal semantic; meta-ontology; object modeling language; Unified modeling language; World Wide Web; C4ISR capability; UML; architectural modeling; domain-specific modeling;
Conference_Titel :
Computer Science and Information Technology (ICCSIT), 2010 3rd IEEE International Conference on
Conference_Location :
Chengdu
Print_ISBN :
978-1-4244-5537-9
DOI :
10.1109/ICCSIT.2010.5565130
