I am trying to map the cancellation set "purchase book" from the manual 2.3 page 63. However, when I validate the workflow, I am getting three errors as the workflow cannot complete. I hope someone can help me or explain to me what am I doing wrong.

I have attached the YAWL file to this forum.

Thank you for your help.

k.schildt

Fri, 05/09/2014 - 15:12

Hi nohaz,

i think the problem is, that you haven't set up  your net variables and in each task is missing the task decomposition. Set up the net and task variables like in the example and check it again ;)

 

Sincerely,

Kai

Hello Kai,

First of all, thank you for helping me. I actually when through the tutorial from this site, and tried to create the double check workflow but still I am getting the same errors. I setup the net variables and I did the task decomposition. When I check the analysis I am getting errors "DoubleCheckNet does not have an option to complete". I have attached the YAWL specification to this thread.

I hope you can help me.

Thank you,

nohhaz

k.schildt

Tue, 06/03/2014 - 18:18

Hi nohaz,

sorry for that late answer, but we haven't found a optimized solution.

Here is a suggestion, but not the correct solution, maybe you can fix our new problem.

Your failure was the condition, you don't need that condition, for that you can chosse an or-join  for the the cancel task. 

But the new problem is, that you cant't set the flow index of the both xor-flow, so we think it's a bug of the new editor. Maybe you can set this flows to a right order.

I hope we could help you.

 

The new yawl file is a attachment.

 

Sincerly, Kai