Abstract
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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Aldini, A., Bernardo, M., Corradini, F.: A Process Algebraic Approach to Software Architecture Design. Springer, Heidelberg (2010)
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)
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)
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)
Bernardo, M.: TwoTowers 5.1 User Manual (2006), http://www.sti.uniurb.it/bernardo/twotowers/
Cavada, R., Cimatti, A., Olivetti, E., Pistore, M., Roveri, M.: NuSMV 2.1 User Manual (2002)
Harrison, P.G.: Compositional Reversed Markov Processes, with Applications to G-Networks. Performance Evaluation 57, 379–408 (2004)
Hillston, J., Thomas, N.: Product Form Solution for a Class of PEPA Models. Performance Evaluation 35, 171–192 (1999)
Jouault, F., Allilaire, F., Bezivin, J., Kurtev, I.: ATL: A Model Transformation Tool. Science of Computer Programming 72, 31–39 (2008)
Kleinrock, L.: Queueing Systems. John Wiley & Sons, Chichester (1975)
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)
OMG, Query/View/Transformation, formal/08-04-03
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)
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)
Zallocco, S.: Web service for Analyzing queueing networks with multiple solvers (2006), http://sealabtools.di.univaq.it/Weasel/
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bernardo, M., Cortellessa, V., Flamminj, M. (2011). TwoEagles: A Model Transformation Tool from Architectural Descriptions to Queueing Networks. In: Thomas, N. (eds) Computer Performance Engineering. EPEW 2011. Lecture Notes in Computer Science, vol 6977. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-24749-1_20
Download citation
DOI: https://doi.org/10.1007/978-3-642-24749-1_20
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-24748-4
Online ISBN: 978-3-642-24749-1
eBook Packages: Computer ScienceComputer Science (R0)