The semantic of JOIN in workflow process definition language WPDL is analyzed and studied. It points outthat there is a problem about AND-JOIN. To solve the problem, the synchronized semantic of AND-JOIN in extend-ed ...The semantic of JOIN in workflow process definition language WPDL is analyzed and studied. It points outthat there is a problem about AND-JOIN. To solve the problem, the synchronized semantic of AND-JOIN in extend-ed Xinpai-driven model is defined formally. It puts forward the concepts of synchronizedarea and asynchronizedarea. It gives the solution of true-and-false token rules in synchronized area and true token rules in asychronized area,and some other issues arisen from the solution are studied systematically and completely. The constrain issues of con-trol structures in synchronized area and asynchronized area are discussed, and its solution is put forward. Finally, thealgorithm of how to find the focus point and synchronized area is given.展开更多
文摘The semantic of JOIN in workflow process definition language WPDL is analyzed and studied. It points outthat there is a problem about AND-JOIN. To solve the problem, the synchronized semantic of AND-JOIN in extend-ed Xinpai-driven model is defined formally. It puts forward the concepts of synchronizedarea and asynchronizedarea. It gives the solution of true-and-false token rules in synchronized area and true token rules in asychronized area,and some other issues arisen from the solution are studied systematically and completely. The constrain issues of con-trol structures in synchronized area and asynchronized area are discussed, and its solution is put forward. Finally, thealgorithm of how to find the focus point and synchronized area is given.
