{'fraction_non_alphanumeric': 0.016129032258064516, 'fraction_numerical': 0.0, 'mean_word_length': 4.88421052631579, '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}}
Language integration for model formalization

UML is often formalized by means of a denotational semantics based on state-transition languages. The obtained models are afterwards verified to prove the UML diagrams correctness. We propose, in this paper, an approach to initialize object Petri net models at any time of the system life cycle starting from UML diagrams. The OPNs marking regarding objects is mainly deduced from the sequence diagram. The object diagram is used to provide the object signature. A case study is given to illustrate the approach.