Home // ICNS 2012, The Eighth International Conference on Networking and Services // View article


From UML to SRN: 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

Abstract:
Conducting the performance modeling of distributed system separately from the dependability modeling fails to asses the anticipated system performance in the presence of system components failure and recovery. System dynamics is affected by any state changes of the system components due to failure and recovery. This introduces the concept of performability that considers the behavioral change of the system components due to failures and also reveals how this behavioral change affects the system performance. But, to design a composite model for distributed system, perfect modeling of the overall system behavior is crucial and sometimes very cumbersome. Additionally evaluation of the required measures by solving the composite model are also intricate and error prone. Bearing this concept in mind, we delineate a performability modeling framework for a distributed system that proposes an automated transformation process from high level UML notation to SRN model and solves the model to generate various numerical results. To capture system dynamics through our proposed framework, we outline a specification style that focuses on UML collaboration and activity as reusable specification building blocks, while deployment diagram identifies the physical components of the system and the assignment of software artifacts to the identified system components. Optimal deployment mapping of software artifacts on the available physical resources of the system is investigated by deriving the cost function. State machine diagram is utilized to capture state changes of system components such as failure and recovery. Later on, model composition is achieved by assigning guard function.

Pages: 118 to 127

Copyright: Copyright (c) IARIA, 2012

Publication date: March 25, 2012

Published in: conference

ISSN: 2308-4006

ISBN: 978-1-61208-186-1

Location: St. Maarten, The Netherlands Antilles

Dates: from March 25, 2012 to March 30, 2012