基于范畴论的构件行为组合研究  

Research on Component Behavior Combination Based on Category Theory

作　　者：赵硕[1] 陈中育[1] 肖春水[1] 

机构地区：[1]浙江师范大学数理与信息工程学院,浙江金华321004

出　　处：《计算机工程》2012年第15期53-55,58,共4页Computer Engineering

基　　金：浙江省科技计划基金资助重点项目(2007C23087);浙江省自然科学基金资助项目(LY12F02009)

摘　　要：针对基于构件开发过程中单个构件功能难于满足用户需求的问题,提出一种利用范畴论对构件行为进行组合的方法,用以实现复杂的业务功能。采用范畴论给出构件的形式语义描述,构件与构件之间的行为交互关系采用图表进行建模。给出一种基于图表推出的构件行为组合方法与推出运算的算法实现。实际应用结果表明,该方法对构件的形式化描述更加精确,构件组合也更加有效快捷。Aiming at the problem that individual component can not completely meet users requirements in Component based Software Development（CBSD）,a component combination method is presented.Based on category theory,this paper presents a method to formal description components.Using the graphical characteristics supported in category theory,it models the components and interactions between components behavior.A combination method of component behavior based on graphic pushout is given and presented.Example application result shows that the method of components formal description is more accurate,more effective and efficient components combination.

关 键 词：范畴论 图表 形式化方法 构件行为 构件组合 推出 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]