Towards Checking Dynamic Controllability of Processes with Temporal Loops
Marco Franceschetti, Johann Eder
Journal of Networking Technology, Vol. 10, No. 4, 2019.
DOI: https://doi.org/10.6025/jnt/2019/10/4/156-166
Link: http://www.dline.info/jnt/fulltext/v10n4/jntv10n4_3.pdf
Abstract:
We propose a technique for checking the dynamic controllability of processes with temporally constrained loops.
The temporal control structures t-split and t-loop are adequate concepts for modelling the behaviour of processes dependent
on the speed of execution of a process instance. While the run-time semantics of these constructs is straightforward, the
assessment of the temporal properties of processes with temporal control structures is complex. Here we propose a procedure
for checking the dynamic controllability of processes with temporal loops by mapping them to processes without t-loops,
which then can be mapped to CSTNUDs, simple temporal networks with uncertainty and decisions. For CSTNUDs procedures
for checking dynamic controllability are available.