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.展开更多
SPEM(software process engineering metamodel)是国际标准化组织制定的标准元模型,正日益成为软件过程建模领域的行业标准,但在过程执行方面,SPEM还存在不足.将软件过程看作是一种特殊的工作流,提出了一种应用工作流运行机制支持软件...SPEM(software process engineering metamodel)是国际标准化组织制定的标准元模型,正日益成为软件过程建模领域的行业标准,但在过程执行方面,SPEM还存在不足.将软件过程看作是一种特殊的工作流,提出了一种应用工作流运行机制支持软件过程执行的方法.通过将SPEM模型转换为XPDL(XML process definition language)模型,利用XPDL引擎支持SPEM模型的执行.制定了SPEM和XPDL之间的映射规则,设计了转换算法并开发了转换引擎.该方法被应用在SoftPM项目中,成功地基于XPDL引擎Shark实现了对软件过程模型的执行支持.展开更多
文摘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.
基金Supported by the National Natural Science Foundation of China under Grant No.60273026(国家自然科学基金)the National High-Tech Research and Development Plan of China under Grant No.2002AA116060(国家高技术研究发展计划(863))
文摘SPEM(software process engineering metamodel)是国际标准化组织制定的标准元模型,正日益成为软件过程建模领域的行业标准,但在过程执行方面,SPEM还存在不足.将软件过程看作是一种特殊的工作流,提出了一种应用工作流运行机制支持软件过程执行的方法.通过将SPEM模型转换为XPDL(XML process definition language)模型,利用XPDL引擎支持SPEM模型的执行.制定了SPEM和XPDL之间的映射规则,设计了转换算法并开发了转换引擎.该方法被应用在SoftPM项目中,成功地基于XPDL引擎Shark实现了对软件过程模型的执行支持.
