Title :
Research on the V&V technology of the conceptual model described by UML
Author :
Ming-qing, Zhang ; Hai, Sang ; Jun, Tang ; Li-jun, Ye
Author_Institution :
Inst. of Electron. Technol. of the Inf. Eng. Univ., Zhengzhou
Abstract :
How to verification and validation conceptual model (called CM for short) under the concrete descriptive way is the foundation of simulation development and reliability evaluation. This paper introduces related problems of CM V&V (verification and validation) briefly, analyzes the V&V process and matter of CM based UML description, studies V&V techniques for dynamic behavior in the UML CM, and finally makes use of the established V&V process to V&V message sending operation flow CM, consequently proves the rationality and feasibility of the method.
Keywords :
Unified Modeling Language; UML; V&V technology; verification-and-validation conceptual model; Concrete; Costs; Formal languages; Humans; Mathematical model; Mathematics; Natural languages; Physics; Sampling methods; Unified modeling language;
Conference_Titel :
System Simulation and Scientific Computing, 2008. ICSC 2008. Asia Simulation Conference - 7th International Conference on
Conference_Location :
Beijing
Print_ISBN :
978-1-4244-1786-5
Electronic_ISBN :
978-1-4244-1787-2
DOI :
10.1109/ASC-ICSC.2008.4675490
