Method and system for assembling information processing applications based on declarative semantic specifications

摘要

A method for assembling an information processing application, includes: inputting a plurality of component descriptions, wherein each of the component descriptions includes a graph pattern that semantically describes an applicability condition of a component and a graph pattern that semantically describes an inclusion effect of the component; inputting a processing request, wherein the processing request includes a goal that is represented by a graph pattern that semantically describes a desired processing outcome; assembling a processing graph, wherein the processing graph includes at least one component that satisfies the desired processing outcome; and outputting the processing graph.

主权项

1. A method for assembling an information processing application, comprising:
inputting a plurality of component descriptions; inputting a processing request, wherein the processing request includes a goal that is represented by a graph pattern that semantically describes a desired processing outcome; assembling a processing graph, wherein the processing graph includes at least one component that satisfies the desired processing outcome; outputting the processing graph; deploying an information processing application embodying at least one component of the processing graph; and operating the information processing application, wherein the method is performed using a processor, wherein at least one of the plurality of component descriptions includes: an applicability condition that includes variables representing objects that must be included in a pre-inclusion state, wherein the pre-inclusion state is a state against which the applicability of the component for inclusion in a processing graph is evaluated; and an inclusion effect that includes variables representing objects that must be included in a post-inclusion state, wherein the post-inclusion state is a state resulting from inclusion of the component in the processing graph, wherein every one of the variables in the inclusion effect must be included in the applicability condition, wherein each component creates at least one new object graph for each output.