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

Validation Environment of Software Architecture Based on OCL

作　　者：曹流[1] 曹春[2] 

机构地区：[1]南京大学计算机软件新技术国家重点实验室,南京210093 [2]南京大学计算机软件研究所,南京210093

出　　处：《计算机科学》2012年第S3期409-414,共6页Computer Science

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

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

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

分 类 号：TP3[自动化与计算机技术—计算机科学与技术]