AI Approach to Formal Analysis of BPMN Models: Towards a Logical Model for BPMN Diagrams.
Antoni LigezaTomasz PotempaPublished in: ABICT (2012)
Keyphrases
- process model
- formal analysis
- model driven
- probabilistic model
- statistical model
- computational model
- prediction model
- parameter estimation
- experimental data
- statistical models
- modeling framework
- business process
- computational models
- classification models
- business processes
- model selection
- prior knowledge
- autoregressive
- metamodel
- hybrid model
- web services
- expert systems
- conceptual model
- artificial intelligence
- software systems
- probability distribution