{'fraction_non_alphanumeric': 0.011669658886894075, 'fraction_numerical': 0.0, 'mean_word_length': 5.194444444444445, '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}}
Transforming YAWL Workflows with Time Constraints into Timed Automata

Considering the importance of workflow model in the modern business process, we propose an alternative way to modify the ordinary YAWL workflow which is one of the popular and simple models, to be able to validate and verify the workflow time performance. By introducing a time duration of a task in the YAWL workflow as the time constraints, it would be relevantly transformed into a corresponding timed automata which is suitable to be simulated and verified against the fundamental properties, such as safetyness and liveness properties. A set of transforming rules are proposed to map a given YAWL workflow with time constraints into the resulting timed automata. The tasks and their decorators indicating the splitting and joining of the workflow, would be considered, and transformed into synchronizing channels in timed automata. The time duration of a task would be handled using the relevant local clock in the timed automata. Finally, the resulting timed automata is correctly simulated and verified using the UPPAAL simulation tool.