首页 | 官方网站   微博 | 高级检索  
     

WPDL中的JOIN语义问题和分区解决方案
引用本文:郝克刚,王斌君,安贵.WPDL中的JOIN语义问题和分区解决方案[J].计算机科学,2003,30(7):122-125.
作者姓名:郝克刚  王斌君  安贵
作者单位:1. 西北大学软件工程研究所,西安,710069;西安协同数码股份有限公司,西安,710075
2. 西北大学软件工程研究所,西安,710069;中国人民公安大学科技系,北京,102614
3. 西安协同数码股份有限公司,西安,710075
基金项目:国家“十五”重点科技攻关项目资助(项目编号:2001BA107C)
摘    要:1 引言工作流管理系统(也称为过程管理系统)被称为是继数据库管理系统和人机界面管理系统之后第三次从应用中分离出来并成为一个应用系统不可或缺的子系统,它已有着广泛的应用前景,特别是在Internet/Intranet环境下它将成为必备的软件开发平台。吸引了大批的研究机构、专家学者和软件开发公司对其进行研究。

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

The JOIN Semantic Issue in WPDL and the Synchronized Area Solution
HAO Ke-Gang WANG Bin-Jun AN Gui.The JOIN Semantic Issue in WPDL and the Synchronized Area Solution[J].Computer Science,2003,30(7):122-125.
Authors:HAO Ke-Gang WANG Bin-Jun AN Gui
Abstract:The semantic of JOIN in workflow process definition language WPDL is analyzed and studied. It points out that there is a problem about AND.JOIN. To solve the problem, the synchronized semantic of AND-JOIN in extended Xinpai-driven model is defined formally. It puts forward the concepts of synchronizedarea and asynchronized area. 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 control structures in synchronized area and asynchronized area are discussed, and its solution is put forward. Finally, the algorithm of how to find the focus point and synchronized area is given.
Keywords:Workflow process definition language  WPDL  Xinpai-driven model  Synchronized area  True-and-false token  Focus point  Petri net  
本文献已被 CNKI 维普 万方数据 等数据库收录!
点击此处可从《计算机科学》下载全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司    京ICP备09084417号-23

京公网安备 11010802026262号