Acceso usuarios
Gustavo Urquizo, Elizabeth Vidal, Eveling Castro
Las limitaciones en la motricidad fina dificultan las actividades diarias como alcanzar, agarrar y levantar objetos; la rehabilitación tiene como objetivo restaurar el rendimiento funcional en las actividades diarias o adquirir nuevas habilidades. Los sistemas de rehabilitación virtual han generado interés como enfoque complementario a la rehabilitación convencional, creando entornos generados por computadora que involucran lúdicamente a los pacientes en terapias orientadas a objetivos. La claridad en los requerimientos se vuelve crítica en este tipo de sistemas debido a su alto impacto en el proceso de recuperación funcional del paciente. Este artículo propone la integración de especificaciones formales ligeras en las primeras etapas del desarrollo de un sistema de rehabilitación virtual para motor fino. Se pretende reducir ambigüedades en la definición de requisitos críticos y funcionalidades. Se hace uso de Vienna Development Method para especificaciones formales ligeras debido a su simplicidad, naturaleza orientada a objetos y soporte de herramientas. La metodología propuesta detalla cinco pasos. El enfoque propuesto permite una representación reduciendo las ambigüedades de los requisitos críticos, mejorando la calidad general del sistema de rehabilitación virtual. El artículo contribuye al explorar la aplicación de especificaciones formales en diversos campos, haciendo hincapié en el contexto específico de la rehabilitación virtual para habilidades motoras finas. Finalmente se brinda evidencia empírica de la practicidad y efectividad del uso de especificaciones formales ligeras para abordar requisitos críticos y funcionalidades únicas en la rehabilitación virtual.
The limitations in fine motor skills hinder daily activities such as reaching, grasping, and lifting objects; rehabilitation aims to restore functional performance in daily activities or acquire new skills.Virtual Rehabilitation Systems have generated interest as a complementary approach to conventional rehabilitation, creating computer-generated environments that playfully engage patients in goal-oriented therapies. Clarity in requirements becomes critical in such systems due to their high impact on the patient’s functional recovery process. This article proposes the integration of lightweight formal specifications in the early stages of developing a fine motor virtual rehabilitation system. The aim is to reduce ambiguities in defining critical requirements and functionalities. Vienna Development Method is utilized for lightweight formal specifications due to its simplicity, object-oriented nature, and tool support. The proposed methodology outlines five steps. The approach allows for an unambiguous representation of critical requirements, enhancing the overall quality of the virtual rehabilitation system. The article contributes to the growing body of literature exploring the application of formal specifications in various fields, emphasizing the specific context of virtual rehabilitation for fine motor skills.Finally, empirical evidence is provided for the practicality and effectiveness of using lightweight formal specifications to address critical requirements and unique functionalities in virtual rehabilitation.
