%0 Journal Article
%T 一种基于ocl的体系结构一致性验证环境
%A 曹流
%A 曹春？
%J 计算机科学
%D 2012
%X 在软件体系结构的相关研究中，如何保证软件体系结构的一致性成为了很重要的课题。提出了一种基于ocl的体系结构一致性验证方法，通过建模之前的对体系结构的约束进行定义，建模过程中和建模过程后对体系结构模型的一致性验证，来保证最终的模型符合用户所定义的一致性约束，提高了环境的易用性和可靠性。设计并实现了原型体系结构建模工具artemis-gode。
%K 软件体系结构
%K 一致性验证
%K ocl
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=12011109&flag=1