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

• 作者: 肖春水 赵硕 陈中育
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 范畴论 图表 形式化方法 构件行为 构件组合 推出
• 年，卷（期）: 2012,（15）
• 所属期刊栏目: 软件技术与数据库
• 页码范围: 53-55,58
• 分类号: TP311
• 字数: 4364字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2012.15.015

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈中育	浙江师范大学数理与信息工程学院	44	211	7.0	13.0
2	肖春水	浙江师范大学数理与信息工程学院	8	24	3.0	4.0
3	赵硕	浙江师范大学数理与信息工程学院	1	5	1.0	1.0