检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]浙江师范大学数理与信息工程学院,浙江金华321004
出 处:《计算机与现代化》2013年第3期106-109,共4页Computer and Modernization
基 金:国家自然科学基金资助项目(61272007);浙江省自然科学基金资助项目(LY12F02009)
摘 要:采用范畴论,把工作流过程模型中的元素抽象为工作流构件,模型中的逻辑次序抽象为构件之间的态射关系,提出一种基于构件的工作流范畴模型。利用范畴推出运算,给出工作流构件的组合操作语义,并用实例进行分析。With category theory,this paper defines the workflow component which Abstracted from the elements of the process model,and Abstracts the morphism of component with the logical relation of model,then presents a category model of workflow component.Using category pushout operation,the paper broughts out the combination operation of workflow component and presents a example to illustrate.
分 类 号:TP393[自动化与计算机技术—计算机应用技术]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.43