{'fraction_non_alphanumeric': 0.02331390507910075, 'fraction_numerical': 0.0016652789342214821, 'mean_word_length': 5.260416666666667, 'pattern_counts': {'":': 0, '<': 0, '<?xml version=': 0, '>': 0, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
MOVA : A Tool for Modeling , Measuring and Validating UML Class Diagrams

The MOVA tool is a rewriting-based UML [8] modeling, measuring, and validation tool developed as part of a broader effort for integrating rigorous modeling and validation into the software engineering curricula and the industrial software engineering process. Validation and testing in software development have been recognized of key importance for long. For certain aspects of a design, UML class diagrams do not provide the level of conciseness and expressiveness which a textual language can offer. The Object Constraint Language (OCL) [7] is the standard language for writing constraints in order to disambiguate, clarify, and precise the meaning of UML models. In this context, validating a UML class diagram reduces to checking whether its prototypical instances fulfill the desired OCL constraints. A number of CASE tools exists which facilitate drawing and documenting UML diagrams. However, they provide little support for writing constraints in OCL and generally no support for validating UML class diagrams. The MOVA tool has been designed, primarily, as a validating tool: as such, it provides advance support for: