欢迎来到天天文库
浏览记录
ID:37240931
大小:1000.81 KB
页数:15页
时间:2019-05-20
《UML类图中面向非功能属性的描述和检验》由会员上传分享,免费在线阅读,更多相关内容在行业资料-天天文库。
1、万方数据ISSN1000—9825,CODENRUXUEWJournalofSoftware,V01.20,No.6,June2009,PP.1457—1469doi:10.3724/SP.J.1001.2009.03455obyInstituteo/Software.theChineseAcademyofSciences.Allrightsreserved.UML类图中面向非功能属性的描述和检验事张岩1口,梅宏1’21(北京大学信息科学技术学院软件研究所。北京100871)2(高可信软件技术教育部重点实验室(北京大学),
2、北京100871)E—mail:jOS@iscas.∽.∞http://www.jos.org.cnTel/Fax:+86.10-62562563Non—FunctionalAttributesOrientedDescriptionandVerificationinUMLClassDiagramsZHANGYahl≯.MEIHon91,21(InstituteofSoftware。SchoolofElectronicsEngineeringandComputerScience,PekingUniversity,Berin9
3、100871。China)2(KeylaboratoryofHighConfidenceSoftwareTechnologies(PekingUniversity),MinistryofEducation,Beijing100871,China)+Correspondingauthor:E—mail:zlmngyan@sei.pku.edu.锄ZhangY,MeiH.Non-FunctionalattributesorienteddescriptionandverificationinUMLclassdiagrams.Jo
4、urnalofSoftware,2009,20(6):1457—1469.http://www.jos.org.cn/1000·9825/3455.htmAbstract:Modelingforasystemisaveryimportantactivityinsoftwaredevelopment.Amodelwithhighqualityshouldnotonlyincludethedescriptionoffunctionalattributesofthesystem,i.e.,whatthesystemcalldo,
5、butalsothedescriptionofnon-functionalattributes,i.e.,whatisthequalityofthesystem.Althoughthedefactomodelingapproachesandtoolsadequatelysupportmodelingforthefunctionalattributes,theyneglectmodelingforthenon—functionalattributes,especially,onhowtointegratethedescrip
6、tionofthefunctionalandnon—functionalattributesinonemodelandprovidemethodstoverifysomepropertiesaboutthenon—functionalattributes.Inthepaper,UMLClassDiagramisextendedtodescribethenon-functionalattributesbyaddingthemodelelements,i.e.,t11enon—functionalattributesnotat
7、ionandtheconstraintstable.AnapproachiSgiventoverifytheconsistencyandsatisfiabilityofthenon—functionalattributesintheextendedUMLClassDiagram.Anexampleisusedtodemonstrateourproposalandatoolthatsupportsthedescriptionandverificationofnon—functionalattributesinUMLiSin仃
8、oduced.Keywords:non-fimetionalattribute;UML;classdiagram;modelchecking摘要:为系统构建模型是软件开发中的一项关键活动.一个高质量的模型不仅要包含系统的功能属性,即系统能够做什么,同时还应包含系统的非功能属性,即系统的质量如何.目前,通
此文档下载收益归作者所有