Title :
Automata-based trustworthiness analysis method for business process
Author :
Dong, Guangzhi ; Liu, Junfei ; Wang, Jian ; Song, Lanying
Author_Institution :
College of information science and technology, Beijing Normal University, Beijing, China PRC
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 processes.
Keywords :
Business; Computational modeling; Heuristic algorithms; Information science; Research and development; Semantics; Silicon; business process; finite state automata; semantics; trustworthiness;
Conference_Titel :
E -Business and E -Government (ICEE), 2011 International Conference on
Conference_Location :
Shanghai, China
Print_ISBN :
978-1-4244-8691-5
DOI :
10.1109/ICEBEG.2011.5886798
