| 规范流网中OR-join任务的语义及使能判定算法 |
| |
| 引用本文： | 曹国荣,谭庆平,吴浩,解金刚.规范流网中OR-join任务的语义及使能判定算法[J].计算机科学与探索,2010,4(6):542-551. |
| |
| 作者姓名： | 曹国荣 谭庆平 吴浩 解金刚 |
| |
| 作者单位： | 国防科学技术大学,计算机学院,长沙,410073 |
| |
| 摘 要： | 对规范流网中OR-join任务语义及使能判定算法进行了深入研究。首先介绍YAWL语言中与OR-join任务有关的概念,规范流网的有关定义,然后在此基础上定义规范流网关于OR-join任务新的语义;最后提出一种判定规范流网OR-join任务使能的算法,并举例说明算法的正确性和有效性。
|
| 关 键 词： | OR-join任务 规范流网 YAWL语言 Petri网 |
| 修稿时间： | |
Semantics and Implementation of the OR-join in Regular Flow Nets |
| |
| CAO Guorong,TAN Qingping,WU Hao,XIE Jingang.Semantics and Implementation of the OR-join in Regular Flow Nets[J].Journal of Frontier of Computer Science and Technology,2010,4(6):542-551. |
| |
| Authors: | CAO Guorong TAN Qingping WU Hao XIE Jingang |
| |
| Affiliation: | School of Computer Science, National University of Defense Technology, Changsha 410073, China |
| |
| Abstract: | The semantics and implementation of the OR-join is examined in detail in the context of regular flow nets (RFNs). Firstly the concepts related to OR-join in yet another workflow language (YAWL), the concepts of RFNs are introduced. Then based on the previous contents, the semantics of RFNs with OR-join are proposed. Finally an implementation towards determining OR-join enablement in RFNs accompanied by an example is illustrated. |
| |
| Keywords: | OR-join regular flow nets (RFNs) yet another workflow language (YAWL) Petri nets |
| 本文献已被 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机科学与探索》浏览原始摘要信息 |
|
点击此处可从《计算机科学与探索》下载全文 |
|
