UML类图中面向非功能属性的描述和检验

• 作者: 张岩 梅宏
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 非功能属性 统一建模语言 类图 模型检验
• 年，卷（期）: 2009,（6）
• 所属期刊栏目: 系统软件与软件工程
• 页码范围: 1457-1469
• 页数: 13页
• 分类号: TP311
• 字数: 13182字
• 语种: 中文
• DOI: 10.3724/SP.J.1001.2009.03455

摘要

为系统构建模型是软件开发中的一项能够做什么,同时还应包含系统的非功能属性,即系统的质量如何.目前,通用的建模方法和工具对功能属性建模支持良好,而对如何为非功能属性建模关注得不多,特别是如何将二者统一起来并对描述的非功能属性的有关性质进行检验.通过在UML类图中增加非功能属性标注和约束关系表等建模元素来扩展UML类图,使其能够描述非功能属性.在此基础上,又提供了对扩展UML类图中非功能属性的一致性和可满足性进行检验的方法.通过实例对上述的面向非功能属性的建模和检验方法进行了说明,并介绍了相应的支持工具.