G-networks with multiple classes of negative and positive customers
Theoretical Computer Science
Multiple class G-networks with iterated deletions
Performance Evaluation
Performance Modelling of Communication Networks and Computer Architectures (International Computer S
Performance Modelling of Communication Networks and Computer Architectures (International Computer S
Turning back time in Markovian process algebra
Theoretical Computer Science
Performance Model Interchange Format (PMIF 2.0): XML Definition and Implementation
QEST '04 Proceedings of the The Quantitative Evaluation of Systems, First International Conference
Compositional reversed Markov processes, with applications to G-networks
Performance Evaluation
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
Separable equilibrium state probabilities via time reversal in Markovian process algebra
Theoretical Computer Science - Quantitative aspects of programming languages (QAPL 2004)
A PMIF with petri net building blocks
Proceedings of the 2nd ACM/SPEC International Conference on Performance engineering
An initiative for a classified bibliography on G-networks
Performance Evaluation
Hierarchically constructed Petri-nets and product-forms
Proceedings of the 5th International ICST Conference on Performance Evaluation Methodologies and Tools
Model interoperability for performance engineering: survey of milestones and evolution
PERFORM'10 Proceedings of the 2010 IFIP WG 6.3/7.3 international conference on Performance Evaluation of Computer and Communication Systems: milestones and future challenges
Bibliography on G-networks, negative customers and applications
Mathematical and Computer Modelling: An International Journal
Performance-driven architectural refactoring through bidirectional model transformations
Proceedings of the 8th international ACM SIGSOFT conference on Quality of Software Architectures
| Hi-index | 0.00 |
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.