Application of Executable UML Technology for Verification of Armored Vehicle Information System Model
Fa Lu, Ke Wei Yang, Shu Teng Zhang, Guo Xiong Zhan · Applied Mechanics and Materials · 2014
Executable UML is one of development directions of Model Driven Architecture (MDA). Executable UML is committed to the automatic code generation from UML model. The simulation and testing of the model is realized either by compiling the model or by executing the code it generate. For solving the problem that how to confirm the correctness of executable model, this paper researches the mechanism of executable UML model and explore a verification method based on executable UML. Finally, researches how to apply the executable mechanism of Executable UML to the design and verification of Armored Vehicle Information System (AVIS) through an imaginary combat mission scenario.