Global transaction support for workflow management systems: from formal specification to practical implementation.
Paul W. P. J. GrefenJochem VonkPeter M. G. ApersPublished in: VLDB J. (2001)
Keyphrases
- transaction support
- formal specification
- workflow management systems
- specification language
- workflow management
- business processes
- model checking
- design methodology
- transaction processing
- web services
- reverse engineering
- business process
- business rules
- exception handling
- virtual enterprise
- design methodologies
- transaction model
- process model
- databases
- real world
- cross organizational
- workflow processes
- service oriented
- e learning
- conflict resolution
- distributed databases