On the Suitability of Correctness Criteria for Business Process Models.
Juliane DehnertArmin ZimmermannPublished in: Business Process Management (2005)
Keyphrases
- business process models
- correctness criteria
- business process
- business processes
- concurrency control
- correctness criterion
- transaction model
- process model
- update propagation
- control flow
- business rules
- database systems
- concurrency control protocols
- business process management
- information systems
- object oriented database systems
- transaction processing
- replicated databases
- model checking
- data management
- data structure
- database