Probabilistic Simulation for Probabilistic Data-Aware Business Processes

  • Haizhou Li
  • François Pinet
  • Farouk Toumani
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8370)


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.


probabilistic database testing simulation relaition data-aware business process 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases (1995)Google Scholar
  2. 2.
    Baier, C.: Polynomial time algorithms for testing probabilistic bisimulation and simulation. In: Alur, R., Henzinger, T.A. (eds.) CAV 1996. LNCS, vol. 1102, pp. 38–49. Springer, Heidelberg (1996)CrossRefGoogle Scholar
  3. 3.
    Benatallah, B., Casati, F., Toumani, F.: Representing, analysing and managing web service protocols. DKE 58(3), 327–357 (2006)CrossRefGoogle Scholar
  4. 4.
    Berardi, D., Cheikh, F., Giacomo, G.D., Patrizi, F.: Automatic service composition via simulation. IJFCS 19(2), 429–451 (2008)zbMATHGoogle Scholar
  5. 5.
    Edmund, M.: Clarke and Bernd-Holger Schlingloff. Model checking. In: Handbook of Automated Reasoning, pp. 1635–1790. Elsevier and MIT Press (2001)Google Scholar
  6. 6.
    Dalvi, N.N., Suciu, D.: Management of probabilistic data: foundations and challenges. In: PODS, pp. 1–12 (2007)Google Scholar
  7. 7.
    Damaggio, E., Deutsch, A., Vianu, V.: Artifact systems with data dependencies and arithmetic. ACM TODS 37(3), 22:1–22:36 (2012)Google Scholar
  8. 8.
    van Glabbeek, R.J.: The Linear Time – Branching Time Spectrum (extended abstract). In: Baeten, J.C.M., Klop, J.W. (eds.) CONCUR 1990. LNCS, vol. 458, pp. 278–297. Springer, Heidelberg (1990)Google Scholar
  9. 9.
    Jonsson, B., Yi, W.: Testing preorders for probabilistic processes can be characterized by simulations. TCS 282(1), 33–51 (2002)CrossRefzbMATHMathSciNetGoogle Scholar
  10. 10.
    Li, H., Pinet, F., Toumani, F.: Probabilistic simulation for probabilistic data-aware business processes. Technical report, LIMOS, Ref:RR-13-14 (2013),
  11. 11.
    Sen, P., Deshpande, A., Getoor, L.: Exploiting shared correlations in probabilistic databases. Proc. VLDB Endow. 1(1), 809–820 (2008)Google Scholar
  12. 12.
    Puhlmann, F., Weske, M.: Investigations on soundness regarding lazy activities. In: Dustdar, S., Fiadeiro, J.L., Sheth, A.P. (eds.) BPM 2006. LNCS, vol. 4102, pp. 145–160. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  13. 13.
    Segala, R., Lynch, N.A.: Probabilistic simulations for probabilistic processes. Nord. J. Comput. 2(2), 250–273 (1995)zbMATHMathSciNetGoogle Scholar
  14. 14.
    Sokolova, A., De Vink, E.P.: Probabilistic automata: System types, parallel composition and comparison. In: Validation of Stochastic Systems: A Guide to Current Research, pp. 1–43 (2004)Google Scholar
  15. 15.
    Tranquillini, S., Spieß, P., Daniel, F., Karnouskos, S., Casati, F., Oertel, N., Mottola, L., Oppermann, F.J., Picco, G.P., Römer, K., Voigt, T.: Process-based design and integration of wireless sensor network applications. In: Barros, A., Gal, A., Kindler, E. (eds.) BPM 2012. LNCS, vol. 7481, pp. 134–149. Springer, Heidelberg (2012)CrossRefGoogle Scholar
  16. 16.
    Wombacher, A.: A-posteriori detection of sensor infrastructure errors in correlated sensor data and business workflows. In: Rinderle-Ma, S., Toumani, F., Wolf, K. (eds.) BPM 2011. LNCS, vol. 6896, pp. 329–344. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  17. 17.
    Zhang, L.: Decision Algorithms for Probabilistic Simulations. Phd thesis (2008)Google Scholar

Copyright information

© Springer International Publishing Switzerland 2014

Authors and Affiliations

  • Haizhou Li
    • 1
  • François Pinet
    • 2
  • Farouk Toumani
    • 1
  1. 1.LIMOS, CNRSBlaise Pascal UniversityFrance
  2. 2.IRSTEA, Clermont-FerrandFrance

Personalised recommendations