RT Generic
T1 Extensión de USE para soportar incertidumbre de medida en los datos primitivos OCL/UML
T2 USE extension to support measurement uncertainty in OCL/UML primitive datatypes
A1 Ortiz Guardeño, Víctor Manuel
K1 Diseño de sistemas
K1 OCL (Lenguaje de programación)
K1 UML (Lenguaje de programación)
K1 Informática - Trabajos Fin de Grado
K1 Grado en Ingeniería del Software - Trabajos Fin de Grado
AB En la actualidad, está surgiendo la necesidad de modelar sistemas que traten confactores físicos. Con la llegada del Internet de las cosas [IoT] hay cada vez más sistemassoftware conectados a sensores que no dan una medida exacta. Esto puede suponer unproblema al no disponer de herramientas que tengan en cuenta este posible error en la medida.Actualmente, el modelado y diseño de un sistema se hacen principalmente con ellenguaje UML, junto con OCL para definir el conjunto de restricciones que el modelo debecumplir. Estos lenguajes tienen tipos de datos que no tienen en cuenta esta incertidumbre de lamedida. Pero también sería conveniente que, al realizar operaciones con los tipos de datos, sepropague esta incertidumbre, permitiendo dar resultados a las preguntas del diseñador sobre elsistema. Además, esta propagación debería realizarse de manera transparente para eldiseñador; simplemente todas las operaciones se realizarían mientras se modifica el modelo.Para ello, se ha desarrollado una extensión de la herramienta de diseño USE. Con ella,se pueden definir los modelos UML y especificar las restricciones del modelo en el lenguajeOCL, permitiendo también la simulación de instancias del modelo teniendo en cuenta laincertidumbre de la medida, de modo que el diseñador podría ver cómo se comporta elsistema incluso antes de su fabricación.
YR 2020
FD 2020-01-16
LK https://hdl.handle.net/10630/19169
UL https://hdl.handle.net/10630/19169
LA spa
DS RIUMA. Repositorio Institucional de la Universidad de Málaga
RD 20 ene 2026