A model for abstract process specification, verification and composition.
Ziyang DuanArthur J. BernsteinPhilip M. LewisShiyong LuPublished in: ICSOC (2004)
Keyphrases
- high level
- conceptual model
- statistical model
- formal model
- probabilistic model
- mathematical model
- process model
- theoretical analysis
- colored petri nets
- artificial intelligence
- computational model
- cost function
- prior knowledge
- management system
- hidden markov models
- neural network model
- recognition process
- poisson process
- objective function