Verification Methods Of Simulation Model Combination Based On LTS

With the wide application of the simulation model technology, how to improve theefficiency and reduce the costs of the development of complex simulation models is becomingincreasingly important. The complexity system is not easy to development directly. It can bedecomposed into subsystems, and according to the needs of the subsystem develops thesimulation model. In various application areas there are a considerable number of completesimulation model has been developed. In order to achieve the simulation model buildingquickly, the pre-development simulation model flexible combination is one of the mosteffective methods. An important problem needs to be solved is whether the combination ofsimulation model is an effective model and meet user needs, that is the problem of simulationmodel verification. The combined simulation model must go through the verification processto prove its structure and behavior effectively, it can be form an expect target simulationsystem ultimately.In this paper, we research on the validation methods on the basis of the combinationsimulation model. This paper introduces the problem of composability, and proposed theframework of the development of the simulation model. Second, this paper proposed thevalidation of composability method based on LTS, which divided into the static verificationmethod and dynamic verification methods. Static method is the basis of the verificationmethod. It include data type validation and semantic range of values validation. The dynamicverification methods verify the simulation model’s behavior. By compare of combinationsimulation model’s LTS with request model’s LTS to determine the effectiveness of thecombination model. A single service Queue example was used to describe detailed steps ofthe whole dynamic validation method. Finally, we carried out the experiment and the timecomplexity of the verification method analyzed.