AI Approach to Formal Analysis of BPMN Models. Towards a Logical Model for BPMN Diagrams.
Antoni LigezaKrzysztof KluzaGrzegorz J. NalepaTomasz PotempaPublished in: FedCSIS (2012)
Keyphrases
- model driven
- process model
- probabilistic model
- formal analysis
- metamodel
- statistical model
- business process
- experimental data
- statistical models
- agent model
- modeling framework
- business processes
- hybrid model
- accurate models
- machine learning
- parametric models
- artificial intelligence
- linear model
- prediction model
- computational models
- computational model
- probability distribution
- classification models
- building blocks
- model selection
- business process models