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

摘要：

针对基于构件开发过程中单个构件功能难于满足用户需求的问题,提出一种利用范畴论对构件行为进行组合的方法,用以实现复杂的业务功能.采用范畴论给出构件的形式语义描述,构件与构件之间的行为交互关系采用图表进行建模.给出一种基于图表推出的构件行为组合方法与推出运算的算法实现.实际应用结果表明,该方法对构件的形式化描述更加精确,构件组合也更加有效快捷.

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

所属期刊栏目：38

分类号：TP311(计算技术、计算机技术)

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

在线出版日期：2012-11-16（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：53-55,58