基于层次状态机的方面化特征模块的增量式验证

方面化特征模块(AFM)是最新提出的软件产品线(SPL)编程范式,能解决现有SPL编程范式存在的问题,但由于AFM范式同时存在模块的并发组合和顺序组合,现有的组合验证技术和模块化模型检验技术并不适用于AFM程序的验证,且目前还未见到针对AFM的验证方法,这制约了AFM范式的应用.文中首次为AFM范式建立了形式化模型,并基于此模型提出一种AFM程序的增量式的验证方法.该方法可以从一个小规模的AFM程序的验证开始,以后每次只添加对新组合的AFM模块的验证,因此可避免直接验证大型AFM程序时可能由于模型的规模太大而无法验证的问题.

用方面化特征模块开发OpenRISC1200软核

对OpenCores上的OpenRISC1200项目(简称OR1200)的统计发现,条件编译指令的使用高达714次,嵌入在条件编译指令间的代码占代码总量的61.60%。条件编译在硬件开发中被大量使用,但在软件开发时却并不提倡。因此,本文提出用方面化特征模块(AFM)开发硬件系统,以避免条件编译指令的使用。作为案例,本文给出用AFM重新开发OR1200项目的过程,它使得OR1200各features的开发从同时开发变为顺序开发,使得服务于各feature的代码从纠缠在一起变为相互独立,有利于OR1200的维护和调试。最后,基于OR1200的开发过程,本文建立了一套AFM开发方法下的硬件系统的形式化模型,它是进一步的形式化验证工作的基础。

面向方面的开放网格服务架构研究

针对开放网格服务体系架构(OGSA)中存在的多约束性问题,提出了一种面向方面的开放网格服务架构(AO-OGSA)。AO-OGSA通过方面模块构建网格公共需求,实现了网格应用软件中横切关注点和核心关注点的分离,以此来降低模块间的耦合度。最后,以光子网格中服务封装和资源调度实现为例,分别基于OGSA和AO-OGSA构建仿真模块,并根据软件系统性能指标对仿真结果进行了对比分析。