Queueing networks and Markov chains: modeling and performance evaluation with computer science applications
A performance model interchange format
Journal of Systems and Software
Deriving a queueing network based performance model from UML diagrams
Proceedings of the 2nd international workshop on Software and performance
Performance solutions: a practical guide to creating responsive, scalable software
Performance solutions: a practical guide to creating responsive, scalable software
XSLT transformation from UML models to LQN performance models
WOSP '02 Proceedings of the 3rd international workshop on Software and performance
Place or Transition Petri Nets
Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
Information Requirements for Software Performance Engineering
MMB '95 Proceedings of the 8th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation: Quantitative Evaluation of Computing and Communication Systems
Performance modeling from software components
WOSP '04 Proceedings of the 4th international workshop on Software and performance
Performance Model Interchange Format (PMIF 2.0): XML Definition and Implementation
QEST '04 Proceedings of the The Quantitative Evaluation of Systems, First International Conference
Performance by unified model analysis (PUMA)
Proceedings of the 5th international workshop on Software and performance
From StoCharts to MoDeST: a comparative reliability analysis of train radio communications
Proceedings of the 5th international workshop on Software and performance
Proceedings of the 5th international workshop on Software and performance
Performance evaluation of UML software architectures with multiclass Queueing Network models
Proceedings of the 5th international workshop on Software and performance
A model transformation framework for the automated building of performance models from UML models
Proceedings of the 5th international workshop on Software and performance
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
A web service for solving queuing network models using PMIF
Proceedings of the 5th international workshop on Software and performance
A PMIF Semantic Validation Tool
QEST '06 Proceedings of the 3rd international conference on the Quantitative Evaluation of Systems
A general performance model interchange format
valuetools '06 Proceedings of the 1st international conference on Performance evaluation methodolgies and tools
Revel8or: Model Driven Capacity Planning Tool Suite
ICSE '07 Proceedings of the 29th international conference on Software Engineering
Interchange Formats for Performance Models: Experimentation and Ouput
QEST '07 Proceedings of the Fourth International Conference on Quantitative Evaluation of Systems
Experimentation and output interchange for petri net models
WOSP '08 Proceedings of the 7th international workshop on Software and performance
Extending model transformations in the performance domain with a node modeling library
WOSP '08 Proceedings of the 7th international workshop on Software and performance
A PMIF with petri net building blocks
Proceedings of the 2nd ACM/SPEC International Conference on Performance engineering
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
Tools for performance evaluation of computer systems: historical evolution and perspectives
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
Importing PMIF models into PIPE2 using M2M transformation
ICPE '12 Proceedings of the 3rd ACM/SPEC International Conference on Performance Engineering
Queueing model analysis and scheduling strategy for embedded multi-core SoC based on task priority
Computers and Electrical Engineering
Model-based performance analysis of software architectures under uncertainty
Proceedings of the 9th international ACM Sigsoft conference on Quality of software architectures
Combining fUML and profiles for non-functional analysis based on model execution traces
Proceedings of the 9th international ACM Sigsoft conference on Quality of software architectures
Performance queries for architecture-level performance models
Proceedings of the 5th ACM/SPEC international conference on Performance engineering
Specification and simulation of queuing network models using Domain-Specific Languages
Computer Standards & Interfaces
Hi-index | 0.00 |
The Performance Model Interchange Format (PMIF) provides a mechanism for transferring the system model information among performance modeling tools requiring only that the tools either internally support PMIF or provide an interface that reads/writes model specifications from/to a file. This paper presents the latest version of the specification (PMIF 2): a metamodel defining the information requirements and the corresponding XML schema. It defines the semantic properties for a pmif.xml interchange, the prescribed validation order, errors and warnings, and a tool and Web service implementation. Import and export prototypes for two different types of tools prove the concept. Generally available examples are used for repeatability.