Resultados de búsqueda para Non-functional Properties

Comprehensive Geriatric Assessment (CGA) is an integrated clinical process to evaluate frail elderly people in order to provide them with customized therapy plans. The whole process includes the completion of standardized questionnaires or specific movements, which are performed by the patient and do not necessarily require the presence of a medical expert. With the aim to automate CGA tests in as much as possible, we have designed and developed CLARC: a mobile robot aimed at helping physicians to capture and manage data during the CGA procedures, mainly by autonomously conducting a set of predefined tests. The design of CLARC has required dealing with both functional (robot’s skills and tasks) and non-functional aspects (e.g. performance, safety, or user satisfaction, among others). This paper describes a novel model-based approach aimed at helping designers (1) to specify the contextual information available to the robot; the Non-Functional Properties (NFP considered relevant for a given application; and how (and to what extent) changes in the context may affect these properties; and, from these models (2) to generate the runtime infrastructure allowing the robot to monitor its execution context and estimate high-level QoS metrics to know how well it is performing in terms of the selected NFPs.

Non-functional properties are an essential part of any software solution. There is a lot of literature on what non-functional properties are but, unfortunately, there is also a lot of disagreement and different points of view on how to deal with them. Non-functional properties, such as safety or dependability, become particularly relevant in the context of robotics. In the EU H2020 RobMoSys Project, non-functional properties are treated as first-class citizens and considered key added-value services. In this vein, the RoQME Integrated Technical Project, funded by RobMoSys, aims at contributing a model-driven tool-chain for dealing with system-level non-functional properties, enabling the specification of global robot Quality of Service (QoS) metrics. The estimation of these metrics at runtime, in terms of the contextual information available, can then be used for different purposes, such as robot behavior adaptation or benchmarking.

The modular specification of non-functional properties of systems is a current challenge of Software Engineering, for which no clear solution exists. However, in the case of Domain-Specific Languages some successful proposals are starting to emerge, combining model-driven techniques with aspect-weaving mechanisms. In this paper we show one of these approaches in practice, and present the implementation we have developed to fully support it. We apply our approach for the specification and monitoring of non-functional properties using observers to a case study, illustrating how generic observers defining nonfunctional properties can be defined in an independent manner. Then, correspondences between these observers and the domain-specific model of the system can be established, and then weaved into a unified system specification using an ATL model transformation. Such a unified specification can also be analyzed in a natural way to obtain the required non-functional properties of the system.

This paper presents an approach for modeling and associat-
ing A-Policies to services’ based applications. It proposes to extend the SOD-M model driven method with (i) the -SCM an A-Policy services’
composition meta-model for representing non-functional constraints associated to services’ based applications; (ii) the -Pews meta-model providing guidelines for expressing the composition and the policies; and, (iii) model to model and model to text transformation rules for semiautomatizing the implementation of reliable services’ compositions.