Title :
Trustworthy business process state space reducing by using time constraints
Author :
Dong, Guangzhi ; Liu, Junfei ; Wang, Jian ; Song, Lanying
Author_Institution :
College of information science and technology, Beijing Normal University, Beijing, China PRC
Abstract :
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 and can be used to analyze the trustworthiness of business processes. A state space reduction algorithm is proposed to solve the state space explosion problem which exists when there are a lot of concurrent activities in process model.
Keywords :
Automata; Business; Computational modeling; Explosions; Information systems; Semantics; Time factors; automata; business process; explosion; process state; reduction; state space; time constraints;
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.5887003
