The Rely/Guarantee Approach to Verifying Concurrent BPEL Programs.
Huibiao ZhuQiwen XuChris MaShengchao QinZongyan QiuPublished in: SEFM (2012)
Keyphrases
- web services
- service oriented
- business processes
- formal methods
- service composition
- concurrent programs
- business process
- real time
- business process management
- concurrent programming
- runtime environment
- web services composition
- programming environment
- web service composition
- concurrent execution
- colored petri nets
- automatic programming
- computer programs
- service oriented architecture
- petri net
- reinforcement learning
- neural network