Quantitative system performance: computer system analysis using queueing network models
Quantitative system performance: computer system analysis using queueing network models
Performance solutions: a practical guide to creating responsive, scalable software
Performance solutions: a practical guide to creating responsive, scalable software
Core J2EE Patterns (Core Design Series): Best Practices and Design Strategies
Core J2EE Patterns (Core Design Series): Best Practices and Design Strategies
An approach for QoS-aware service composition based on genetic algorithms
GECCO '05 Proceedings of the 7th annual conference on Genetic and evolutionary computation
Performance by unified model analysis (PUMA)
Proceedings of the 5th international workshop on Software and performance
Software Product Line Engineering: Foundations, Principles and Techniques
Software Product Line Engineering: Foundations, Principles and Techniques
DSM '05 Proceedings of the 2nd international doctoral symposium on Middleware
Model-Based performance prediction with the palladio component model
WOSP '07 Proceedings of the 6th international workshop on Software and performance
Rule-based automatic software performance diagnosis and improvement
WOSP '08 Proceedings of the 7th international workshop on Software and performance
ArcheOpterix: An extendable tool for architecture optimization of AADL models
MOMPES '09 Proceedings of the 2009 ICSE Workshop on Model-Based Methodologies for Pervasive and Embedded Software
Proceedings of the first joint WOSP/SIPEW international conference on Performance engineering
Components, platforms and possibilities: towards generic automation for MDA
EMSOFT '10 Proceedings of the tenth ACM international conference on Embedded software
MDE-based approach for generalizing design space exploration
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part I
Design guidelines for the development of quality-driven model transformations
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part II
TOOLS'11 Proceedings of the 49th international conference on Objects, models, components, patterns
A process to effectively identify “guilty” performance antipatterns
FASE'10 Proceedings of the 13th international conference on Fundamental Approaches to Software Engineering
Model transformations for migrating legacy models: an industrial case study
ECMFA'12 Proceedings of the 8th European conference on Modelling Foundations and Applications
A journey through SMScom: self-managing situational computing
Computer Science - Research and Development
| Hi-index | 0.00 |
Verifying that a software system has certain nonfunctional properties is a primary concern in many engineering fields. Although several model-driven approaches exist to predict quality attributes from system models, they still lack the proper level of automation envisioned by Model Driven Software Development. When a potential issue concerning non-functional properties is discovered, the identification of a solution is still entirely up to the engineer and to his/her experience. This paper presents QVT-Rational, our multi-modeling solution to automate the detection-solution loop. We leverage and extend existing model transformation techniques with constructs to elicit the space of the alternative solutions and to bind quality properties to them. Our framework is highly customizable, it supports the definition of nonfunctional requirements and provides an engine to automatically explore the solution space. We evaluate our approach by applying it to two well-known software engineering problems -- Object-Relational Mapping and components allocation -- and by showing how several solutions that satisfy given performance requirements can be automatically identified.