A Specificational Approach to High Level Program Monitoring and Measuring
IEEE Transactions on Software Engineering - Special issue on software measurement principles, techniques, and environments
AspectC++: an aspect-oriented extension to the C++ programming language
CRPIT '02 Proceedings of the Fortieth International Conference on Tools Pacific: Objects for internet, mobile and embedded applications
An Architecture-Based Approach to Self-Adaptive Software
IEEE Intelligent Systems
ECOOP '01 Proceedings of the 15th European Conference on Object-Oriented Programming
Pinpoint: Problem Determination in Large, Dynamic Internet Services
DSN '02 Proceedings of the 2002 International Conference on Dependable Systems and Networks
Weaving Aspects into C++ Applications for Validation of Temporal Invariants
CSMR '03 Proceedings of the Seventh European Conference on Software Maintenance and Reengineering
Program Instrumentation for Debugging and Monitoring with AspectC++
ISORC '02 Proceedings of the Fifth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing
Model-Based Performance Prediction in Software Development: A Survey
IEEE Transactions on Software Engineering
Automatic Performance Management in Component Based Software Systems
ICAC '04 Proceedings of the First International Conference on Autonomic Computing
Analyzing Rule-Based Behavioral Semantics of Visual Modeling Languages with Maude
Software Language Engineering
A graphical approach for modeling time-dependent behavior of DSLs
VLHCC '09 Proceedings of the 2009 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC)
Kieker: continuous monitoring and on demand visualization of Java software behavior
SE '08 Proceedings of the IASTED International Conference on Software Engineering
Integrating performance and reliability analysis in a non-functional MDA framework
FASE'07 Proceedings of the 10th international conference on Fundamental approaches to software engineering
Increasing system dependability through architecture-based self-repair
Architecting dependable systems
Translating model simulators to analysis models
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
On the specification of non-functional properties of systems by observation
MODELS'09 Proceedings of the 2009 international conference on Models in Software Engineering
On the specification of non-functional properties of systems by observation
MODELS'09 Proceedings of the 2009 international conference on Models in Software Engineering
Model-driven performance analysis of rule-based domain specific visual models
Information and Software Technology
Hi-index | 0.00 |
Domain specific languages play a cornerstone role in Model-Driven Engineering (MDE) for representing models and metamodels. So far, most of the MDE community efforts have focused on the specification of the functional properties of systems. However, the correct and complete specification of some of their non-functional properties is critical in many important distributed application domains, such as embedded systems, multimedia applications or e-commerce services. In this paper we present an approach to specify QoS requirements, based on the observation of the system actions and of the state of its objects. We show how this approach can be used to extend languages which specify behavior in terms of rules, and how QoS characteristics can be easily expressed and reused across models. We show as well how this approach enables the specification of other important properties of systems, such as automatic reconfiguration of the system when some of the QoS properties change.