Formalizing exception handling in WS-CDL and WS-BPEL for conformance verification.
Wing Lok YeungPublished in: SOCA (2009)
Keyphrases
- exception handling
- ws bpel
- business process
- business processes
- workflow management systems
- workflow management
- object oriented
- process algebra
- model checking
- conflict resolution
- service composition
- development tools
- object oriented programming
- domain independent
- protocol specification
- agent systems
- programming tool
- asynchronous communication
- concurrent systems
- service oriented
- web services
- communication protocols
- databases
- artificial intelligence
- machine learning
- description language
- database systems
- domain specific