Verification of Common Business Rules in BPMN Process Models.
Anass RachdiAbdeslam En-NouaaryMohamed DahchourPublished in: NETYS (2016)
Keyphrases
- business rules
- process model
- business process
- business processes
- business process models
- process mining
- business process modeling
- business process management
- fine grained
- reverse engineering
- web services
- model checking
- event logs
- workflow management systems
- production rules
- information systems
- case study
- active databases
- business users
- databases
- formal specification
- control flow
- artificial intelligence
- genetic algorithm
- machine learning
- real world