文章基本信息

标题：Software Performance Evaluation Utilizing UML Specification and SRN Model and Their Formal Representation
其他标题：Software Performance Evaluation Utilizing UML Specification and SRN Model and Their Formal Representation
本地全文：下载
作者：Razib Hayat Khan ; Poul E. Heegaard
期刊名称：Journal of Software
印刷版ISSN：1796-217X
出版年度：2015
卷号：10
期号：5
页码：499-523
DOI：10.17706/jsw.10.5.499-523
出版社：Academy Publisher
摘要：Performance assessment should be included in the software development process to ensure the quality of the software in operation. Hence, this paper introduces a performance modeling framework for a distributed software system that proposes a transformation process from a high level Unified Modeling Language (UML) notation to a Stochastic Reward Net (SRN) model. The model is solved for relevant performance metrics. In order to capture the system dynamics through our modeling framework, we outline a specification style that focuses on the UML collaboration and activity as reusable specification building blocks, while UML deployment diagram identifies the physical components of the system and the assignment of software artifacts to the identified system components. Efficient deployment mapping of software components on the available physical resources of the system is investigated by deriving the cost function. The UML specification presented in this work facilitates to delineate the complete behavior of the system components according to the functionalities they offer and has been utilized as input for model transformation. The paper describes the mapping rules for defining the transformation process from the UML model to the SRN model. In addition, the tool support of the framework is introduced that ensures automatic translation from UML to SRN model and evaluation of the SRN model. The applicability of our framework is demonstrated in the context of performance modeling of distributed systems.
其他关键词：Performance, reusability, service deployment, UML, SRN.