00000namaa22000003a 4500 UP-1686042739785057995 Buklod 20240605154651.0 a r |||| u| ta 240605s2024 xx r |||| u|eng UPVT-00020032131 UPTC rda eng LG 993.5 2024 C66 M46 Mendoza, Angela Nicole Y. author. Classical soundness of robustness diagram with loop and the time controls and its related properties in sequence diagrams Angela Nicole Y. Mendoza; Jasmine A. Malinao, adviser. 2024. xiv, 128 leaves illustrations. text rdacontent rdamedia rdacarrier Undergraduate thesis (B.S. Computer Science) -- University of the Philippines, Tacloban. The Robustness Diagram with Loop and Time Controls is an ideal workflow model for representing systems, because it can capture the resource, process, and case dimensions. To support RDLT analysis and verification, previous literature focused on model decomposition of RDLT into other workflow models. Recent studies have introduced the mapping of RDLT to Sequence Diagrams to extract the resource and case dimensions. However, the mappings were unable to capture all RDLT components in the output Sequence Diagrams. This study addresses this gap by proposing a mapping of RDLT to Sequence Diagrams that utilize maximal activities to ensure every activity in the RDLT is accounted for, thus capturing all RDLT components in the output Sequence Diagrams. An RDLT representation of a real-world system was used to demonstrate the proposed mapping. The consistency between the maximal activities and their corresponding case management profiles were used to validate the mapping. Furthermore, this study also establishes a formal definition for classical soundness in Sequence Diagrams, so that the preservation of classical soundness from the input RDLT is preserved in the output set of Sequence Diagrams. Malinao, Jasmine A. adviser. Thesis FI UP UPTAC UPTAC LG 993.5 2024 C66 M46 Thesis