面向组合式软件功能正确性和非功能满足性的统一建模方法  

Unified Modeling Method of Functional and Non-functional Aspects for Composite Software

作　　者：肖芳雄[1] 许波[1] 夏国恩[2] 李国祥[2] 闵华清[1] 

机构地区：[1]华南理工大学软件学院,广州510006 [2]广西财经学院信息与统计学院,南宁530003

出　　处：《计算机科学》2015年第12期162-166,共5页Computer Science

基　　金：国家自然科学基金(61262002);中国博士后科学基金(2014M562177);广西自然科学基金(2014GXNSFAA118378);广西高等学校科学技术研究项目(2013ZD060);广西高等学校优秀中青年骨干教师培养工程;广西高等学校高水平创新团队及卓越学者计划;广西财经学院数量经济学自治区级重点实验室资助

摘　　要：在Internet动态、开放、异构、多变的环境下,组合式软件不仅要满足功能正确,非功能(时间、代价、概率等)属性的满足也日益成为一个重要的问题。在组合式软件的设计阶段,建立组合式软件功能和非功能的统一模型并验证其功能正确性和非功能满足性,是确保组合式软件可信性的重要手段。在UML序列图的基础上进行时间、代价、概率属性的扩展,提出了一种可对组合式软件的交互行为及其时间、代价、概率属性统一建模的属性序列图,该属性序列图以两层模式进行建模,其中基本属性序列图可对涉及时间、代价属性的具体交互场景建模,高层属性序列图通过概率合成基本属性序列图可形成全局场景。给出了针对BPEL4WS的建模实例以说明所提建模方法的有效性。Non-functional aspects such as time, cost and probability, are becoming more and more important for composite software in the dynamic, open, heterogeneous and changeable environment of Internet. Constructing unite functional and non-functional models of composite software in design phase and verifying functional and non-functional aspects based on the models,are effective to assure dependability for the kind of software. In this paper, a novel property sequence diagram （PSD） was proposed by extending traditional UML sequence diagram with abstract time, cost and probability. PSD has two levels. The low level of PSD is extended with time and cost, and is used to model basic and detail interact scenarios of composite software. While the high level is extended with probability, and is used to construct full scenario by synthesizing the low levels. An example was illustrated to show the effectiveness of purposed methods.

关 键 词：组合式软件 功能正确性 非功能满足性 统一建模 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]