【摘要】 在Internet动态、开放、异构、多变的环境下,组合式软件不仅要满足功能正确,非功能(时间、代价、概率等)属性的满足也日益成为一个重要的问题。在组合式软件的设计阶段,建立组合式软件功能和非功能的统一模型并验证其功能正确性和非功能满足性,是确保组合式软件可信性的重要手段。在UML序列图的基础上进行时间、代价、概率属性的扩展,提出了一种可对组合式软件的交互行为及其时间、代价、概率属性统一建模的属性序列图,该属性序列图以两层模式进行建模,其中基本属性序列图可对涉及时间、代价属性的具体交互场景建模,高层属性序列图通过概率合成基本属性序列图可形成全局场景。给出了针对BPEL4WS的建模实例以说明所提建模方法的有效性。更多还原

【Abstract】 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.更多还原