Process Mining Meets Abstract Interpretation.
Josep CarmonaJordi CortadellaPublished in: ECML/PKDD (1) (2010)
Keyphrases
- process mining
- abstract interpretation
- termination analysis
- process model
- event logs
- static analysis
- business process
- business processes
- active rules
- model checking
- reasoning engine
- clinical pathway
- active databases
- dynamic analysis
- formal concept analysis
- databases
- database
- integrity constraints
- database applications
- object oriented
- data structure