A Model Slicing Method for Workflow Verification.
Fazle RabbiHao WangWendy MacCaullAdrian RutlePublished in: Electron. Notes Theor. Comput. Sci. (2013)
Keyphrases
- theoretical analysis
- probabilistic model
- mathematical model
- statistical model
- objective function
- analytical model
- verification method
- evaluation method
- prediction model
- cost function
- classification method
- optimization method
- input data
- test data
- closed form
- high order
- high level
- similarity measure
- detection method
- parameter estimation
- em algorithm
- process model
- optimization model
- evaluation model
- markov model
- monte carlo simulation
- linear regression
- petri net model
- reconstruction method
- hybrid model
- preprocessing
- gaussian distribution
- parameter space
- computational model
- significant improvement
- tree structure
- clustering method
- hybrid method
- petri net
- neural network
- workflow systems
- classification algorithm
- high accuracy
- prior knowledge
- autoregressive
- linear model
- statistical methods
- sensitivity analysis
- bp neural network