Patent ID: 8141069

Claim:
A method for generating an executable non-cyclic workflow code, compatible with a Business Process Execution Language (BPEL), from an unstructured cyclic process model, said method comprising: transforming said unstructured cyclic process model into a preliminary workflow code; generating said executable non-cyclic workflow code, compatible with said BPEL standard, from said preliminary workflow code by eliminating unstructured cycles, wherein said executable non-cyclic workflow code, which includes activities and links for linking said activities, is generated from said unstructured cyclic process model, wherein said activities, which are not a target of any link are added to a set of executable activities, wherein a thread is established for each executable activity, wherein, when one of said executable activities is executed, a state of a corresponding thread is updated and said one of said executed activities is deleted then from said set of executable activities, and wherein, if a transition condition of a link, which has its source in said one of said executed executable activities is satisfied, then the linked activity is added to said set of executable activities; and repeating processes of updating state of a corresponding thread, deleting said one of said executed activities, and adding the linked activity to said set of executable activities until said set of executable activities is empty.