A compositional approach to performance modelling
A compositional approach to performance modelling
The Unified Modeling Language user guide
The Unified Modeling Language user guide
The Unified Modeling Language reference manual
The Unified Modeling Language reference manual
An Efficient Algorithm for Aggregating PEPA Models
IEEE Transactions on Software Engineering
Performance analysis of time-enhanced UML diagrams based on stochastic processes
WOSP '02 Proceedings of the 3rd international workshop on Software and performance
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)
Proceedings of the 4th international workshop on Software and performance
WOSP '04 Fourth International Workshop on Software and Performance 2004
Software performance modelling using PEPA nets
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
Performance by unified model analysis (PUMA)
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
Fluid Flow Approximation of PEPA models
QEST '05 Proceedings of the Second International Conference on the Quantitative Evaluation of Systems
A model-driven approach to describe and predict the performance of composite services
WOSP '07 Proceedings of the 6th international workshop on Software and performance
QEST '07 Proceedings of the Fourth International Conference on Quantitative Evaluation of Systems
Stochastic Simulation Methods Applied to a Secure Electronic Voting Model
Electronic Notes in Theoretical Computer Science (ENTCS)
Relating layered queueing networks and process algebra models
Proceedings of the first joint WOSP/SIPEW international conference on Performance engineering
Framework for hybrid performance prediction process model: use case performance engineering approach
ACM SIGSOFT Software Engineering Notes
Non-functional properties in the model-driven development of service-oriented systems
Software and Systems Modeling (SoSyM)
Rapid performance modeling by transforming use case maps to palladio component models
Proceedings of the 4th ACM/SPEC International Conference on Performance Engineering
Hi-index | 0.00 |
Recent trends in software engineering lean towards modelcentric development methodologies, a context in which the UML plays a crucial role. To provide modellers with quantitative insights into their artifacts, the UML benefits from a framework for software performance evaluation provided by MARTE, the UML profile for model-driven development of Real Time and Embedded Systems. MARTE offers a rich semantics which is general enough to allow different quantitative analysis techniques to act as underlying performance engines. In the present paper we explore the use of the stochastic process algebra PEPA as one such engine, providing a procedure to systematically map activity diagrams onto PEPA models. Independent activity flows are translated into sequential automata which co-ordinate at the synchronisation points expressed by fork and join nodes of the activity. The PEPA performance model is interpreted against a Markovian semantics which allows the calculation of performance indices such as throughput and utilisation. We also discuss the implementation of a new software tool powered by the popular Eclipse platform which implements the fully automatic translation from MARTE-annotated UML activity diagrams to PEPA models.