Trustworthy business process state space reducing by using time constraints

摘要

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.