The Pragmatic Proof: Hypermedia API Composition and Execution.
Ruben VerborghDörthe ArndtSofie Van HoeckeJos De RooGiovanni MelsThomas SteinerJoaquim GabarróPublished in: CoRR (2015)
Keyphrases
- service compositions
- web services
- composite web services
- application programming interface
- linear logic
- database
- information systems
- high level
- digital libraries
- complex systems
- neural network
- web service compositions
- execution model
- composite services
- control flow
- multimedia
- web service composition
- data flow
- plan generation
- theorem prover
- web services composition
- quality of service
- business processes
- source code
- proof theory
- relational databases
- adaptive hypermedia systems
- website