检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
作 者:胡飞虎[1] 杨慧媛[1] 张丹丹[1] 吴晓宁[1]
机构地区:[1]西安交通大学电气工程学院,陕西西安710049
出 处:《计算机应用与软件》2012年第2期76-79,共4页Computer Applications and Software
基 金:国家高技术研究发展计划(2009AA04Z121)
摘 要:以RTWD网工作流模型为基础,提出了循环的形式化定义,包括环形路径、启用点、终止点、启用条件、终止条件、入口、出口等,并基于该定义对循环模式进行了分类。介绍循环状态空间、事件、状态转换图的概念,并举例说明了如何通过循环控制表及状态转换图实现对多重循环模式的控制。In this paper,a formal definition of loop based on RTWD net workflow model is presented,which includes circular route,start-up point,terminal point,start-up condition,terminal condition,entry and exit,etc.,the loop patterns are classified based on it.Some concepts are introduced,such as the state space of loop,events and state transition diagram of loop.In the end,an example is given to illustrate the controlling method of multiple loop patterns through loop control table and state transition diagram of loop.
分 类 号:TP3[自动化与计算机技术—计算机科学与技术]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.229