Skip to Main content Skip to Navigation
Journal articles

Probabilistic simulation for probabilistic data-aware business processes

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.
Document type :
Journal articles
Complete list of metadata

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

Identifiers

  • HAL Id : hal-02599569, version 1
  • IRSTEA : PUB00040565

Collections

Citation

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⟩

Share

Metrics

Record views

28