Robustness Diagram with Loop and Time Controls for System Modelling and Scenario Extraction with Energy System Applications

Malinao, Jasmine A.; Judex, Florian; Selke, Tim; Zucker, Gerhard; Adorna, Henry N.; Jaime, D. L.; Kropatsch, Walter G.

doi:10.1016/j.egypro.2016.06.075

Cited by 1 publication

(2 citation statements)

References 4 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Note that x 1 , x 2 and x 6 , x 7 are unconstrained by Definition 2, requirement (1), when they were evaluated at time steps 1 and 7, respectively. Meanwhile, x 5 , x 6 x 4 , x 6 is not unconstrained after its check operation at time step 6 by Definition 2, requirement (2). A backtrack to x 4 is done to ultimately reach and evaluate x 4 , x 6 x 5 , x 6 to satisfy all the conditions a and b of this AND-JOIN at time step 7.…”

Section: The Activity Extraction Algorithmmentioning

confidence: 99%

“…Robustness Diagram with Loop and Time Controls(RDLT) are multi-dimensional workflow models that had been used to represent real-world systems such as the integrated disease surveillance and response system in the country [1], Heating, Ventilation and Air-conditioning systems [2][3][4], and Fujitsu Ten's Computer Aided Multi-Analysis System Auto Test Tool (CATT) [11]. All the workflow dimensions, i.e.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

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

Malinao,

Juayong

2024

Atlantis Highlights in Computer Sciences

View full text Add to dashboard Cite

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.

show abstract

Section: The Activity Extraction Algorithmmentioning

confidence: 99%