A Chu Spaces Semantics of BPEL-Like Fault Handling.
Xutao DuChunxiao XingLizhu ZhouPublished in: FCST (2009)
Keyphrases
- web services
- business processes
- service oriented
- fault diagnosis
- formal methods
- business process
- service composition
- fault detection
- business process management
- logic programming
- formal semantics
- conceptual model
- web services composition
- real time
- petri net
- knowledge based systems
- source code
- business process modeling