A general framework for formalizing UML with formal languages
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Performance Engineering of Software Systems
Performance Engineering of Software Systems
XSLT transformation from UML models to LQN performance models
WOSP '02 Proceedings of the 3rd international workshop on Software and performance
The Metamodelling Language Calculus: Foundation Semantics for UML
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
Open Implementation of UML Meta-model(s)
REFLECTION '01 Proceedings of the Third International Conference on Metalevel Architectures and Separation of Crosscutting Concerns
A simulation-based approach to software performance modeling
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
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
Software Performance Analysis in UML Models
FIRB-PERF '05 Proceedings of the 2005 Workshop on Techniques, Methodologies and Tools for Performance Evaluation of Complex Systems
Performance Model Interchange Format: Semantic Validation
ICSEA '06 Proceedings of the International Conference on Software Engineering Advances
An ASM semantics of UML derived from the meta-model and incorporating actions
ASM'03 Proceedings of the abstract state machines 10th international conference on Advances in theory and practice
| Hi-index | 0.00 |
Performance related problems play a key role in the Software Development Process (SDP). In particular an early integration of performance specifications in the SDP has been recognized during last years as an effective approach to speed up the production of high quality and reliable software. In this context we defined and implemented a technique for automatically evaluating performance aspects of UML software architectures. To achieve this goal the starting UML model of the software architecture under exam has been mapped into a performance domain afterwards analyzed. The performance indices are inserted in the UML model exploiting the OMG Profile for Schedulability, Performance and Time Specification standard. However, to really automate the process, it was mandatory to specify the UML software representation by fixing semantic rules. The goal of this paper is the formalization of the model representation, characterizing the syntax and the semantics through which specifying performance requirements and behaviors into UML models in order to be compliant with the technique we implemented.