On k-Soundness and Maximal Profiles in Robustness Diagrams with Loop and Time Controls
Authors
Ronnie Ramirez II1, *, Richelle Ann Juayong1, Francis George Cabarle1, Jasmine Malinao2
1Department of Computer Science, University of the Philippines Diliman, Quezon City, 1101, Metro Manila, Philippines
2Division of Natural Sciences and Mathematics, University of the Philippines, Tacloban College, Tacloban City, 6500, Leyte, Philippines
*Corresponding author.
Email: rmramirez4@up.edu.ph
Corresponding Author
Ronnie Ramirez II
Available Online 30 April 2026.
- DOI
- 10.2991/978-94-6239-638-8_17How to use a DOI?
- Keywords
- Workflows; Soundness; Model verification; Parallel activities; Robustness Diagram with Loop and Time Controls
- Abstract
The Robustness Diagram with Loop and Time Controls is a kind of diagram that encapsulates every workflow dimension. Classical soundness, a workflow property of RDLTs, implies proper termination and liveness in the model if its requirements are met. Other soundness notions can be realized through loosening such requirements. Current literature has solely focused on notions with an inherent sequential context, creating a lack of studies that formalize inherently parallel notions. This study formalizes the k-soundness notion based on the maximal activities of the RDLT. Behavioral and structural profiles of the soundness notion, as well as verification algorithms that ensure the k-soundness of RDLTs, are also discussed.
- 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
TY - CONF AU - Ronnie Ramirez II AU - Richelle Ann Juayong AU - Francis George Cabarle AU - Jasmine Malinao PY - 2026 DA - 2026/04/30 TI - On k-Soundness and Maximal Profiles in Robustness Diagrams with Loop and Time Controls BT - Proceedings of the Workshop on Computation: Theory and Practice (WCTP 2025) PB - Atlantis Press SP - 347 EP - 366 SN - 2589-4900 UR - https://doi.org/10.2991/978-94-6239-638-8_17 DO - 10.2991/978-94-6239-638-8_17 ID - RamirezII2026 ER -