A method for generating a BPEL4WS executable workflow code from an unstructured cyclic business process model. The method inputs a graphical representation of the business process model using a graphical modeling language. The graphical representation comprises activities, decisions and an unstructured cycle including more than one entry or more than one exit to an activity or a decision. The method assigns continuation semantics to the graphical representation which comprises partitioning the activities and the decisions of the graphical representation into the past, present, and future. The method assigns a continuation variable to a start and an end of the graphical representation and assigns a continuation variable to each activity and each decision that has more than one incoming link or more than one outgoing link.