An algebraic theory for web service contracts.

Cosimo Laneve Luca Padovani

Published in: Formal Aspects Comput. (2015)

Keyphrases

web services
computational model
business applications
theoretical basis

databases
data mining
database systems

multi agent
service providers
business process

service oriented
theoretical foundation
service oriented architecture