A general performance model interchange format

ABSTRACT

A common, XML-based interface between specifications of quantitative system models and programmed solutions is developed and illustrated with several examples. It is based on the PMIF (Performance Model Interchange Format), which allows queueing network models to be specified in XML and solved by calling any appropriate modelling tool, such as Qnap. The definition of PMIF specifications is generalised by considering more abstract collections of interacting nodes, using concepts compatible with the Reversed Compound Agent Theorem (RCAT). The interactions are more general in that they synchronise transitions in a pair of nodes rather than being restricted to describing traffic flows. The generalised nodes are characterised by the interactions in which they participate, together with their rates and reversed rates, which may be implicit. In this way, generalised queueing networks with negative customers and triggers can be incorporated and fixpoint models can also be handled uniformly through the use of symbolic variables.

REFERENCES

• 1: Jean-Michel Fourneau , Erol Gelenbe , Rina Suros, G-networks with multiple classes of negative and positive customers, Theoretical Computer Science, v.155 n.1, p.141-156, Feb. 26, 1996 [doi>10.1016/0304-3975(95)00018-6]
• 2: J.-M. Fourneau , L. Kloul , F. Quessette, Multiple class G-networks with iterated deletions, Performance Evaluation, v.42 n.1, p.1-20, Sept. 2000 [doi>10.1016/S0166-5316(99)00080-2]
• 3: J.-M. Fourneau, L. Kloul, and D. Verchere. Multiple class g-networks with list-oriented deletions. European Journal of Operations Research, 2000.
• 4: E. Gelenbe. Random neural networks with positive and negative signals and product form solution. Neural Computation, 1(4):502--510, 1989.
• 5: E. Gelenbe. G-networks with triggered customer movement. Journal of Applied Probability, 30:742--748, 1993.
• 6: E. Gelenbe and A. Labed. G-networks with multiple classes of signals and positive customers. European Journal of Operations Research, 108(2):293--305, 1998.
• 7: E. Gelenbe and H. Shachnai. On g-networks and resource allocation in multimedia systems. European Journal of Operations Research, 126(2):308--318, 2000.
• 8: Peter G. Harrison, Turning back time in Markovian process algebra, Theoretical Computer Science, v.290 n.3, p.1947-1986, 3 January 2003 [doi>10.1016/S0304-3975(02)00375-4]
• 9: P. G. Harrison, Compositional reversed Markov processes, with applications to G-networks, Performance Evaluation, v.57 n.3, p.379-408, July 2004 [doi>10.1016/j.peva.2004.02.002]
• 10: P. G. Harrison , T. T. Lee, Separable equilibrium state probabilities via time reversal in Markovian process algebra, Theoretical Computer Science, v.346 n.1, p.161-182, 23 November 2005 [doi>10.1016/j.tcs.2005.08.007]
• 11: P. Harrison, N. Patel, and E. Pitel. Reliability modeling using g-queues. European Journal of Operations Research, 126(2):273--287, 2000.
• 12: Peter G. Harrison , Naresh M. Patel, Performance Modelling of Communication Networks and Computer Architectures (International Computer S, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1992
• 13: F. Kelly. Reversibility and stochastic networks. Wiley, 1979.
• 14: M. Potier, D.; Veran. Qnap2: A portable environment for queueing systems modelling. In D. Potier, editor, I International Conference on Modeling Techniques and Tools for Performance Analysis (Paris, May 1984), pages 25--63. North Holland, May 1985.
• 15: Simulog. Qnap modelling tool. www.simulog.fr.
• 16: Connie U. Smith , Catalina M. Llado, Performance Model Interchange Format (PMIF 2.0): XML Definition and Implementation, Proceedings of the The Quantitative Evaluation of Systems, First International Conference on (QEST'04), p.38-47, September 27-30, 2004 [doi>10.1109/QEST.2004.34]
• 17: C. Smith and L. Williams. Panel presentation: A performance model interchange format. In Proc. of the International Conference on Modeling Techniques and Tools for Computer Performance Evaluation, 1995.
• 18: C. Smith, L. Williams, and C. Llado. Solving Instructions Metamodel and XML Schema. Private communication.
• 19: Connie U. Smith , Catalina M. Lladó , Vittorio Cortellessa , Antinisca Di Marco , Lloyd G. Williams, From UML models to software performance results: an SPE process based on XML interchange formats, Proceedings of the 5th international workshop on Software and performance, p.87-98, July 12-14, 2005, Palma, Illes Balears, Spain [doi>10.1145/1071021.1071030]
• 20: SPEED, Software Performance Modeling Tool. www.perfeng.com.
• 21: w3c. World wide web consortium. www.w3c.org, 2001.

INDEX TERMS

Primary Classification:
  I. Computing Methodologies
  I.7 DOCUMENT AND TEXT PROCESSING
      I.7.2 Document Preparation
          Subjects: Format and notation

Additional Classification:
  C. Computer Systems Organization
  C.4 PERFORMANCE OF SYSTEMS

  I. Computing Methodologies
  I.7 DOCUMENT AND TEXT PROCESSING
      I.7.2 Document Preparation

          Nouns: XML