Proof as Composition: An approach for the Large-granularity Web Services Composition.
Yuyu YinYing LiJianwei YinShuiGuang DengPublished in: J. Digit. Content Technol. its Appl. (2010)
Keyphrases
- web services composition
- web service composition
- composition of web services
- web services
- service composition
- process algebra
- highly reliable
- quality of service
- service discovery
- service selection
- composite web services
- neural network
- theorem prover
- theorem proving
- fine granularity
- interactive theorem proving
- linear logic
- genetic algorithm