面向方面软件模型的形式化研究
来源期刊：昆明理工大学学报(自然科学版)2008年第5期
论文作者：陈星 汪海涛 洪昆
文章页码：45 - 48
关键词：方面;形式模型;软件工程;
摘 要：面向方面的软件开发方法中使用了含有方面的对象模型.经典的面向对象形式化方法没有提供方面的概念.提出一种以范畴语言为基础的形式化方法,可以一并给出对象和方面的形式模型,并指出了此模型与范畴Set的关系.
陈星1，汪海涛1，洪昆2
1. 昆明理工大学计算机技术应用重点实验室2. 昆明市科技情报研究所
摘 要：面向方面的软件开发方法中使用了含有方面的对象模型.经典的面向对象形式化方法没有提供方面的概念.提出一种以范畴语言为基础的形式化方法,可以一并给出对象和方面的形式模型,并指出了此模型与范畴Set的关系.
关键词：方面;形式模型;软件工程;
