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

Model Decomposition of Robustness Diagram with Loop and Time Controls to Sequence Diagrams Using Activity Groups

“…With RDLT being an extension of the Robustness Diagram, computing for the RTV can be adapted to validate the percentage of completeness of the components between RDLT and Sequence Diagrams once the proposed mapping is performed. Literature in [7] introduced a mapping from RDLT to Sequence Diagrams. The mapping can generate a set of Sequence Diagrams based on the number of objects with owned controllers, the number of controllers with multiple incoming arcs and with at least one outgoing arc, one to check whether an arc is unconstrained, one to update the T-values of an arc and its type-alike, and a start diagram to reference the source.…”

“…Using a minimal activity guarantees that the input RDLT has at least one activity profile and that the resulting set of Sequence Diagrams has a case management profile. Unlike the mapping in [7], the proposed mapping excludes generating Sequence Diagrams that check whether an arc is unconstrained, thus having a lesser number of output Sequence Diagrams. The minimal activity also reflects the required and alternative paths in a Sequence Diagram to ensure that some algorithm's walk reaches the last message.…”

“…In this paper, the identified RDLT and mapped Sequence Diagram components in [7] are used, excluding the representation of an unconstrained arc. Algorithm -If there is no information on the controller source's owner or its previous tasks, abstract the owner as a participant c(owner) and abstract the previous tasks as an asynchronous message c().…”

“…For example, the UML Class Diagrams, and Sequence Diagrams were previously used for the completeness of user requirements with the Robustness Diagram [6]. All these led to the partial mapping of RDLT to Class Diagrams to extract the resource dimension of the system it represents [3], Petri Nets to extract both process and case dimensions [3], and Sequence Diagrams to extract both resource and case dimensions [7]. To optimize the existing mapping of RDLT to Sequence Diagrams, this paper proposes a mapping of RDLT into Sequence Diagrams with the concept of minimal activity and activity group.…”

Reset Profiles and Classical Soundness in Robustness Diagrams with Loop and Time Controls

“…There had been techniques that are targeted to decompose RDLTs into oneor two-dimensional workflow models such as Workflow Nets, Petri Nets, a set of UML Diagrams, and matrix representations for the purpose of model simplification and/or verification of model properties [11][12][13][16][17][18]. Model properties such soundness, free-choiceness, conflict-freeness, etc., defined for Workflow Nets and Petri Nets [5,9,10], had been adopted and extended for RDLTs since RDLTs were first introduced in [11].…”