Status : Verified
| Personal Name | Ramirez, Ronnie M., II |
|---|---|
| Resource Title | On the Notions of Soundness in Enriched Robustness Diagrams with Loop and Time Controls |
| Date Issued | 25 June 2026 |
| Abstract | The Enriched Robustness Diagram with Loop and Time Controls (ERDLT) is an extended multi-dimensional workflow model of the Robustness Diagram with Loop and Time Controls (RDLT). One property that workflow models can adhere to is classical soundness, which verifies the correctness of the modeled system. This property implies two sub-properties: proper termination and liveness, which avoid unresolving tasks and unused elements. By weakening these sub-properties, other soundness notions can be realized, such as relaxed soundness, which can be used to describe real-world systems that may not adhere to the strictness of the classical notion. In recent literature, the notions of soundness have not been defined in the context of ERDLTs. This study establishes classical and relaxed soundness of ERDLTs by defining their requirements, identifying their profiles, and formalizing verification methods to ensure soundness. A case study analyzing the soundness of a real-world system is also conducted. With these results, ERDLTs become stronger visual and analytical models of various processes. |
| Degree Course | MS Computer Science |
| Language | English |
| Keyword | model verification; soundness; workflow modelling; enriched robustness diagram with loop and time controls |
| Material Type | Thesis/Dissertation |
Preliminary Pages
966.96 Kb
Category : F - Regular work, i.e., it has no patentable invention or creation, the author does not wish for personal publication, there is no confidential information.
Access Permission : Open Access