Composition of Services

A method of generating a set of composite services, comprising:

• receiving standardized service descriptions of a set of component services from one or more service providers;
• translating the standardized descriptions of the set of component services to automaton-based descriptions, wherein the automaton-based descriptions represent availability of input or output data in a translated input-output (I/O) model and value of state variables used in preconditions and effects in a translated precondition-effect (P/E) model;
• and
• receiving a specified goal associated with the set of component services;
• generating the set of composite services based on the automaton-based descriptions and the specified goal, wherein each composite service in the set of composite services accomplishes the specified goal.

A computer system for generating a set of composite services, comprising:

• an event processing pipeline, comprising:
• a memory storing instructions;
• a processor configured to execute the instructions to:
• translate a standardized service description of a service to an automaton-based description, wherein the automaton-based description represents availability of input or output data in a translated input-output (I/O) model and value of state variables used in preconditions and effects in a translated precondition-effect (P/E) model;
• and
• generate the set of composite services based on the automaton-based description and a specified goal.

A non-transitory, computer-readable medium comprising machine-readable instructions executable by a processor to:

• translate a standardized service description of a service to an automaton-based description,
• wherein the standardized service description comprises:
• an input-output (I/O) model description;
• a precondition-effect (P/E) model description;
• and
• a stateful model description, and
• wherein the automaton-based description represents availability of input or output data in a translated input-output (I/O) model and value of state variables used in preconditions and effects in a translated precondition-effect (P/E) model;
• and
• generate, using a parallel operator, a set of composite services based on the automaton-based description and a specified goal describing an initial state and a goal state for the service, wherein the set of composite services changes the initial state to the goal state.