文献类型：期刊文章

作　　者：郝克刚[1] 王斌君[1] 安贵[2]

机构地区：[1]西北大学软件工程研究所 [2]中国人民公安大学科技系,北京102614

出　　处：《计算机科学》

基　　金：国家"十五"重点科技攻关项目资助(项目编号:2001BA107C)

年　　份：2003

卷　　号：30

期　　号：7

起止页码：122-125

语　　种：中文

收录情况：BDHX、BDHX2000、CSA、CSCD、CSCD2011_2012、IC、JST、RCCSE、UPD、ZGKJHX、核心刊

摘　　要：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.

关 键 词：工作流管理系统 软件系统 JOIN语义  WPDL 人机界面管理系统  

分 类 号：TP31]