Declarative Web services composition using proofs.
Sana BaccarMohsen RouachedRuben VerborghMohamed AbidPublished in: Serv. Oriented Comput. Appl. (2018)
Keyphrases
- web services composition
- web service composition
- web services
- service composition
- composition of web services
- process algebra
- highly reliable
- service selection
- knowledge representation
- theorem proving
- service discovery
- domain independent
- high level
- composite web services
- quality of service
- petri net
- formal proofs
- natural deduction
- declarative language
- real time
- automated theorem provers
- theorem prover
- service oriented
- first order logic
- business process
- business processes
- search space
- search algorithm