• DocumentCode
    538938
  • Title

    OCL-Based Visual UML Model Verification Environment

  • Author

    Maoming, Fu

  • Author_Institution
    Dept. of Comput. & Inf. Eng., Civil Aviation Flight Univ. of China, Guanghan, China
  • Volume
    2
  • fYear
    2010
  • fDate
    16-17 Dec. 2010
  • Firstpage
    383
  • Lastpage
    385
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Intelligent Systems (GCIS), 2010 Second WRI Global Congress on
  • Conference_Location
    Wuhan
  • Print_ISBN
    978-1-4244-9247-3
  • Type

    conf

  • DOI
    10.1109/GCIS.2010.51
  • Filename
    5709291
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=538938