Logic for Higher-Order Workflow of Composite Web Services.

Mihhail Matskin Enn Tyugu

Published in: SWWS (2006)

Keyphrases

higher order
higher order logic
composite web services
lambda calculus
pairwise
control flow
high order
web services
markov random field
databases
data flow
modal logic
web services composition
logic programming
information technology
service composition
process model
petri net
real time