TwoEagles: A Model Transformation Tool from Architectural Descriptions to Queueing Networks

  • Marco Bernardo
  • Vittorio Cortellessa
  • Mirko Flamminj
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6977)


We present the implementation of a methodology for the modeling, analysis, and comparison of software architectures based on their performance characteristics. The implementation is part of a software tool that is called TwoEagles, which extends the architecture-centric tool TwoTowers – based on the stochastic process algebraic description language Æmilia – and integrates it into Eclipse. The extension consists of a Java-coded plugin that we have called AEmilia_to_QN. This plugin transforms Æmilia descriptions into queueing network models expressed in the XML schema PMIF, which can then be rendered via the QN_Editor tool or analyzed by multiple queueing network solvers that can be invoked through the Weasel web service.


Behavioral Pattern Service Process Combination Rule Queueing Network Architectural Description 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Aldini, A., Bernardo, M., Corradini, F.: A Process Algebraic Approach to Software Architecture Design. Springer, Heidelberg (2010)CrossRefzbMATHGoogle Scholar
  2. 2.
    Balsamo, S., Bernardo, M., Simeoni, M.: Performance Evaluation at the Software Architecture Level. In: Bernardo, M., Inverardi, P. (eds.) SFM 2003. LNCS, vol. 2804, pp. 207–258. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  3. 3.
    Balsamo, S., Di Marco, A., Inverardi, P., Simeoni, M.: Model-Based Performance Prediction in Software Development: A Survey. IEEE Trans. on Software Engineering 30, 295–310 (2004)CrossRefGoogle Scholar
  4. 4.
    Baskett, F., Chandy, K.M., Muntz, R.R., Palacios, G.: Open, Closed, and Mixed Networks of Queues with Different Classes of Customers. JACM 22, 248–260 (1975)MathSciNetCrossRefzbMATHGoogle Scholar
  5. 5.
    Bernardo, M.: TwoTowers 5.1 User Manual (2006),
  6. 6.
    Cavada, R., Cimatti, A., Olivetti, E., Pistore, M., Roveri, M.: NuSMV 2.1 User Manual (2002)Google Scholar
  7. 7.
    Harrison, P.G.: Compositional Reversed Markov Processes, with Applications to G-Networks. Performance Evaluation 57, 379–408 (2004)CrossRefGoogle Scholar
  8. 8.
    Hillston, J., Thomas, N.: Product Form Solution for a Class of PEPA Models. Performance Evaluation 35, 171–192 (1999)CrossRefzbMATHGoogle Scholar
  9. 9.
    Jouault, F., Allilaire, F., Bezivin, J., Kurtev, I.: ATL: A Model Transformation Tool. Science of Computer Programming 72, 31–39 (2008)MathSciNetCrossRefzbMATHGoogle Scholar
  10. 10.
    Kleinrock, L.: Queueing Systems. John Wiley & Sons, Chichester (1975)zbMATHGoogle Scholar
  11. 11.
    Lazowska, E.D., Zahorjan, J., Scott Graham, G., Sevcik, K.C.: Quantitative System Performance: Computer System Analysis Using Queueing Network Models. Prentice Hall, Englewood Cliffs (1984)Google Scholar
  12. 12.
    OMG, Query/View/Transformation, formal/08-04-03Google Scholar
  13. 13.
    Smith, C.U., Llado, C.M.: Performance Model Interchange Format (PMIF 2.0): XML Definition. In: Proc. of QEST 2004, pp. 38–47. IEEE-CS Press, Los Alamitos (2004)Google Scholar
  14. 14.
    Thomas, N., Zhao, Y.: Mean Value Analysis for a Class of PEPA Models. In: Bradley, J.T. (ed.) EPEW 2009. LNCS, vol. 5652, pp. 59–72. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  15. 15.
    Zallocco, S.: Web service for Analyzing queueing networks with multiple solvers (2006),

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Marco Bernardo
    • 1
  • Vittorio Cortellessa
    • 2
  • Mirko Flamminj
    • 2
  1. 1.Dipartimento di Scienze di Base e FondamentiUniversità di UrbinoItaly
  2. 2.Dipartimento di InformaticaUniversità dell’AquilaItaly

Personalised recommendations