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

《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摘要：为系统构建模型是软件开发中的一项关键活动．一个高质量的模型不仅要包含系统的功能属性，即系统能够做什么，同时还应包含系统的非功能属性，即系统的质量如何．目前，通