Abstract : This paper studies modelling and analysis issues in the context of a probabilistic data-aware business process. It uses as formal model to describe process behaviours a labelled transitions system in which transitions are guarded by conditions defined over a probabilistic database and presents an approach for testing probabilistic simulation preorder in this context. A complexity analysis reveals that the problem is in 2-exptime, and is exptime-hard, w.r.t. expression complexity while it matches probabilistic query evaluation w.r.t. data-complexity.
https://hal.inrae.fr/hal-02599569
Contributor : Migration Irstea Publications <>
Submitted on : Saturday, May 16, 2020 - 3:03:12 AM Last modification on : Wednesday, February 24, 2021 - 4:24:03 PM
H. Li, François Pinet, F. Toumani. Probabilistic simulation for probabilistic data-aware business processes. Lecture Notes in Computer Science, Springer, 2014, 8370, pp.503-515. ⟨hal-02599569⟩