Home // International Journal On Advances in Networks and Services, volume 5, numbers 3 and 4, 2012 // View article

A Performability Modeling Framework Considering Service Components Deployment

Authors:
Razib Hayat Khan
Fumio Machida
Poul E. Heegaard
Kishor S. Trivedi

Keywords: UML, SRN, Performability, Deployment, Reusability

Abstract:
The analysis of the system behavior from the pure performance viewpoint tends to be optimistic since it ignores failure and repair behavior of the system components. On the other hand, pure dependability analysis tends to be too conservative since performance considerations are not taken into account. The ideal way is to conduct the modeling of performance and dependability behavior of the distributed system jointly for assessing the anticipated system performance in the presence of system components failure and recovery. However, design and evaluation of the combined model of a distributed system for performance and dependability analysis is burdensome and challenging. Focusing on the above contemplation, we introduce a framework to provide tool based support for performability modeling of a distributed software system that proposes an automated transformation process from the high level Unified Modeling Language (UML) notation to the Stochastic Reward Net (SRN) model and solves the model for early assessment of a software performability parameters. UML provides enhanced architectural modeling capabilities but it is not a formal language and does not convey formal semantics or syntax. We present the precise semantics of UML models by formalizing the concept in the temporal logic compositional temporal logic of actions (cTLA). cTLA describes various forms of actions through an assortment of operators and techniques which fit excellently with UML models applied in this work and also provides the support for incremental model checking. The applicability of our framework is demonstrated in the context of performability modeling of a distributed system to show the deviation in the system performance against the failure of system components.

Pages: 346 to 366

Copyright: Copyright (c) to authors, 2012. Used with permission.

Publication date: December 31, 2012

Published in: journal

ISSN: 1942-2644