Data-Centric Probabilistic Process: A PhD. Symposium Paper for ICSOC

  • Haizhou Li
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7759)


The theory of business process management system actively plays a principle role in the domain of semantic web service and business process management. This paper briefly described my current Ph.D work result and the perspective about specification and verification of data-centric probabilistic business process system which integrating traditional probabilistic business process and probabilistic database. The probabilistic business process system is described by probabilistic automaton which is an abstracted framework for the transition system. By integrating probabilistic database, probabilistic automaton would be provided greater expressive power to handle the probabilistic event and high volume probabilistic data.


Data-centric probabilistic process system probabilistic automata probabilistic database 


  1. 1.
    Imielinkski, T., Lipski Jr., W.: Incomplete information and dependencies in relational databases. In: Proc. ACM-SIGMOD International Conference on Management of Data, pp. 178–184 (1983)Google Scholar
  2. 2.
    Dalvi, N., Suciu, D.: Efficient query evaluation on probabilistic databases. University of Washington Technical Report (TR 04-03-04) (2004)Google Scholar
  3. 3.
    Dalvi, N., Re, C., Suciu, D.: Query evaluation on probabilistic database. IEEE Data Engineering Bulletin 29(1), 25–31 (2006)Google Scholar
  4. 4.
    Deutch, D., Milo, T.: On models and query languages for probabilistic processes. SIGMOD Record 39(2), 27–38 (2010)CrossRefGoogle Scholar
  5. 5.
    Stoelinga, M.: An introduction to probabilistic automata. Alea jacta est: verification of probabilistic, real-time and parametric systems. PhD thesis, University of Nijmegen, the Netherlands, ch. 2 (2002)Google Scholar
  6. 6.
    Berardi, D., Calvanese, D., De Giacomo, G., Hull, R., Mecella, M.: Automatic composition of transition-based semantic web services with messaging. In: Proceedings of the 31st VLDB Conference, pp. 613–624 (2005)Google Scholar
  7. 7.
    Grahne, G.: The problem of incomplete information in relational database. University of Helsinki (1991)Google Scholar
  8. 8.
    Jonsson, B., Wang, Y.: Testing pre-orders for probabilistic processes can be characterized by simulations. Theoretical Computer Science 282, 33–51 (2002)MathSciNetzbMATHCrossRefGoogle Scholar
  9. 9.
    Lustig, Y., Nain, S., Vardi, M.Y.: Synthesis from probabilistic components. In: Proc. CSL 2011. LIPICS, vol. 12, pp. 412–427 (2011)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2013

Authors and Affiliations

  • Haizhou Li
    • 1
  1. 1.Laboratoire LIMOS - UMR 6158 Complexe Scientifique des CzeauxUniversit Blaise PascalAUBIERE cedexFrance

Personalised recommendations