A trace-based service semantics guaranteeing deadlock freedom.

Christian Stahl Walter Vogler

Published in: Acta Informatica (2012)

Keyphrases

web services
formal semantics
service providers
management system
neural network
logic programming
processor sharing
case study
end users
wireless networks
information services
service quality
owl ontologies
semantic descriptions
web service discovery