Patent ID: 8490069

Claim:
A method for validating a translation of a graphical workflow of activities within a process automation control system into an arbitrary, but structured language, comprising: using as input a term of a high level graphically expressed language comprising a number of graphical elements related logically to each other, the graphical elements representing tasks within the process automation control system; analyzing and translating by a structural analyzer the terms of the high level graphically expressed language in terms of at least one of graphically expressed content and graphically expressed connections into the respective structured set of instructions; emulating the graphical workflow of activities to arrive at a first set of activity results; translating each instruction into a generic language in order to trace execution of such instruction to arrive at a second set of results from the translated instructions; and comparing the first set of activity results with the second set of results and validating the translation in case of a match among the first set of activity results and the second set of results.