On the Specification of Non-functional Properties of Systems by Observation

Abstract

Abstract. 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 ecommerce 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.

Simulating domain specific visual models by observation

“…In a previous work [14] we proposed the use of observers for specifying and monitoring QoS properties. In this work we have shown how it is possible to use them to monitor the system parameters that we are interested in when simulating the specifications.…”

Improving dynamic and distributed congestion control in vehicular ad hoc networks

“…In (13), the second term is divided by 16 to reduce the influence of large random changes, and the noises effecting on estimating jitter [38]. Therefore, Tabu Search calculates delay and jitter using Eqs.…”

An Interface Agent for the Management of COTS-based User Interfaces

“…In order to develop a right adaptation, it is also necessary to get other elements of the UI proposed by (Criado et al, 2012) and observing system requirements that are described in (Troya et al, 2010). All these variables make up our observer meta-models showed in Figure 5, which shows the meta-model of the relationship between observed actions and monitored context variables.…”