Model Decomposition of Robustness Diagram with Loop and Time Controls to Sequence Diagrams Using Maximal Activities

The Robustness Diagram with Loop and Time Controls is a workflow model that encompasses all workflow dimensions: resource, process, and case. To support RDLT analysis and verification, previous literature focused on model decomposition of RDLT into other workflow models such as Class Diagrams, Petri Nets and Sequence Diagrams. Recent studies provided algorithms for mapping RDLT to Sequence Diagrams by using the concept of minimal activity and activity groups. However, the mappings were unable to capture all RDLT components in the output Sequence Diagrams. To address this gap, this study proposes a mapping of RDLT to Sequence Diagrams using maximal activities to ensure that every activity is accounted for, thus, capturing all RDLT components in the output Sequence Diagrams. The mapping was demonstrated using an input RDLT, and was validated by assessing the consistency between the maximal activities extracted from the input RDLT and their corresponding case management profiles extracted from the output set of Sequence Diagrams.