Title :
OCL-Based Visual UML Model Verification Environment
Author_Institution :
Dept. of Comput. & Inf. Eng., Civil Aviation Flight Univ. of China, Guanghan, China
Abstract :
In order to resolve the ambiguous and inconsistent problem which potentially caused by informal description, this paper elaborates an OCL-based UML verification environment (OUVE). OUVE can verify the relationship and constraints about classes before code starts, so it reduces the cost of correcting the design and coding errors.
Keywords :
Unified Modeling Language; coding errors; formal verification; object-oriented languages; OCL; coding errors; informal description; visual UML model verification; Computational modeling; Object oriented modeling; Programming; Software; Unified modeling language; Visualization; XML; OCL; Specification; UML; Verification;
Conference_Titel :
Intelligent Systems (GCIS), 2010 Second WRI Global Congress on
Conference_Location :
Wuhan
Print_ISBN :
978-1-4244-9247-3
DOI :
10.1109/GCIS.2010.51
