From UML sequence diagrams and statecharts to analysable petri net models
WOSP '02 Proceedings of the 3rd international workshop on Software and performance
TOOLS '02 Proceedings of the 12th International Conference on Computer Performance Evaluation, Modelling Techniques and Tools
A Compositional Semantics for UML State Machines Aimed at Performance Evaluation
WODES '02 Proceedings of the Sixth International Workshop on Discrete Event Systems (WODES'02)
From UML activity diagrams to Stochastic Petri nets: application to software performance engineering
WOSP '04 Proceedings of the 4th international workshop on Software and performance
Model-Based Performance Prediction in Software Development: A Survey
IEEE Transactions on Software Engineering
UML-PSI: The UML Performance Simulator
QEST '04 Proceedings of the The Quantitative Evaluation of Systems, First International Conference
XPRIT: An XML-Based Tool to Translate UML Diagrams into Execution Graphs and Queueing Networks
QEST '04 Proceedings of the The Quantitative Evaluation of Systems, First International Conference
A model transformation framework for the automated building of performance models from UML models
Proceedings of the 5th international workshop on Software and performance
QoS Assessment via Stochastic Analysis
IEEE Internet Computing
Performance Analysis Using Stochastic Petri Nets
IEEE Transactions on Computers
A toolkit for performability evaluation based on stochastic UML state machines
Proceedings of the 2nd international conference on Performance evaluation methodologies and tools
Towards a library of composable models to estimate the performance of security solutions
WOSP '08 Proceedings of the 7th international workshop on Software and performance
Performance Evaluation of Self-reconfigurable Service-oriented Software With Stochastic Petri Nets
Electronic Notes in Theoretical Computer Science (ENTCS)
On the integration of UML and petri nets in software development
ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency
Methodological construction of product-form stochastic Petri nets for performance evaluation
Journal of Systems and Software
Proceedings of the 3rd international ACM SIGSOFT symposium on Architecting Critical Systems
BAND-AiDe: A Tool for Cyber-Physical Oriented Analysis and Design of Body Area Networks and Devices
ACM Transactions on Embedded Computing Systems (TECS) - Special Section on CAPA'09, Special Section on WHS'09, and Special Section VCPSS' 09
Modelling and analysing resilience as a security issue within UML
Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems
Model-Driven v&v processes for computer based control systems: a unifying perspective
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: applications and case studies - Volume Part II
| Hi-index | 0.00 |
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 software systems in the first stages of the life-cycle. ArgoSPE implements a performance evaluation process that builds on the principles of the software performance engineering (SPE). The theory behind the tool, i.e. the underlying SPE process, has been presented in previous papers and consists in translating some performance annotated UML diagrams into SPN models. Therefore, ArgoSPE prevents software engineers to model with SPN since they are obtained as a by-product of their UML models. The design of the tool follows the architecture proposed by OMG in the UML Profile for Schedulability, Performance and Time specification.