Welcome to the InfoSci Platform
Performability Modeling of Distributed Systems and Its Formal Methods Representation

Performability Modeling of Distributed Systems and Its Formal Methods Representation

Razib Hayat Khan
Copyright: © 2021 |Pages: 24
ISBN13: 9781799853398|ISBN10: 179985339X|EISBN13: 9781799853404
DOI: 10.4018/978-1-7998-5339-8.ch033
Cite Chapter Cite Chapter

MLA

Khan, Razib Hayat. "Performability Modeling of Distributed Systems and Its Formal Methods Representation." Research Anthology on Architectures, Frameworks, and Integration Strategies for Distributed and Cloud Computing, edited by Information Resources Management Association, IGI Global, 2021, pp. 704-727. https://doi.org/10.4018/978-1-7998-5339-8.ch033

APA

Khan, R. H. (2021). Performability Modeling of Distributed Systems and Its Formal Methods Representation. In I. Management Association (Ed.), Research Anthology on Architectures, Frameworks, and Integration Strategies for Distributed and Cloud Computing (pp. 704-727). IGI Global. https://doi.org/10.4018/978-1-7998-5339-8.ch033

Chicago

Khan, Razib Hayat. "Performability Modeling of Distributed Systems and Its Formal Methods Representation." In Research Anthology on Architectures, Frameworks, and Integration Strategies for Distributed and Cloud Computing, edited by Information Resources Management Association, 704-727. Hershey, PA: IGI Global, 2021. https://doi.org/10.4018/978-1-7998-5339-8.ch033

Export Reference

Mendeley
Favorite

Abstract

A distributed system is a complex system. Developing complex systems is a demanding task when attempting to achieve functional and non-functional properties such as synchronization, communication, fault tolerance. These properties impose immense complexities on the design, development, and implementation of the system that incur massive effort and cost. Therefore, it is vital to ensure that the system must satisfy the functional and non-functional properties. Once a distributed system is developed, it is very difficult and demanding to conduct any modification in its architecture. As a result, the quantitative analysis of a complex distributed system at the early stage of the development process is always an essential and intricate endeavor. To meet the above challenge, this chapter introduces an extensive framework for performability evaluation of a distributed system. The goal of the performability modeling framework is to consider the behavioral change of the system components due to failures. This reveals how such behavioral changes affect the system performance.

Request Access

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.