{'fraction_non_alphanumeric': 0.011570247933884297, 'fraction_numerical': 0.0, 'mean_word_length': 5.586956521739131, '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}}
Model Checking of UML Class Diagrams including OCL using Relational Logic

The popular process models for object-oriented software development do not comprise model checking techniques. Model checking tools which take UML class diagrams including OCL as input could facilitate the incorporation of model checking techniques into everyday software engineering workflows. This paper describes a two-step model checking approach for UML class diagrams including OCL: the class diagrams are first transformed into relational logic. The actual model checking is then performed by existing model checking tools.