A Formal Approach Using PEPA to Performance Analysis of ServiceorientedArchitecture Style Specified Through Graph Transformation System

By spread of distributed extensive, concurrent software systems, and the necessity of possessing an efficiently acceptable software, it is required that performance evaluation be ensued during the preliminary processes of software development prior to implementation. Modifying the software following the implementation, with the purpose of increasing efficiency would be both cost-effective and time-consuming. Among the presentarchitectural styles, service-oriented style is the best alternative to cope with extensiveness and distributedness due to its highest level of abstractiveness. Graph transformation system (GTS) is a formal, intelligible and dynamic language for architectural modeling. In this study, we have presented a method implying PEPA language for performance evaluation of service-oriented architectural style which has been modeled by graph transformationsystem. To assess performance evaluation through PEPA there is a need for identifying systems behavior and structure, which have been extracted from the graphs; this means that the architectural model specified by graph transformation systems has been transformed to PEPA performance model which is a formal modeling performance language based on process algebra. Finally action throughput of software systems and state of utilization ofeach component and also capacity utilization of each component has been analyzed and heir related charts have been represented

کلیدواژه ها:

service-oriented architectural style ، graph transformation system ، PEPA ، performance evaluation ، software architecture