Performance Model Interchange Format (PMIF 2): A comprehensive approach to queueing network model interoperability

Performance Evaluation

Volumn 67, Issue 7, 2010, Pages 548-568

  Smith, Connie U ^a   Lladó, Catalina M ^b   Puigjaner, Ramon ^b  

^a Performance Engineering Services   (United States)

^b UNIVERSITAT DE LES ILLES BALEARS   (Spain)

Author keywords

Performance modelling; Queueing networks; Tool interoperability

Indexed keywords

INFORMATION REQUIREMENT; META MODEL; MODEL SPECIFICATIONS; PERFORMANCE MODEL INTERCHANGE FORMATS; PERFORMANCE MODELING; PERFORMANCE MODELLING; QUEUEING NETWORK MODEL; SEMANTIC PROPERTIES; SYSTEM MODELS; XML SCHEMAS;

INTERCHANGES; INTEROPERABILITY; MODEL STRUCTURES; QUEUEING THEORY; SEMANTIC WEB; SPECIFICATIONS; WEB SERVICES;

QUEUEING NETWORKS;

EID: 77955303232     PISSN: 01665316     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.peva.2010.01.006     Document Type: Article

References (51)

1. W3C, World wide web consortium, www.w3c.org, 2001.
2. C.U. Smith, L.G. Williams, Panel presentation: A performance model interchange format, in: Proc. of the International Conference on Modeling Techniques and Tools for Computer Performance Evaluation, 1995.
3. C.U. Smith, and L.G. Williams A performance model interchange format Journal of Systems and Software 49 1 1999 63 80
4. C.U. Smith, C.M. Llad, Performance model interchange format (PMIF 2.0): XML definition and implementation, in: Proc. of the First International Conference on the Quantitative Evaluation of Systems, September 2004, pp. 3847.
5. SPE-ED, LS Computer Technology Inc. Performance Engineering Services Division, www.spe-ed.com.
6. D. Potier, and M. Veran Qnap2: A portable environment for queueing systems modelling D. Potier, First International Conference on Modeling Techniques and Tools for Performance Analysis May 1985 North Holland 25 63
7. L.G. Williams, and C.U. Smith Information requirements for software performance engineering H. Beilner, F. Bause, Quantitative Evaluation of Computing and Communication Systems Lecture Notes in Computer Science 1995 Springer-Verlag 86 101
8. C.U. Smith, V. Cortellessa, A. Di Marco, C.M. Llad, L.G. Williams, From uml models to software performance results: An SPE process based on XML interchange formats, in: Proc. of the Fifth International Workshop on Software and Performance, WOSP, July 2005, pp. 8798.
9. C.U. Smith, and L.G. Williams Performance Solutions: A Practical Guide to Creating Responsive, Scalable Software 2002 Addison-Wesley
10. G.A. Moreno, C.U. Smith, Performance analysis of real-time component architectures: An enhanced model interchange approach, Performance Evaluation (2010), in press (doi:10.1016/j.peva.2009.07.008 ).
11. S. Kent Model driven engineering M.J. Butler, L. Petre, K. Sere, Proc Third Int. Conf. On Integrated Formal Methods LNCS 2002 Springer-Verlag 286 298
12. D.C. Schmidt Guest editor's introduction: Model-driven engineering IEEE Computer 39 2 2006 25 31
13. Object Management Group, MDA guide version 1.0.1 OMG/03-06-01, www.omg.org/mof/, 2004.
14. V. Cortellessa, R. Mirandola, Deriving a queueing network based performance model from UML diagrams, in: Proc. of the Fifth International Workshop on Software and Performance, WOSP, September 2000, pp. 5870.
15. V. Cortellessa, From UML to execution graphs and queueing networks: Design and implementation of the XML-based tool XPRIMAT, 2004.
16. H. Hermanns, D.N. Jansen, Y.S. Usenko, From stocharts to modest: A comparative reliability analysis of train radio communications, in: Proc. of the Fifth International Workshop on Software and Performance, WOSP, July 2005, pp. 1323.
17. V. Grassi, R. Mirandola, A. Sabetta, From design to analysis models: A kernel language for performance and reliability analysis of component-based systems, in: Proc. of the Fifth International Workshop on Software and Performance, WOSP, July 2005, pp. 2536.
18. G. Gu, D.C. Petriu, XSLT transformation from UML models to LQN performance models, in: Proc. of the Fifth International Workshop on Software and Performance, WOSP, 2002, pp. 227234.
19. X. Wu, C.M. Woodside, Performance modeling from software components, in: Proc. of the Fifth International Workshop on Software and Performance, WOSP, January 2004, pp. 290301.
20. A. D'Ambrogio, A model transformation framework for the automated building of performance models from UML models, in: Proc. of the Fifth International Workshop on Software and Performance, WOSP, July 2005, pp. 7586.
21. S. Balsamo, M. Marzolla, Performance evaluation of UML software architectures with multiclass queueing network models, in: Proc. of the Fifth International Workshop of Software and Performance, WOSP, July 2005.
22. C.M. Woodside, D.C. Petriu, D.B. Petriu, H. Shen, T. Israr, J. Merseguer, Performance by unified model analysis (PUMA), in: Proc. of the Fifth International Workshop on Software and Performance, WOSP, July 2005, pp. 112.
23. P. Harrison, C.M. Llad, R. Puigjaner, A general performance model interchange format, in: Proc. of the First International Conference on Performance Evaluation Methodologies and Tools (Valuetools), 2006.
24. P. Harrison, C.M. Llad, and R. Puigjaner A unified approach to modelling the performance of concurrent systems Advances in System Performance Modelling, Analysis and Enhancement Simulation Modelling Practice and Theory 17 9 2009 1445 1456 (special issue)
25. ISO/IEC/JTC1/SC7, Subdivision of project 7.19 for a Petri net standard, October 1995.
26. PNML, Petri Net Markup Language, www2.informatik.hu-berlin.de/top/pnml/.
27. J. Billington, et al., The Petri Net Markup Language: Concepts, Technology, and Tools, http://www2.informatik.hu-berlin.de/top/pnml/download/ about/PNMLCTT.pdf, March 2003.
28. E. Kindler (Ed.), Petri Net Markup Language Forum 2006, PNML 06, June 2006.
29. J. Desel, and W. Reisig Place/Transition Petri Nets W. Reisig, G. Rozenberg, Lectures on Petri Nets I: Basic Models 1998 Springer pp. 122173
30. M. Meli, C.M. Llad, C.U. Smith, R. Puigjaner, Experimentation and output interchange for Petri net models, in: Proc. of the Seventh International Workshop on Software and Performance, WOSP, June 2008, pp. 133138.
31. OMG, UML 2.0 OCL specification, formal/04-30-2004, 2004.
32. R. Jelliffe, The schematron assertion language 1.5, October 2000.
33. C. Nentwich, and W. Emmerich Valid versus meaningful: Raising the level of semantic validation Proc. of the Twelfth International World Wide Web Conference 2003 ACM
34. C. Nentwich, Clix A validation rule language for XML, www.w3.org/2004/12/rules-ws/paper/24/, 2004.
35. J. Hu, L. Tao, An extensible constraint markup language: Specification, modeling, and processing, in: Proceedings XML, 2004.
36. Electronics Industries Association, CDIF - CASE Data Interchange Format Overview, EIA/IS-106, 1994.
37. G. Bolch Queueing Networks and Markov Chains. Modeling and Performance Evaluation with Computer Science Applications 1998 Wiley Interscience
38. Simulog, Modline 2.0 qnap2 9.3: Reference manual, 1996.
39. J. Rossello, C.M. Llad, R. Puigjaner, C.U. Smith, A web service for solving queueing networks models using PMIF, in: Proc. of the Fifth International Workshop of Software and Performance, WOSP, July 2005, pp. 187192.
40. D. Garcia, C.M. Llad, C.U. Smith, R. Puigjaner, A PMIF semantic validation tool, in: Proc. of the Third International Conference on the Quantitative Evaluation of Systems, September 2006, pp. 121122.
41. Java API for XML processing (JAXP), https://jaxp.dev.java.net/, 2006.
42. Apache, Xerxes2 Java parser 2.7.1. xerces.apache.org/xerces2-j/, 2005.
43. C.U. Smith, C.M. Llad, Performance model interchange format (PMIF 2.0): XML definition and implementation, Technical Report, Performance Engineering Services, 2010.
44. Marc Meli Aguil, Instanciaci i implementaci d'un format d'intercanvi per a l'experimentaci amb models de rendiment, Master's Thesis, Escola Policnica Superior, Universitat de les Illes Balears, July 2008.
45. R. Jain The Art of Computer Systems Performance Analysis: Techniques for Experimental Design, Measurement, Simulation, and Modeling 1991 John Wiley
46. F. Duarte, W. Hasling, W. Sherman, D. Paulish, R.M. Leao, E. Souza Silva, V. Cortellessa, Extending model transformations in the performance domain with a node modeling library, in: Proc. of the Seventh International Workshop on Software and Performance, WOSP, June 2008, pp. 157164.
47. L. Zhu, Y. Liu, N.B. Bao, I. Gorton, Revel8or: Model driven capacity planning tool suite, in: Proc. of the 29th International Conference on Software Engineering, May 2007, pp. 797800.
48. D. Garcia, C.M. Llad, C.U. Smith, R. Puigjaner, Performance model interchange format: Semantic validation, Technical Report, Universitat de les Illes Balears, April 2006.
49. SEAlab Software Quality Group, WEASEL, a web service for analyzing queueing networks with multiple solvers, sealabtools.di.univaq.it/Weasel/.
50. C.U. Smith, C.M. Llad, R. Puigjaner, L.G. Williams, Interchange formats for performance models: Experimentation and output, in: Proc. of the Fourth International Conference on the Quantitative Evaluation of Systems, September 2007, pp. 91100.
51. Connie U. Smith, Catalina M. Llad, and Ramon Puigjaner Automatic generation of performance analysis results: Requirements and demonstration Jeremy T. Bradley, Computer Performance Engineering, 6th European Performance Engineering Workshop LNCS vol. 5652 2009 Springer 73 78