Keyphrases
- semantic web services
- web services
- automatic discovery
- service composition
- formal semantics
- web service composition
- web service descriptions
- semantic modeling
- process model
- service discovery
- semantic description
- semantic annotation
- semantic web technologies
- web service discovery
- description language
- description languages
- owl ontologies
- semantic web
- semantic matching
- composition of web services
- service description
- semantic web service composition
- model checking
- intelligent agents
- case study
- databases
- xml schema
- life cycle
- business processes
- distributed systems
- multi agent systems
- database systems
- information systems
- artificial intelligence
- database