Example: semantics of Web Services

• Web services technology is great

• But if services are ubiquitous, searching issue comes up, for example:

• • “find me the best differential equation solver”
  • “check if it can be combined with the XYZ plotter service”

• It is necessary to characterize the service

• • not only in terms of input and output parameters…
  • …but also in terms of its semantics