A formal approach using PEPA to performance analysis of service-oriented architecture style specified through graph transformation system

چکیده مقاله

 By spread of distributed, extensive and 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 present architectural 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 transformation system. 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 states utilization of each component has been analyzed and their related charts have been represented. 

دریافت لینک دانلود مقاله