Data-centric probabilistic process: A PhD. symposium paper for ICSOC

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. © Springer-Verlag 2013.