Using SPIN and STeP to Verify Business Processes Specifications.
Juan Carlos AugustoMichael J. ButlerCarla FerreiraStephen-John CraigPublished in: Ershov Memorial Conference (2003)
Keyphrases
- business processes
- business process
- business rules
- web services
- process model
- business process models
- workflow management systems
- business applications
- ws bpel
- business objectives
- business partners
- process mining
- workflow systems
- process management
- business environment
- inter organizational
- workflow management
- business process management
- model driven development
- competitive advantage
- formal specification