Abstract: A graph syntax validation system, method, or computer-readable medium that receives: (i) an input graph, (ii) transformation rules, and (iii) a minimal valid graph. The system/method/computer-readable medium transforms the input graph into the minimal valid graph using the transformation rules that are comprised of source patterns and target patterns. The system/method/computer-readable medium recurrently transforms the input graph until either the input graph has been reduced to the minimal valid graph indicating that the input graph uses a valid syntax, or until it is determined that one or more transformation rules do not match the input graph indicating that the input graph uses an invalid syntax.

Abstract: In certain example embodiments, a system is configured to check consistency between a first computer-represented graphical model and a second computer-represented graphical model. The system includes a data storage device and at least one processor that is incorporated into or accessible to a server. The data storage device includes or stores model correlation information, e.g., in a mapping table form. The model correlation information is configured to define at least one relationship type between the first model and the second model. The model correlation information includes a mapping of objects of the first model to objects of the second model at creation time of the model correlation information. The processor is configured to perform a model consistency check procedure that uses the model correlation information including the relationship type to ascertain an inconsistency between extant versions of the first model and the second model.

Abstract: A graph syntax validation system, method, or computer-readable medium that receives: (i) an input graph, (ii) transformation rules, and (iii) a minimal valid graph. The system/method/computer-readable medium transforms the input graph into the minimal valid graph using the transformation rules that are comprised of source patterns and target patterns. The system/method/computer-readable medium recurrently transforms the input graph until either the input graph has been reduced to the minimal valid graph indicating that the input graph uses a valid syntax, or until it is determined that one or more transformation rules do not match the input graph indicating that the input graph uses an invalid syntax.

Abstract: In certain example embodiments, a system is configured to check consistency between a first computer-represented graphical model and a second computer-represented graphical model. The system includes a data storage device and at least one processor that is incorporated into or accessible to a server. The data storage device includes or stores model correlation information, e.g., in a mapping table form. The model correlation information is configured to define at least one relationship type between the first model and the second model. The model correlation information includes a mapping of objects of the first model to objects of the second model at creation time of the model correlation information. The processor is configured to perform a model consistency check procedure that uses the model correlation information including the relationship type to ascertain an inconsistency between extant versions of the first model and the second model.