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

DOI

10.2991/978-94-6463-388-7_19How to use a DOI?

Keywords

Resets; RDLTs; Soundness; Workflows

Abstract

This study establishes concepts and strategies for the verification of classical soundness of Robustness Diagrams with Loop and Time Controls(RDLT) that contain reset and join profiles. In contrast to other well-known workflow models such as BPMN, YAWL, Petri Nets, and UML Diagrams, RDLTs are powerful modelling tools that can capture all workflow dimensions, i.e. resource, process, and case, without any concerns on concept excess, the lack of support for explicit representation of data and rules, process orchestrations, and information hiding. Thus, RDLTs have found use in system representation for various real-world systems in different fields. These reset profiles in RDLTs and their mechanisms that execute system processes induce a multi-level management of information and control in its system representation. With this, previous literature had only focused on RDLTs with no resets so to avoid being encumbered by the multi-level aspect of RDLTs while performing model verification. Through this research, we provide extensions to such literature so that we are now able to manage this multi-level aspect RDLTs while also establishing their impact and relationship with various types of join and neighborhood structures in the context of verifying classical soundness of RDLTs. As a point of validation of our strategies, we benchmark the derivable activities in the input RDLT with its corresponding model abstractions. Lastly, we demonstrate and prove cases for which these abstractions help hasten the verification process or impose all abstractions to be used in the verification of the input RDLT. Finally, we provide the time and space complexity in determining classical soundness of RDLTs with such resets, joins, and neighborhood profiles, as well as pose open problems on related matters to the community.

Copyright

© 2024 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)

TY  - CONF
AU  - Jasmine Malinao
AU  - Richelle Ann Juayong
PY  - 2024
DA  - 2024/02/29
TI  - Reset Profiles and Classical Soundness in Robustness Diagrams with Loop and Time Controls
BT  - Proceedings of the Workshop on Computation: Theory and Practice (WCTP 2023)
PB  - Atlantis Press
SP  - 298
EP  - 322
SN  - 2589-4900
UR  - https://doi.org/10.2991/978-94-6463-388-7_19
DO  - 10.2991/978-94-6463-388-7_19
ID  - Malinao2024
ER  -