Verifying BPEL Workflows Under Authorisation Constraints.
Xiangpeng ZhaoAntonio CeronePadmanabhan KrishnanPublished in: Business Process Management (2006)
Keyphrases
- web services
- business processes
- business process
- service oriented
- formal methods
- service composition
- business process management
- petri net
- data processing
- neural network
- constrained optimization
- business applications
- service discovery
- description language
- expert systems
- inter organizational
- case study
- exception handling