Suppose we have common semantics and pre-conditions and post-conditions (effects) defined for web services.

Computational Logic / Situational Calculus

• Allows dynamic generation of combination of web services that achieve the goals under constraints
• Rules can be used to reason about the situation
• Knowledge can be re-used in many ways
• New Plans can be generated for new situations
• Web services are used "as found" - no new code