Abstract
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.
Chapter PDF
Similar content being viewed by others
References
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)
Dalvi, N., Suciu, D.: Efficient query evaluation on probabilistic databases. University of Washington Technical Report (TR 04-03-04) (2004)
Dalvi, N., Re, C., Suciu, D.: Query evaluation on probabilistic database. IEEE Data Engineering Bulletin 29(1), 25–31 (2006)
Deutch, D., Milo, T.: On models and query languages for probabilistic processes. SIGMOD Record 39(2), 27–38 (2010)
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)
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)
Grahne, G.: The problem of incomplete information in relational database. University of Helsinki (1991)
Jonsson, B., Wang, Y.: Testing pre-orders for probabilistic processes can be characterized by simulations. Theoretical Computer Science 282, 33–51 (2002)
Lustig, Y., Nain, S., Vardi, M.Y.: Synthesis from probabilistic components. In: Proc. CSL 2011. LIPICS, vol. 12, pp. 412–427 (2011)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Li, H. (2013). Data-Centric Probabilistic Process: A PhD. Symposium Paper for ICSOC. In: Ghose, A., et al. Service-Oriented Computing - ICSOC 2012 Workshops. ICSOC 2012. Lecture Notes in Computer Science, vol 7759. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-37804-1_42
Download citation
DOI: https://doi.org/10.1007/978-3-642-37804-1_42
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-37803-4
Online ISBN: 978-3-642-37804-1
eBook Packages: Computer ScienceComputer Science (R0)