Well-Handledness in Robustness Diagram with Loop and Time Controls

This study unveils and formalizes well-handledness in Robustness Diagram with Loop and Time Controls(RDLT). This model property has not yet been established for this particular workflow model. The fundamental concept of well-handledness, which is to ensure a balance between the AND/OR-split and AND/OR-join pairs, is adopted from Petri Net(PN). However, due to the multidimensional nature of RDLT, we extended its definition to consider the L-attributes. Meanwhile, the MIX-join structure that is unique to RLDT has been discounted in this study’s analysis and formalization of well-handledness. We have also established the structural and behavioural profiles of well-handled RDLTs, unravelling their relationship with relaxed and classical soundness. Lastly, algorithms for verifying balanced and well-handled RDLTs are also provided.