Keyphrases
- process model
- business process models
- control flow
- process mining
- business processes
- business process
- constraint language
- event logs
- petri net
- formal semantics
- design patterns
- code generator
- software process
- decision making
- artificial intelligence
- business rules
- workflow management systems
- model checking
- semantic information
- data warehouse
- query language
- architectural models
- data mining