Proceedings of the Workshop on Computation: Theory and Practice (WCTP 2025)

<Previous Article In Volume
Next Article In Volume>

On Lazy Soundness of Robustness Diagram with Loop and Time Controls

Authors
Mar Elden C. Afable1, *, Jasmine Malinao1
1Division of Natural Sciences and Mathematics, University of the Philippines Tacloban College, Tacloban City, Leyte, Philippines
*Corresponding author. Email: mcafable1@up.edu.ph
Corresponding Author
Mar Elden C. Afable
Available Online 30 April 2026.
DOI
10.2991/978-94-6239-638-8_16How to use a DOI?
Keywords
Workflows; Robustness Diagram with Loop and Time Controls; RDLT Lazy Soundness; Structural Profiles; Complaint Processing System
Abstract

This study introduces and formalizes lazy soundness in Robustness Diagrams with Loop and Time controls (RDLTs), focusing on systems with parallel activities. Lazy soundness is a relaxation of classical soundness that tolerates the non-completion of certain concurrent activities, provided that exactly one valid execution path leads to system completion. To support this, the study defines Complete Activity Structures (CAS) from Maximal Activity Structures (MAS) and proposes structural conditions and algorithms to verify lazy soundness. The Lazy RDLT Soundness Verification Algorithm (LRSVA) is presented along with its time and space complexity analysis. A modified complaint processing system is used to illustrate the framework, where the algorithm is applied under conditions of limited shared resources. Overall, the work advances theoretical insights into concurrent system verification and paves the way for future research in automated and soundness checking for parallel workflows.

Copyright
© 2026 The Author(s)
Open Access
Open Access This chapter is licensed under the terms of the Creative Commons Attribution-NonCommercial 4.0 International License (http://creativecommons.org/licenses/by-nc/4.0/), which permits any noncommercial use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license and indicate if changes were made.

Download article (PDF)

<Previous Article In Volume
Next Article In Volume>
Volume Title
Proceedings of the Workshop on Computation: Theory and Practice (WCTP 2025)
Series
Atlantis Highlights in Computer Sciences
Publication Date
30 April 2026
ISBN
978-94-6239-638-8
ISSN
2589-4900
DOI
10.2991/978-94-6239-638-8_16How to use a DOI?
Copyright
© 2026 The Author(s)
Open Access
Open Access This chapter is licensed under the terms of the Creative Commons Attribution-NonCommercial 4.0 International License (http://creativecommons.org/licenses/by-nc/4.0/), which permits any noncommercial use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license and indicate if changes were made.

Cite this article

risenwbib
TY  - CONF
AU  - Mar Elden C. Afable
AU  - Jasmine Malinao
PY  - 2026
DA  - 2026/04/30
TI  - On Lazy Soundness of Robustness Diagram with Loop and Time Controls
BT  - Proceedings of the  Workshop on Computation: Theory and Practice (WCTP 2025)
PB  - Atlantis Press
SP  - 328
EP  - 346
SN  - 2589-4900
UR  - https://doi.org/10.2991/978-94-6239-638-8_16
DO  - 10.2991/978-94-6239-638-8_16
ID  - Afable2026
ER  -