Integration of event-based communication in the palladio software quality prediction framework
Proceedings of the joint ACM SIGSOFT conference -- QoSA and ACM SIGSOFT symposium -- ISARCS on Quality of software architectures -- QoSA and architecting critical systems -- ISARCS
Towards automated service quality prediction for development of enterprise mashups
Proceedings of the 5th International Workshop on Web APIs and Service Mashups
Engineering of self-aware IT systems and services: state-of-the-art and research challenges
EPEW'11 Proceedings of the 8th European conference on Computer Performance Engineering
Introduction to queueing petri nets: modeling formalism, tool support and case studies
ICPE '12 Proceedings of the 3rd ACM/SPEC International Conference on Performance Engineering
Automated extraction of architecture-level performance models of distributed component-based systems
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Capacity planning for event-based systems using automated performance predictions
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Model transformations in non-functional analysis
SFM'12 Proceedings of the 12th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: formal methods for model-driven engineering
Stochastic modeling and analysis using QPME: queueing petri net modeling environment v2.0
PETRI NETS'12 Proceedings of the 33rd international conference on Application and Theory of Petri Nets
Rapid performance modeling by transforming use case maps to palladio component models
Proceedings of the 4th ACM/SPEC International Conference on Performance Engineering
Electronic Notes in Theoretical Computer Science (ENTCS)
Performance modeling and analysis of message-oriented event-driven systems
Software and Systems Modeling (SoSyM)
Hi-index | 0.00 |
Performance predictions early in the software development process can help to detect problems before resources have been spent on implementation. The Palladio Component Model (PCM) is an example of a mature domain-specific modeling language for component-based systems enabling performance predictions at design time. PCM provides several alternative model solution methods based on analytical and simulation techniques. However, existing solution methods suffer from scalability issues and provide limited flexibility in trading-off between results accuracy and analysis overhead. Queueing Petri Nets (QPNs) are a general-purpose modeling formalism, at a lower level of abstraction, for which efficient and mature simulation-based solution techniques are available. This paper contributes a formal mapping from PCM to QPN models, implemented by means of an automated model-to-model transformation as part of a new PCM solution method based on simulation of QPNs. The limitations of the mapping and the accuracy and overhead of the new solution method compared to existing methods are evaluated in detail in the context of five case studies of different size and complexity. The new solution method proved to provide good accuracy with solution overhead up to 20 times lower compared to PCM's reference solver.