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.

Abstract: The present invention relates to a perforated food casing based on fiber-reinforced cellulose, which includes a plurality of openings, the maximum diameter of said openings being less than 0.18 mm and the minimum diameter of the openings being such that air and water vapor trapped between the casing wall and the sausage meat are able to quickly escape.

Abstract: A tubular casing that is capable of receiving a product therein in an outstretched state, said casing comprising: a pleated accordion shaped envelope section; a front-end section on the opposite end from the pleated accordion shaped envelope section, the front-end section being tucked back at a central portion thereof across the longitudinal direction of the casing, the front-end section being stretched and crimped lengthwise with respect to the length of the casing; a middle section that is adjacent to and between the front-end section and the accordion shaped section, wherein the middle section is crimped lengthwise with respect to the length of the casing; wherein the middle section and the front end section are tied off, and the casing has a fluid moisture content of 18 to 35 wt.-% based on the total weight of the casing.

Abstract: A tubular casing that is capable of receiving a product therein in an outstretched state, said casing comprising: