Method for generating an executable workflow code from an unstructured cyclic process model
First Claim
Patent Images
1. 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.
0 Assignments
0 Petitions
Accused Products
Abstract
A method for generating an executable workflow code from an unstructured cyclic process model. The method comprises the following steps. First a continuation equation system is generated from the unstructured cyclic process model. Then, the executable workflow code is generated from the continuation equation system, wherein therefore, the continuation equation system is solved by means of transformation rules.
13 Citations
14 Claims
-
1. 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. - View Dependent Claims (2, 3, 4, 5, 6, 7, 8, 9)
-
-
10. A non-transitory computer program element comprising computer program code which, when loaded in a processor of a computing device, configures the processor to perform a method comprising:
-
generating a continuation equation system from the unstructured cyclic process model; generating the executable workflow from the continuation equation system; assigning variables to nodes of said unstructured cyclic process model; substituting one variable of a first equation by an expression of a second equation, said substituting based on a first transformation rule; reducing a number of occurrences of a same variable in said continuation equation system, said reducing based on a second transformation rule; replacing each variable with a Boolean variable; and branching to said Boolean variable if said Boolean variable fulfills a condition of a conditional statement introduced in said continuation equation system.
-
-
11. A code generator for generating an executable workflow code from an unstructured cyclic process model, the code being executable by a workflow engine, said code generator comprising:
-
a computing device for designing the unstructured cyclic process model; and a transformation engine adapted to generate; a continuation equation system from the unstructured cyclic process model; and the executable workflow code from the continuation equation system; assigning variables to nodes of said unstructured cyclic process model; substituting one variable of a first equation by an expression of a second equation, said substituting based on a first transformation rule; reducing a number of occurrences of a same variable in said continuation equation system, said reducing based on a second transformation rule; replacing each variable with a Boolean variable; and branching to said Boolean variable if said Boolean variable fulfills a condition of a conditional statement introduced in said continuation equation system.
-
-
12. A machine-implemented method for generating an executable workflow code, said method comprising:
-
generating, using a computing device, a continuation equation system from a graphical description of an unstructured cyclic process model; and generating, using said computing device, the executable workflow code from the continuation equation system, wherein for generating the continuation equation system variables are assigned to nodes of the process model by said computing device, wherein one of said variables is assigned to a start node and one of said variables is assigned to an end node of the process model by said computing device, wherein one of said nodes has more than one incoming or outgoing link, wherein for generating the executable workflow code the continuation equation system is solved by means of transformation rules by said computing device, wherein one of said transformation rules is selected by said computing device such that it is applicable to an equation of the continuation equation system, wherein the selected transformation rule is applied by said computing device to the continuation equation system and a modified continuation equation system is computed by said computing device, and wherein said method of selecting and applying transformation rules is repeated by said computing device until a single equation remains, wherein, with the help of a first transformation rule, one variable of a first equation is substituted by an expression of a second equation by said computing device, wherein, with the help of a second transformation rule, the number of occurrences of the same variable in the continuation equation system is reduced by said computing device, wherein at each place where the variable occurs it is replaced by a Boolean variable by said computing device, wherein a conditional statement is introduced by said computing device in the continuation equation system for branching to the variable if the Boolean variable fulfills the condition, wherein with the help of a third transformation rule, one variable occurring on both sides of the continuation equation system is replaced by a repeat-until statement by said computing device, wherein the condition for terminating the repeat-until statement is obtained by said computing device from the negation of the condition that led in the original equation to the variable, wherein each of said transformation rules is assigned to a priority by said computing device, and the transformation rule with the highest assigned priority is applied first by said computing device, wherein a variable is eliminated first which occurs most seldom in the continuation equation system by said computing device, and wherein the single equation is mapped to an XML file by said computing device.
-
-
13. A machine-implemented method for generating an executable workflow code, said method comprising:
-
generating, using a computing device, a continuation equation system from a graphical description of an unstructured cyclic process model; and generating, using said computing device, the executable workflow code from the continuation equation system, wherein for generating the continuation equation system variables are assigned to nodes of the process model by said computing device, wherein one of said variables is assigned to a start node and one of said variables is assigned to an end node of the process model by said computing device, wherein one of said nodes has more than one incoming or outgoing link, wherein for generating the executable workflow code the continuation equation system is solved by means of transformation rules by said computing device, wherein one of said transformation rules is selected by said computing device such that it is applicable to an equation of the continuation equation system, wherein the selected transformation rule is applied by said computing device to the continuation equation system and a modified continuation equation system is computed by said computing device, and wherein said method of selecting and applying transformation rules is repeated by said computing device until a single equation remains, wherein, with the help of a first transformation rule, one variable of a first equation is substituted by an expression of a second equation by said computing device, wherein, with the help of a second transformation rule, the number of occurrences of the same variable in the continuation equation system is reduced by said computing device, wherein at each place where the variable occurs it is replaced by a Boolean variable by said computing device, wherein a conditional statement is introduced by said computing device in the continuation equation system for branching to the variable if the Boolean variable fulfills the condition, wherein with the help of a third transformation rule, one variable occurring on both side of the continuation equation system is replaced by a repeat-until statement by said computing device, wherein the condition for terminating the repeat-until statement is obtained by said computing device from the negation of the condition that led in the original equation to the variable, wherein a fourth transformation rule rearranges elements of the continuation equation system by said computing device; wherein each of said transformation rules is assigned to a priority by said computing device, and the transformation rule with the highest assigned priority is applied first by said computing device, wherein a variable is eliminated first which occurs most seldom in the continuation equation system by said computing device, and wherein the single equation is mapped to an XML file by said computing device.
-
-
14. A machine-implemented method for generating an executable workflow code, said method comprising:
-
generating, using a computing device, a continuation equation system from a graphical description of an unstructured cyclic process model; and generating, using said computing device, the executable workflow code from the continuation equation system; generating, using a computing device, a continuation equation system from the unstructured cyclic process model; and generating, using said computing, the executable workflow from the continuation equation system, wherein for generating the continuation equation system variables are assigned to nodes of the process model by said computing device, wherein one of said variables is assigned to a start node and one of said variables is assigned to an end node of the process model by said computing device, wherein one of said nodes has more than one incoming or outgoing link, wherein for generating the executable workflow code the continuation equation system is solved by means of transformation rules by said computing device, wherein one of said transformation rules is selected by said computing device such that it is applicable to an equation of the continuation equation system, wherein the selected transformation rule is applied by said computing device to the continuation equation system and a modified continuation equation system is computed by said computing device, and wherein said method of selecting and applying transformation rules is repeated by said computing device until a single equation remains, wherein, with the help of a first transformation rule, one variable of a first equation is substituted by an expression of a second equation by said computing device, wherein, with the help of a second transformation rule, the number of occurrences of the same variable in the continuation equation system is reduced by said computing device, wherein at each place where the variable occurs it is replaced by a Boolean variable by said computing device, wherein a conditional statement is introduced by said computing device in the continuation equation system for branching to the variable if the Boolean variable fulfills the condition, wherein with the help of a third transformation rule, one variable occurring on both sides of the continuation equation system is replaced by a repeat-until statement by said computing device, wherein the condition for terminating the repeat-until statement is obtained by said computing device from the negation of the condition that led in the original equation to the variable, wherein each of said transformation rules is assigned to a priority by said computing device, and the transformation rule with the highest assigned priority is applied first by said computing device, wherein a variable is eliminated first which occurs most seldom in the continuation equation system by said computing device, and wherein the single equation is mapped to an XML file by said computing device.
-
Specification