| 基于范畴论的构件行为组合研究 |
| |
| 引用本文： | 赵硕,陈中育,肖春水. 基于范畴论的构件行为组合研究[J]. 计算机工程, 2012, 38(15): 53-55,58 |
| |
| 作者姓名： | 赵硕 陈中育 肖春水 |
| |
| 作者单位： | 浙江师范大学数理与信息工程学院,浙江金华,321004 |
| |
| 基金项目： | 浙江省科技计划基金资助重点项目，浙江省自然科学基金资助项目 |
| |
| 摘 要： | 针对基于构件开发过程中单个构件功能难于满足用户需求的问题，提出一种利用范畴论对构件行为进行组合的方法，用以实现复杂的业务功能。采用范畴论给出构件的形式语义描述，构件与构件之间的行为交互关系采用图表进行建模。给出一种基于图表推出的构件行为组合方法与推出运算的算法实现。实际应用结果表明，该方法对构件的形式化描述更加精确，构件组合也更加有效快捷。
|
| 关 键 词： | 范畴论 图表 形式化方法 构件行为 构件组合 推出 |
| 收稿时间： | 2011-10-08 |
Research on Component Behavior Combination Based on Category Theory |
| |
| ZHAO Shuo , CHEN Zhong-yu , XIAO Chun-shui. Research on Component Behavior Combination Based on Category Theory[J]. Computer Engineering, 2012, 38(15): 53-55,58 |
| |
| Authors: | ZHAO Shuo CHEN Zhong-yu XIAO Chun-shui |
| |
| Affiliation: | (College of Mathematics Physics and Information Engineering,Zhejiang Normal University,Jinhua 321004,China) |
| |
| Abstract: | |
| |
| Keywords: | category theory diagram formal method component behavior component combination pushout |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程》浏览原始摘要信息 |
|
点击此处可从《计算机工程》下载免费的PDF全文 |
