一种基于OCL的体系结构一致性验证环境

摘要：

在软件体系结构的相关研究中,如何保证软件体系结构的一致性成为了很重要的课题.提出了一种基于OCL的体系结构一致性验证方法,通过建模之前的对体系结构的约束进行定义,建模过程中和建模过程后对体系结构模型的一致性验证,来保证最终的模型符合用户所定义的一致性约束,提高了环境的易用性和可靠性.设计并实现了原型体系结构建模工具Artemis-GODE.

关键词：软件体系结构、一致性验证、OCL

所属期刊栏目：39

分类号：TP311.5(计算技术、计算机技术)

资助基金：国家973计划2009CB320702;科技部核高基项目2009ZX01043-001-06;国家自然科学基金项目60973044

在线出版日期：2013-01-28（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：409-414