Research And Implement Of Consistency Of Combat System Models Based On Graph Grammar

With the continuous development of computer software technology, computer software has beenwidely used in various fields of national defense construction. However, even a minor software bugcan lead to the collapse of the whole system. In combat system, inconsistency of models will result inerrors in the process of execution, thus research on consistency of combat system models is of greatsignificance.Domain models of combat system embrace combat missions and combat tasks. It causes thesemantic inconsistency of requirement models that combat task requirements are analysed by differentpersonnels. For the reliability and stability of modeling, consistency checking to requirement modelsis very essential.First of all, in view of the model features of combat system and existing model consistencychecking methods, a certain model consistency checking method based on attributed graph grammarwas proposed. Models of combat system were transformed to attributed graph grammar for checkingthe conflicts and dependencies between functional requirement models. Futhermore, dependencychecking algorithms was put forward to validate whether the dependencies were right or not. Thestatic requirements modeled by UML class diagrams were transformed to typed graph. The classeswere transformed to nodes of typed graph and the associations between classes were converted toedges between nodes. The functional requirements were modeled by UML object diagrams todescribe the precondition and postcondition of action of dynamic requirements. They weretransformed to graph transformation rules. The object diagram which described the precondition ofaction was converted to LHS of graph transformation rule while the RHS of graph transformation rulerepresented the object diagram of postcondition of action. Further the conflicts and dependenciesbetween functional requirement models were obtained by AGG using critical pair analysis. A circulardependency might result in the malfunction in execution process; a wrong dependency meant thatfunctional requirement models did not agree with the execution process of dynamic requirementmodels. Consequently, corresponding detection algorithms were proposed. Circular dependencydetection algorithm found circles by the depth first search and wrong dependency detection algorithmtraversed the activity diagrams to check whether the dependency was consistent with the executionprocess or not.Secondly, a combat system requirement analysis tool was implemented, based on the theconsistency checking method promoted above. The consistency of combat models could be checkedthrough this tool. It realized the transformation from combat models to grah grammar automatically,and then called AGG to get conflicts and dependencies which were validated by the two dependencydetection algorithms. At the same time, the requirements of combat system could be modeled via thetool, including decomposition of combat missions and tasks as well as the analysis of staticrequirements of combat system, the dynamic and functional requirements of combat tasks.At last, the tool was analysed and verifed by multiple examples. It was applicated to analyse themission of escort in complex combat environment and model the requirements. Then consistency ofrequirement models was checked by the tool, accompanied by eliminating the error according on theresult.