00000ntmaa22000003a 4500 UP-8027390931316571412 Buklod 20260225101910.0 a r |||| u| ta 260225s2025 xx a r b|||| u|eng d UPVT-00020035671 UPTC rda eng LG 993.5 2025 C66 A33 Afable, Mar Elden C. author. On lazy soundness of robustness diagram with loop and time controls Mar Elden C. Afable; Jasmine A. Malinao, adviser. Tacloban City Division of Natural Sciences and Mathematics, University of the Philippines Tacloban College 2025. xi, 78 leaves illustrations 31 cm. text rdacontent unmediated rdamedia volume rdacarrier Undergraduate thesis (Bachelor of Science in Computer Science) -- University of the Philippines, Tacloban. Available to the general public-YES. Available only after consultation with the author/adviser-NO. Available only for those bound by confidentiality agreement-NO. This study formalizes the notion of lazy soundness in Robustness Diagrams with Loop and Time controls (RDLT's), particularly in the context of systems exhibiting parallel activities. Lazy soundness is a relaxation of classical soundness that tolerates the non-completion of certain concurrent activities, provided that at least one valid execution path leads to system completion. To capture this, the study introduces the concept of Combined Activity Structures (CAS), derived from maximal activity structures (MAS), and proposes structural conditions and algorithms to verify lazy soundness in RDLTS. A modified complaint processing system is modeled to demonstrate the applicability of the framework, where lazy soundness is enforced through shared re-sources with limited availability. The study also presents the Lazy RDLT Soundness Verification Algorithm (LRSVA) and proves its time and space complexities. Additionally, it explores the decomposition of RDLTs into Petrinets, showing that lazy soundness is preserved under this transformation. This work advances the theoretical understanding of soundness in concurrent systems and opens avenues for future research on automated verification and generalized soundness in parallel workflows. Formal methods (Computer science) Malinao, Jasmine A. adviser. Thesis FI UP UPTAC UPTAC LG 993.5 2025 C66 A33 Thesis