CTR-S: a logic for specifying contracts in semantic web services.

Hasan Davulcu Michael Kifer I. V. Ramakrishnan

Published in: WWW (Alternate Track Papers & Posters) (2004)

Keyphrases

semantic web services
web services
service discovery
intelligent agents
life cycle
semantic annotation
semantic web technologies
service oriented
semantic matching
semantic descriptions
machine learning
domain knowledge
databases
artificial intelligence
information technology
service oriented architecture