A Simple WS Planning example Illustration of Situational Calculus
for simple Web Service dynamic integration

You know the circle circumference and need the radius. No one web service operation takes Circumference as an input part name and has Radius as an output part name.

• Find a web service that outputs radius as an input part name and has ?something as an input.
• Or from the set of known functions: prove Yields( Radius, ?something)
• Find a web service that yields ?something from the Circumference.
• Or find web services that yields ?something-else from the Circumference and that yields ?something from ?something-else.
• Or some combination of these strategies.