Performance models of multiprocessor systems
Performance models of multiprocessor systems
Object-oriented software engineering
Object-oriented software engineering
The Unified Modeling Language user guide
The Unified Modeling Language user guide
Deriving a queueing network based performance model from UML diagrams
Proceedings of the 2nd international workshop on Software and performance
On formalizing UML with high-level petri nets
Concurrent object-oriented programming and petri nets
Performance Engineering of Software Systems
Performance Engineering of Software Systems
From UML sequence diagrams and statecharts to analysable petri net models
WOSP '02 Proceedings of the 3rd international workshop on Software and performance
XSLT transformation from UML models to LQN performance models
WOSP '02 Proceedings of the 3rd international workshop on Software and performance
The PSR Methodology: Integrating Hardware and Software Models
Proceedings of the 17th International Conference on Application and Theory of Petri Nets
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)
Software performance engineering
UML for real
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
Analysing UML 2.0 activity diagrams in the software performance engineering process
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
Modeling Behavioral Patterns of Concurrent Software Architectures Using Petri Nets
WICSA '04 Proceedings of the Fourth Working IEEE/IFIP Conference on Software Architecture
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
Performance by unified model analysis (PUMA)
Proceedings of the 5th international workshop on Software and performance
Proceedings of the 5th international workshop on Software and performance
From UML to LQN by XML algebra-based model transformations
Proceedings of the 5th international workshop on Software and performance
QoS Assessment via Stochastic Analysis
IEEE Internet Computing
ArgoSPE: model-based software performance engineering
ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency
SCESM '07 Proceedings of the Sixth International Workshop on Scenarios and State Machines
Verification of Use Case with Petri Nets in Requirement Analysis
ICCSA '09 Proceedings of the International Conference on Computational Science and Its Applications: Part II
A metamodeling approach to transform UML 2.0 sequence diagrams to Petri nets
SE '08 Proceedings of the IASTED International Conference on Software Engineering
A triple graph grammar (TGG) approach for mapping UML 2 activities into Petri nets
SEPADS'10 Proceedings of the 9th WSEAS international conference on Software engineering, parallel and distributed systems
Model interoperability via Model Driven Development
Journal of Computer and System Sciences
Experiences in model driven verification of behavior with UML
Monterey'08 Proceedings of the 15th Monterey conference on Foundations of Computer Software: future Trends and Techniques for Development
Strongly consistent transformation of partial scenarios
ACM SIGSOFT Software Engineering Notes
Hi-index | 0.00 |
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 paper summarizes in a semiformal and illustrative way our proposal for a suitable software performance engineering process. We try to integrate in a very pragmatic approach the usual object oriented methodology —supported with UML language and widespread CASE tools— with a performance modelling formalism, namely stochastic Petri nets. A simple case study is used to describe the whole process. More technical details should be looked up in the cited bibliography.