Study of Consistency Checking by UML/OCL Tool
YOU Hao-dan;ZHU Hong
Computer and Modernization . 2009, (12): 63 -67 .  DOI: 10.3969/j.issn.1006-2475.2009.12.017