Affiliation:
1. Universitat de les Illes Balears, Spain
2. Performance Engineering Services, USA
Abstract
Model-Driven Performance Engineering (MDPE) uses performance model interchange formats among multiple formalisms and tools to automate performance analysis. Model-to-Model (M2M) transformations convert system specifications into performance specifications and performance specifications to multiple performance model formalisms. Since a single tool is not good for everything, tools for different formalisms provide multiple solutions for evaluation and comparison. This chapter demonstrates transformations from the Performance Model Interchange Format (PMIF) into multiple formalisms: Queueing Network models solved with Java Modeling Tools (JMT), QNAP, and SPE·ED, and Petri Nets solved with PIPE2.
Reference29 articles.
1. Balsamo, S., & Marin, A. (2008). From BCMP queueing networks to generalized stochastic petri nets: An algorithm and an equivalence definition. In Proceedings of the European Simulation and Modeling Conference, (pp. 447–455). Academic Press.
2. Balsamo, S., & Marzolla, M. (2005). Performance evaluation of UML software architectures with multiclass queueing network models. In Proceedings of the Fifth International Workshop of Software and Performance, (pp. 37-42). Academic Press.
3. Barbierato, E., Gribaudo, M., & Iacono, M. (2011). Exploiting multiformalism models for testing and performance evaluation in SIMTHESys. In Proceedings of the Fifth International Conference on Performance Evaluation Methodologies and Tools (Valuetools), (pp. 121-130). Valuetools.
4. Bernardo, M., Cortellessa, V., & Flamminj, M. (2011). TwoEagles: A model transformation tool from architectural descriptions to queueing networks. In Proceedings of Computer Performance Engineering, European Performance Engineering Workshop (EPEW), (pp. 265-279). EPEW.