A Type System for Client Progress in a Service-Oriented Calculus.

Lucia Acciai Michele Boreale

Published in: Concurrency, Graphs and Models (2008)

Keyphrases

service oriented
web services
highly dynamic
service oriented architecture
workflow management
service composition
model driven
business process management
service selection
grid services
end to end
loose coupling
type checking
service oriented computing
service level agreements
client server
enabling technologies