18. The system of claim 17 , wherein the post-inclusion state obtained after adding the first component to the processing graph is matched to the applicability condition of the second component by applying a pattern solution defined on all the variables in the graph pattern that semantically describes the objects that must be included in the pre-inclusion state applicable to the second component.
18. The system of claim 17 , wherein the post-inclusion state obtained after adding the first component to the processing graph is matched to the applicability condition of the second component by applying a pattern solution defined on all the variables in the graph pattern that semantically describes the objects that must be included in the pre-inclusion state applicable to the second component. 20. The system of claim 18 , wherein a graph that is obtained after substituting the variables in the graph pattern that semantically describes the objects that must be included in the pre-inclusion state applicable to the second component is satisfied by the graph that semantically describes the objects in the post-inclusion state obtained after adding the first component to the processing graph based on a logical derivation framework.