ICS – Paper Presentation – CAiSE 21

From 28th June to 2nd July 2021, the 33rd International Conference on Advanced Information Systems Engineering (CAiSE) will occur. The conference will be hosted by the University of Melbourne (AUS). For the reason of Corona, the CAiSE 2021 will be held virtually.

ICS member Dipl.-Ing. Dr. Marco Franceschetti will be one of the speakers.

He will present the paper

“Semi-Contingent Task Durations: Characterization and Controllability”

(authors: Marco Franceschetti, Johann Eder)

 

Traditionally, process designers distinguish between two categories of task durations: contingent and non-contingent. The duration of contingent tasks can only be observed by the controlling agent, the process manager, but not controlled. The duration of non-contingent tasks, instead, is fully under the control of the controlling agent – from the start of the task, until it terminates. In many applications we found, nevertheless, a third category, which we call semi-contingent. A semi-contingent task duration is controllable by the agent, but only until the task starts. We characterize and formally define this additional category of duration. We propose a novel procedure based on constraint propagation to check the dynamic controllability of processes featuring contingent, non-contingent and semi-contingent durations. We formally prove that this procedure is sound and complete, and experimentally show its feasibility.