DocumentCode
1676972
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
fYear
2011
Firstpage
1
Lastpage
5
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;
fLanguage
English
Publisher
ieee
Conference_Titel
E -Business and E -Government (ICEE), 2011 International Conference on
Conference_Location
Shanghai, China
Print_ISBN
978-1-4244-8691-5
Type
conf
DOI
10.1109/ICEBEG.2011.5887003
Filename
5887003
Link To Document