Automating the Transformation from BPMN Models to CSP+T Specifications.
Manuel I. CapelLuis Eduardo MendozaPublished in: SEW (2012)
Keyphrases
- statistical models
- probabilistic model
- business process
- transformation models
- business process models
- parameter estimation
- constraint satisfaction problems
- transformation rules
- model driven
- experimental data
- reactive systems
- finite state machines
- constraint satisfaction
- neural network
- complex systems
- np complete
- artificial neural networks
- case study