共代数方法及其在形式化描述和验证软件体系结构中的应用-东篱科研大数据发现系统（DRDS）

位置：立项数据库 > 立项详情页

共代数方法及其在形式化描述和验证软件体系结构中的应用

项目名称：共代数方法及其在形式化描述和验证软件体系结构中的应用
项目类别：青年科学基金项目
批准号：60403013
申请代码：F020201
项目来源：国家自然科学基金
研究期限：2005-01-01-2005-12-01

项目负责人：周晓聪
负责人职称：副教授
依托单位：中山大学
批准年度：2004

中文摘要：

对代数方法与共代数方法的基本概念、代数与共代数范畴的性质、初始代数与终结共代数、双模拟与行为等价、共代数规范以及共代数逻辑进行了比较全面和深入的研究。特别地，从共关系理论角度探讨了共代数行为等价的描述，研究了共代数上的共关系的基本性质，以及共同余共关系与子共代数之间的一一对应。基于共代数上的共关系理论，提出了共生成子共代数的一种构造方法。为将共代数方法用于软件体系结构描述，还就与特定领域软件体系结构研究的有关问题，如数据仓库系统的视图维护等进行了研究。发表论文2篇，还有4篇论文被《软件学报》、《计算机研究与发展》等国内核心刊物录用，并在国际学术会议上口头报告论文1篇。

中文主题词：共代数规范；共代数逻辑；范畴理论；软件体系结构

结论摘要：

英文主题词Coalgebraic specification;Coalgebraic logic;Category theory;Software architecture

成果综合统计