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

• 作者: 曹春 曹流
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 软件体系结构 一致性验证 OCL
• 年，卷（期）: 2012,（z3）
• 所属期刊栏目: 数字信息处理
• 页码范围: 409-414
• 页数: 6页
• 分类号: TP311.5
• 字数: 7785字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	曹春	南京大学计算机软件研究所	21	372	8.0	19.0
2	曹流	南京大学计算机软件新技术国家重点实验室	1	5	1.0	1.0