Volume 10 Number 5 (May 2015)
Home > Archive > 2015 > Volume 10 Number 5 (May 2015) >
JSW 2015 Vol.10(5): 499-523 ISSN: 1796-217X
doi: 10.17706/jsw.10.5.499-523

Software Performance Evaluation Utilizing UML Specification and SRN Model and Their Formal Representation

Razib Hayat Khan*, Poul E. Heegaard
Norwegian University of Science & Technology (NTNU), Trondheim, Norway.

Abstract—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.

Index Terms—Performance, reusability, service deployment, UML, SRN.


Cite: Razib Hayat Khan, Poul E. Heegaard, "Software Performance Evaluation Utilizing UML Specification and SRN Model and Their Formal Representation," Journal of Software vol. 10, no. 5, pp. 499-523, 2015.

General Information

ISSN: 1796-217X (Online)
Frequency: Monthly (2006-2019); Bimonthly (Since 2020)
Editor-in-Chief: Prof. Antanas Verikas
Executive Editor: Ms. Yoyo Y. Zhou
Abstracting/ Indexing: DBLP, EBSCO, Google Scholar, ProQuest, INSPEC, ULRICH's Periodicals Directory, WorldCat, etc
E-mail: jsw@iap.org
  • Dec 06, 2019 News!

    Vol 14, No 1- Vol 14, No 4 has been indexed by EI (Inspec)   [Click]

  • Jun 22, 2020 News!

    Papers published in JSW Vol 14, No 1- Vol 15 No 4 have been indexed by DBLP     [Click]

  • Jun 22, 2020 News!

    The papers published in Vol 15, No 5 have all received dois from Crossref    [Click]

  • Aug 01, 2018 News!

    [CFP] 2020 the annual meeting of JSW Editorial Board, ICCSM 2020, will be held in Rome, Italy, July 17-19, 2020   [Click]

  • Jun 22, 2020 News!

    Vol 15, No 5 has been published with online version     [Click]