检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]西安理工大学计算机学院,陕西西安710048
出 处:《计算机应用》2006年第3期688-691,共4页journal of Computer Applications
摘 要:在基于形式化的工作流模型和具有历史执行记录的工作流实例定义基础上,给出了一个全面的、正确的工作流实例迁移判断标准,并且依据此判断标准提出了虚拟执行规则和迁移算法。与同类研究工作比较,该方法在适用性、正确性和可实现性等方面具有一定的先进性。Based on the formal workflow model and the definition of workilow instance with execution history, a comprehensive correctness criterion for workflow instance migration was proposed, according to which the virtual execution ride and algorithm were presented. By the comparisons with other similar research works, the advantages of the approach in terms of applicability, correctness and practicality were illustrated.
分 类 号:TP311.51[自动化与计算机技术—计算机软件与理论]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.143