María Visitación Hurtado

TL;DR: A nutritional recommender system, Nutrition for Elder Care, intended to help elderly users to draw up their own healthy diet plans following the nutritional experts guidelines, developed with the intensive use of Semantic Web technologies.

TL;DR: Two specific models are presented: a conceptual domain model formalized through a domain ontology, and a system model built using a UML-based notation that allow a common vocabulary for knowledge sharing to be established, and organization functional requirements to be specified.

TL;DR: This paper provides a mapping between the UML and the OWL, through a set of mapping rules, which allow for the capture of UML activity diagrams in an OWL-ontology, and sets a basis for subsequent construction of executable models using the Colored Petri Nets (CPN) formalism.

TL;DR: A verification approach based on timed traces semantics and a methodology based on UML-RT models (MEDISTAM-RT) to check the fulfillment of non-functional requirements, such as timeliness and safety (deadlock freeness), and to assure the correct functioning of the AAL systems are presented.

TL;DR: The PESCO cognitive test module demonstrated its concurrent validity with traditional cognitive evaluation tests and the effectiveness of PESCO’s cognitive stimulation exercises.