Automata-based trustworthiness analysis method for business process

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 processes.