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. © 2014 Springer International Publishing.
CITATION STYLE
Li, H., Pinet, F., & Toumani, F. (2014). Probabilistic simulation for probabilistic data-aware business processes. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8370 LNCS, pp. 503–515). https://doi.org/10.1007/978-3-319-04921-2_41
Mendeley helps you to discover research relevant for your work.