From UML to Petri nets: the PCM-based methodology

S Distefano, M Scarpa, A Puliafito - IEEE Transactions on …, 2010 - ieeexplore.ieee.org
In this paper, we present an evaluation methodology to validate the performance of a UML
model, representing a software architecture. The proposed approach is based on open and …

Performance evaluation of UML software architectures with multiclass queueing network models

S Balsamo, M Marzolla - Proceedings of the 5th international workshop …, 2005 - dl.acm.org
Software performance based on performance models can be applied at early phases of the
software development cycle to characterize the quantitative behavior of software systems …

Transformation challenges: from software models to performance models

M Woodside, DC Petriu, J Merseguer, DB Petriu… - Software & Systems …, 2014 - Springer
A software model can be analysed for non-functional requirements by extending it with
suitable annotations and transforming it into analysis models for the corresponding non …

Automated transformation of component-based software architecture models to queueing petri nets

P Meier, S Kounev, H Koziolek - 2011 IEEE 19th Annual …, 2011 - ieeexplore.ieee.org
Performance predictions early in the software development process can help to detect
problems before resources have been spent on implementation. The Palladio Component …

Search‐based model transformations

M Fleck, J Troya, M Wimmer - Journal of Software: Evolution …, 2016 - Wiley Online Library
Abstract Model transformations are an important cornerstone of model‐driven engineering, a
discipline which facilitates the abstraction of relevant information of a system as models. The …

Model-driven performance engineering of self-adaptive systems: a survey

M Becker, M Luckey, S Becker - … of the 8th international ACM SIGSOFT …, 2012 - dl.acm.org
To meet quality-of-service requirements in changing environments, modern software
systems adapt themselves. The structure, and correspondingly the behavior, of these …

From UML models to software performance results: an SPE process based on XML interchange formats

CU Smith, CM Lladó, V Cortellessa, AD Marco… - Proceedings of the 5th …, 2005 - dl.acm.org
The SPE process uses multiple performance assessment tools depending on the state of the
software and the amount of performance data available. This paper describes two XML …

[BOOK][B] Relating system quality and software architecture

I Mistrik, R Bahsoon, P Eeles, R Roshandel, M Stal - 2014 - books.google.com
System Quality and Software Architecture collects state-of-the-art knowledge on how to
intertwine software quality requirements with software architecture and how quality attributes …

On the integration of UML and Petri nets in software development

J Campos, J Merseguer - … Conference on Application and Theory of Petri …, 2006 - Springer
Software performance engineering deals with the consideration of quantitative analysis of
the behaviour of software systems from the early development phases in the life cycle. This …

ArgoSPE: Model-based software performance engineering

E Gómez-Martínez, J Merseguer - Petri Nets and Other Models of …, 2006 - Springer
Abstract Stochastic Petri nets (SPNs) have been proved useful for the quantitative analysis
of systems. This paper introduces ArgoSPE, a tool for the performance evaluation of …