A system for skill matching in industrial control, the system comprising: a production machine in an industrial production line, the production machine having a production machine interface responsive to a plurality of first parameters and having a production machine process responsive to machine interface information; a controller of the production machine, the controller having a controller interface responsive to a plurality of second parameters and having a controller process responsive to controller interface information; and a matching processor (14, 19) configured to first match the first and second parameters and to second match synchronization of the production machine process with the controller process based on exchange of the machine interface and controller interface information between the controller and the production machine, the matching processor (14, 19) configured to indicate an incompatibility of the production machine with the controller based on both the first match and the second match; wherein the matching processor is configured to perform the first match using an augmented unification stemming from logic programming, wherein the augmentation includes variation in rules or instructions used in the match such as to account for machine interface programming and/or parameters that do not have to be matched; and the matching processor is configured to perform the second match using a graph algorithm for a synchronous cross product of finite state automata which includes performing a cross product of graphs representing the production machine process and the controller process including synchronization points and functions or procedural acts, the matching processor being configured to check for synchronization based on the synchronization points and functions or procedural acts, wherein starting points of steps for the machine process and the control process are linked; links between the steps are labeled as internal or the synchronization points in the cross product; and wherein the first and second parameters each comprise a name, value, and unit, and wherein the matching processor (14, 19) is configured to perform the first match based on compatibility of the names and units of the first parameters with the names and units of the second parameters, or wherein the matching processor (14, 19) is configured to perform the first match based on compatibility of the names and units of the first parameters with the names and units of the second parameters except for at least one of the first and second parameters labeled as optional. a production machine in an industrial production line, the production machine having a production machine interface responsive to a plurality of first parameters and having a production machine process responsive to machine interface information; a controller of the production machine, the controller having a controller interface responsive to a plurality of second parameters and having a controller process responsive to controller interface information; and a matching processor (14, 19) configured to first match the first and second parameters and to second match synchronization of the production machine process with the controller process based on exchange of the machine interface and controller interface information between the controller and the production machine, the matching processor (14, 19) configured to indicate an incompatibility of the production machine with the controller based on both the first match and the second match; wherein the matching processor is configured to perform the first match using an augmented unification stemming from logic programming, wherein the augmentation includes variation in rules or instructions used in the match such as to account for machine interface programming and/or parameters that do not have to be matched; and the matching processor is configured to perform the second match using a graph algorithm for a synchronous cross product of finite state automata which includes performing a cross product of graphs representing the production machine process and the controller process including synchronization points and functions or procedural acts, the matching processor being configured to check for synchronization based on the synchronization points and functions or procedural acts, wherein starting points of steps for the machine process and the control process are linked; links between the steps are labeled as internal or the synchronization points in the cross product; and wherein the first and second parameters each comprise a name, value, and unit, and wherein the matching processor (14, 19) is configured to perform the first match based on compatibility of the names and units of the first parameters with the names and units of the second parameters, or wherein the matching processor (14, 19) is configured to perform the first match based on compatibility of the names and units of the first parameters with the names and units of the second parameters except for at least one of the first and second parameters labeled as optional.