Welcome to the InfoSci Platform
Utilizing UML, cTLA, and SRN: An Application to Distributed System Performance Modeling

Utilizing UML, cTLA, and SRN: An Application to Distributed System Performance Modeling

Razib Hayat Khan
Copyright: © 2015 |Pages: 28
ISBN13: 9781466684935|ISBN10: 1466684933|EISBN13: 9781466684942
DOI: 10.4018/978-1-4666-8493-5.ch002
Cite Chapter Cite Chapter

MLA

Khan, Razib Hayat. "Utilizing UML, cTLA, and SRN: An Application to Distributed System Performance Modeling." Intelligent Applications for Heterogeneous System Modeling and Design, edited by Kandarpa Kumar Sarma, et al., IGI Global, 2015, pp. 23-50. https://doi.org/10.4018/978-1-4666-8493-5.ch002

APA

Khan, R. H. (2015). Utilizing UML, cTLA, and SRN: An Application to Distributed System Performance Modeling. In K. Sarma, M. Sarma, & M. Sarma (Eds.), Intelligent Applications for Heterogeneous System Modeling and Design (pp. 23-50). IGI Global. https://doi.org/10.4018/978-1-4666-8493-5.ch002

Chicago

Khan, Razib Hayat. "Utilizing UML, cTLA, and SRN: An Application to Distributed System Performance Modeling." In Intelligent Applications for Heterogeneous System Modeling and Design, edited by Kandarpa Kumar Sarma, Manash Pratim Sarma, and Mousmita Sarma, 23-50. Hershey, PA: IGI Global, 2015. https://doi.org/10.4018/978-1-4666-8493-5.ch002

Export Reference

Mendeley
Favorite

Abstract

To meet the challenge of conducting quantitative analysis at the early stage of the system development process, this chapter introduces an extensive framework for performance modeling of a distributed system. The goal of the performance modeling framework is the assessment of the non-functional properties of the distributed system at an early stage based on the system's functional description and deployment mapping of service components over an execution environment. System's functional description with deployment mapping has been specified using UML. To analyze the correctness of the UML specification style, we have used temporal logic, specifically cTLA, to formalize the UML model. We have shown in detail how UML models are formalized by a set of cTLA processes and production rules. To conduct the performance evaluation of a distributed system, the UML model is transformed into analytic model SRN. We have specified an automated model transformation process to generate SRN model from UML, which is performed in an efficient and scalable way by the use of model transformation rules.

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.