Preserving correctness during business process model configuration.
Wil M. P. van der AalstMarlon DumasFlorian GottschalkArthur H. M. ter HofstedeMarcello La RosaJan MendlingPublished in: Formal Aspects Comput. (2010)
Keyphrases
- process model
- business processes
- business process
- business process models
- process mining
- business process management
- business rules
- formal models
- petri net
- business applications
- event logs
- web services
- data mining
- workflow management systems
- information systems
- software process
- business process modeling
- control flow
- enterprise architecture
- decision making
- data quality
- service oriented
- domain knowledge
- workflow management
- information retrieval
- machine learning