Automata-based trustworthiness analysis method for business process

Abstract

For enhancing the trustworthiness of business processes, a business process definition method is given and a kind of dynamic semantics is appointed to this business process definition. The dynamic semantics is expressed as a finite state automata. According to the dynamic semantics, algorithms are proposed to analyze the trustworthiness of the business… (More)

Cite this paper

@article{Dong2011AutomatabasedTA, title={Automata-based trustworthiness analysis method for business process}, author={Guangzhi Dong and Junfei Liu and Jian Wang and Lanying Song}, journal={2011 International Conference on E-Business and E-Government (ICEE)}, year={2011}, pages={1-5} }