Patent ID: 8042092

Claim:
A computer-implemented method for generating an executable workflow code from an unstructured cyclic process model, said method comprising: generating, by a computing device, a continuation equation system from the unstructured cyclic process model; and generating, by said computing device, the executable workflow from the continuation equation system; assigning, by said computing device, variables to nodes of said unstructured cyclic process model; substituting, by said computing device, one variable of a first equation by an expression of a second equation, said substituting based on a first transformation rule; reducing, by said computing device, a number of occurrences of a same variable in said continuation equation system, said reducing based on a second transformation rule; replacing, by said computing device, each variable with a Boolean variable; and branching, by said computing device, to said Boolean variable if said Boolean variable fulfills a condition of a conditional statement introduced in said continuation equation system.