A Model Transformation Tool: PMIF+ to QNAP
Journal Title: EAI Endorsed Transactions on Cloud Systems - Year 2015, Vol 1, Issue 3
Abstract
An extension to the Performance Model Interchange Format (PMIF+) to move models among tools has been recently introduced. The original PMIF was limited to models solvable with efficient, exact solution methods such as mean value analysis and product form solutions. The extensions allow models with features that require simulation or analytical approximation solutions, such as passive resources, workloads that fork into multiple concurrent workloads, etc. This paper presents a tool for the automated transformation from PMIF+ to Qnap, and explains some of the challenging transformations required by the new PMIF+ features.
Authors and Affiliations
Catalina Lladó, Connie Smith, Pere Bonet
Keywords
Related Articles
- EP ID EP45560
- DOI http://dx.doi.org/10.4108/icst.valuetools.2014.258219
- Views 392
- Downloads 0
Notos: Efficient Emulation of Wireless Sensor Networks with Binary-to-Source Translation
Developing for wireless sensor networks is a challenging task due to the severe resource constraints of the devices, the uncertainties of the environment, and the distributed nature of the system. Therefore, simulation i...
A Dynamic Self-adaptive Resource-Load Evaluation Method in Cloud Computing
Cloud resource and its load have dynamic characteristics. To address this challenge, a dynamic self-adaptive evaluation method (termed SDWM) is proposed in this paper. SDWM uses some dynamic evaluation indicators to eval...
A Permission-Based Distributed Mutual Exclusion Algorithm allowing Quality of Service (PBDMEAQoS)
The main purpose of mutual exclusion in a distributed environment is to control access to a shared resource. Large-scale distributed systems such as clouds or grids provide shared informatics resources to its clients. In...
Monitoring as-a-service to drive more efficient future system design
In the services world, the expected benefits are the fastest time to market, lower costs, greater consistency in the application, and increased agility. The reuse and sharing properties of software components are useful...
Specifying and Monitoring Properties of Stochastic Spatio-Temporal Systems in Signal Temporal Logic
We present an extension of the linear time, time-bounded, Signal Temporal Logic to describe spatio-temporal properties. We consider a discrete location/ patch-based representation of space, with a population of interacti...