Clavel, M., Durán, F., Eker, S., Lincoln, P., Mart-Oliet, N., Meseguer, J. and Talcott, C. (2007) All About Maude—A High-Performance Logical Framework: How to Specify, Program and Verify Systems in Rewriting Logic. Springer-Verlag, Berlin.

has been cited by the following article:

• TITLE: On Utilizing Model Transformation for the Performance Analysis of Queueing Networks

  AUTHORS: Issam Al-Azzoni

  KEYWORDS: Model Transformation, Queueing Networks, Queueing Petri Nets, ATL

  JOURNAL NAME: Journal of Software Engineering and Applications, Vol.11 No.9, September 28, 2018

  ABSTRACT: In this paper, we present an approach for model transformation from Queueing Network Models (QNMs) into Queueing Petri Nets (QPNs). The performance of QPNs can be analyzed using a powerful simulation engine, SimQPN, designed to exploit the knowledge and behavior of QPNs to improve the efficiency of simulation. When QNMs are transformed into QPNs, their performance can be analyzed efficiently using SimQPN. To validate our approach, we apply it to analyze the performance of several queueing network models including a model of a database system. The evaluation results show that the performance analysis of the transformed QNMs has high accuracy and low overhead. In this context, model transformation enables the performance analysis of queueing networks using different ways that can be more efficient.