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.
基金国家"九七三"重点基础研究发展规划项目基金(2006CB303005)国家自然科学基金(60903016+4 种基金6053311060773063)新世纪优秀人才支持计划(NCET-05-0333)黑龙江省教育厅科学技术研究项目(11531276)NSFC-RGC of China(60831160525)资助~~
