UML类图中面向非功能属性的描述和检验 |
| |
引用本文: | 张岩,梅宏.UML类图中面向非功能属性的描述和检验[J].软件学报,2009,20(6):1457-1469. |
| |
作者姓名: | 张岩 梅宏 |
| |
作者单位: | 北京大学,信息科学技术学院软件研究所,北京,100871;高可信软件技术教育部重点实验室(北京大学),北京,100871 |
| |
基金项目: | Supported by the National Natural Science Foundation of China under Grant No.60773152 (国家自然科学基金); the National High-Tech Research and Development Plan of China under Grant No.2007AA01Z127 (国家高技术研究发展计划(863)); the National Basic Research Program of China under Grant No.2005CB321805 (国家重点基础研究发展计划(973)); the National Key Technology R&D Program of China under Grant No.2006BAH02A02 (国家科技支撑计划); the China Postdoctoral Science Foundation under Grant No.20070420006 (中国博士后科学基金) |
| |
摘 要: | 为系统构建模型是软件开发中的一项关键活动.一个高质量的模型不仅要包含系统的功能属性,即系统能够做什么,同时还应包含系统的非功能属性,即系统的质量如何.目前,通用的建模方法和工具对功能属性建模支持良好,而对如何为非功能属性建模关注得不多,特别是如何将二者统一起来并对描述的非功能属性的有关性质进行检验.通过在UML类图中增加非功能属性标注和约束关系表等建模元素来扩展UML类图,使其能够描述非功能属性.在此基础上,又提供了对扩展UML类图中非功能属性的一致性和可满足性进行检验的方法.通过实例对上述的面向非功能属
|
关 键 词: | 非功能属性 统一建模语言 类图 模型检验 |
收稿时间: | 2008/1/31 0:00:00 |
修稿时间: | 2008/8/11 0:00:00 |
本文献已被 CNKI 维普 万方数据 等数据库收录! |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
|