A specification language for the WIDE workflow model.
Daniel K. C. ChanJochem VonkGabriel SanchezPaul W. P. J. GrefenPeter M. G. ApersPublished in: SAC (1998)
Keyphrases
- specification language
- workflow model
- workflow models
- business process
- formal specification
- business processes
- workflow systems
- design methodologies
- description language
- programming language
- data flow
- workflow management
- fully integrated
- design methodology
- petri net
- active databases
- case study
- process model
- business rules
- web services
- database systems