Cost-aware execution of transactional web services using labelled transition systems.
Omid BushehrianSalman ZarePublished in: IET Softw. (2014)
Keyphrases
- transition systems
- web services
- transactional properties
- control flow
- concurrent systems
- composite web services
- temporal logic
- model checking
- data flow
- bpel ws
- finite state
- composite services
- web service composition
- description language
- service composition
- business process
- business processes
- web services composition
- reactive systems
- practical reasoning
- reinforcement learning