Antimissile Preparative Solution Formal Modeling Method
Zou Zhigang · Modern Defence Technology · 2013
Antimissile preparative solution is the key to improving the real-time and accuracy of battle decision solution generating.By analyzing the using procedure of antimissile preparative solution,combining systems modeling language(SysML),web ontology language_description(OWL_DL) and case-based markup language(CBML),the preparative solution formal modeling method with the model validation part is proposed.Based on this method,by analyzing the preparative solution composition element,three mapping rules between SysML block definition diagram,preparative solution key element,OWL_DL and XML Scheme are defined.According to the mapping rules,the concept model,logic model,physics model and ontology model of preparative solution are built.Moreover,by using preparative solution ontology model,the concept model conformance is validated.