###
DOI:
Journal of Software:2009.20(6):1457-1469

UML类图中面向非功能属性的描述和检验
张岩,梅宏
(北京大学 信息科学技术学院软件研究所,北京 100871;高可信软件技术教育部重点实验室(北京大学),北京 100871)
Non-Functional Attributes Oriented Description and Verification in UML Class Diagrams
ZHANG Yan,MEI Hong
()
Abstract
Chart / table
Reference
Similar Articles
Article :Browse 3356   Download 4323
Received:January 31, 2008    Revised:August 11, 2008
> 中文摘要: 为系统构建模型是软件开发中的一项关键活动.一个高质量的模型不仅要包含系统的功能属性,即系统能够做什么,同时还应包含系统的非功能属性,即系统的质量如何.目前,通用的建模方法和工具对功能属性建模支持良好,而对如何为非功能属性建模关注得不多,特别是如何将二者统一起来并对描述的非功能属性的有关性质进行检验.通过在UML类图中增加非功能属性标注和约束关系表等建模元素来扩展UML类图,使其能够描述非功能属性.在此基础上,又提供了对扩展UML类图中非功能属性的一致性和可满足性进行检验的方法.通过实例对上述的面向非功能属
Abstract:Modeling for a system is a very important activity in software development. A model with high quality should not only include the description of functional attributes of the system, i.e., what the system can do, but also the description of non-functional attributes, i.e., what is the quality of the system. Although the de facto modeling approaches and tools adequately support modeling for the functional attributes, they neglect modeling for the non-functional attributes, especially, on how to integrate the description of the functional and non-functional attributes in one model and provide methods to verify some properties about the non-functional attributes. In the paper, UML Class Diagram is extended to describe the non-functional attributes by adding the model elements, i.e., the non-functional attributes notation and the constraints table. An approach is given to verify the consistency and satisfiability of the non-functional attributes in the extended UML Class Diagram. An example is used to demonstrate our proposal and a tool that supports the description and verification of non-functional attributes in UML is introduced.
文章编号:     中图分类号:    文献标志码:
基金项目: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 (中国博士后科学基金) 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 (中国博士后科学基金)
Foundation items:
Reference text:

张岩,梅宏.UML类图中面向非功能属性的描述和检验.软件学报,2009,20(6):1457-1469

ZHANG Yan,MEI Hong.Non-Functional Attributes Oriented Description and Verification in UML Class Diagrams.Journal of Software,2009,20(6):1457-1469