Method and system for message-oriented semantic web service composition based on artificial intelligence planning

A planner for composing a workflow made up of web service operations, comprising:

• a domain-generator for receiving a plurality of modeled web service descriptions, translating the web service descriptions into a stream processing planning language (SPPL), and during the translation, performing description logic program (DLP) reasoning on output message graph patterns of the web service descriptions, and storing the translated and reasoned web service descriptions in an SPPL domain;
• and
• a plan-builder for receiving a composition request, translating the composition request into a planning goal, and producing a workflow by recursively connecting web service operations to one another based on their web service descriptions stored in the SPPL domain until a goal message is produced.

A computer program product comprising a computer useable medium having computer program logic recorded thereon for modeling a web service composition, the computer program logic comprising:

• program code for defining an input message pattern that describes input requirements of a web service operation, wherein the input message pattern includes a set of variables representing data elements that must be contained in a message input to the web service operation, and a graph pattern that semantically describes the data elements that must be contained in the message input to the web service operation;
• and
• program code for defining an output message pattern that describes an output message of the web service operation, wherein the output message pattern includes a set of variables and exemplars that represent data elements contained in the output message, and a graph pattern that semantically describes the data elements contained in the output message.