摘要
采用范畴论,把工作流过程模型中的元素抽象为工作流构件,模型中的逻辑次序抽象为构件之间的态射关系,提出一种基于构件的工作流范畴模型。利用范畴推出运算,给出工作流构件的组合操作语义,并用实例进行分析。
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.
出处
《计算机与现代化》
2013年第3期106-109,共4页
Computer and Modernization
基金
国家自然科学基金资助项目(61272007)
浙江省自然科学基金资助项目(LY12F02009)
关键词
范畴论
工作流构件
工作流建模
构件组合操作
category theory
workflow component
workflow modeling
component combination operation
