{'fraction_non_alphanumeric': 0.026605504587155965, 'fraction_numerical': 0.001834862385321101, 'mean_word_length': 5.198863636363637, '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}}
KAT based CAD Model of Process Elements for Effective Management of Process Evolution

Processes consist of actions, participants, object and rules, known as elements. In a process, these elements are inter-woven together to achieve desired business goals. When managing process evolutions and changes, it is imperative to understand constraints, associations and dependencies (CAD) among process elements. Use of high-level graphical model that encapsulate CAD among process elements, as given in [1], is limited in practice. Therefore, here we present formalism, to model CAD among process elements. This formalism is based on constraint modeling algebra named Kleene Algebra with Tests (KAT) [2]. This paper gives a set of definitions to capture CAD among process elements based on KAT. These definitions are used to create a single compact KAT expression that captures all possible CAD among process elements. The holistic and cohesive nature in capturing CAD among process elements and deploying KAT to model them into a single expression are the unique contributions of this research.