摘要： 针对基于构件开发过程中单个构件功能难于满足用户需求的问题，提出一种利用范畴论对构件行为进行组合的方法，用以实现复杂的业务功能。采用范畴论给出构件的形式语义描述，构件与构件之间的行为交互关系采用图表进行建模。给出一种基于图表推出的构件行为组合方法与推出运算的算法实现。实际应用结果表明，该方法对构件的形式化描述更加精确，构件组合也更加有效快捷。
关键词:
范畴论,
图表,
形式化方法,
构件行为,
构件组合,
推出
Abstract: 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.
Key words:
category theory,
diagram,
formal method,
component behavior,
component combination,
pushout
中图分类号:
赵硕, 陈中育, 肖春水. 基于范畴论的构件行为组合研究[J]. 计算机工程, 2012, 38(15): 53-55,58.
DIAO Shuo, CHEN Zhong-Yo, XIAO Chun-Shui. Research on Component Behavior Combination Based on Category Theory[J]. Computer Engineering, 2012, 38(15): 53-55,58.