ICS – Paper Presentation – CAiSE 21

Von 28.06. bis 02.07.2021 findet die 33. International Conference on Advanced Information Systems Engineering (CAiSE) statt.
Die Konferenz wird von der Universität Melbourne (AUS) ausgetragen und in virtueller Form abgehalten.

ICS-Mitglied Dipl.-Ing. Dr. Marco Franceschetti wird einer der Redner bei der Konferenz sein.

Dipl.-Ing. Dr. Marco Franceschetti wird die, mit O.Univ.-Prof. Dipl.-Ing. Dr. Johann Eder gemeinsam verfasste, Arbeit „Semi-Contingent Task Durations: Characterization and Controllability“ präsentieren.

 

„Semi-Contingent Task Durations: Characterization and Controllability“
by Dipl. Ing. Dr. Marco Franceschetti and O.Univ.-Prof. Dipl.-Ing. Dr. 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.”