Accéder directement au contenu Accéder directement à la navigation
Article dans une revue

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.
Type de document :
Article dans une revue
Liste complète des métadonnées

https://hal.inrae.fr/hal-02599569
Déposant : Migration Irstea Publications <>
Soumis le : samedi 16 mai 2020 - 03:03:12
Dernière modification le : lundi 18 mai 2020 - 14:34:36

Identifiants

  • 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⟩

Partager

Métriques

Consultations de la notice

16