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.