23. The system of claim 22 , wherein the processor is further operative with the program to: add and remove subgraphs from the pre-inclusion state matched to the applicability condition of the second component based on differences between the applicability condition of the second component and the inclusion effect of the second component.
22. The system of claim 21 , wherein the processor is further operative with the program to: generate a new post-inclusion state by applying differences between the inclusion effect of the second component and the applicability condition of the second component to the pre-inclusion state matched to the applicability condition of the second component based on a graph transformation operation.