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. |
Year | DOI | Venue |
---|---|---|
2014 | 10.1007/978-3-319-04921-2_41 | Lecture Notes in Computer Science |
Keywords | Field | DocType |
probabilistic database,testing simulation relaition,data-aware business process | Divergence-from-randomness model,Probabilistic-based design optimization,Computer science,Probabilistic CTL,Theoretical computer science,Probabilistic analysis of algorithms,Probabilistic logic,Probabilistic argumentation,Probabilistic relevance model,Probabilistic database | Conference |
Volume | ISSN | Citations |
8370 | 0302-9743 | 0 |
PageRank | References | Authors |
0.34 | 16 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Haizhou Li | 1 | 3678 | 334.61 |
François Pinet | 2 | 137 | 19.82 |
farouk toumani | 3 | 1230 | 116.41 |