A formal model for service-oriented interactions.

José Luiz Fiadeiro Antónia Lopes João Abreu

Published in: Sci. Comput. Program. (2012)

Keyphrases

formal model
service oriented
highly dynamic
web services
workflow management
service oriented architecture
model driven
service composition
security properties
service oriented computing
information systems
virtual enterprise
predicate calculus
formal models
scientific workflows
service selection