Extensión de USE para soportar incertidumbre de medida en los datos primitivos OCL/UML

Abstract

En la actualidad, está surgiendo la necesidad de modelar sistemas que traten con factores físicos. Con la llegada del Internet de las cosas [IoT] hay cada vez más sistemas software conectados a sensores que no dan una medida exacta. Esto puede suponer un problema 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 el lenguaje UML, junto con OCL para definir el conjunto de restricciones que el modelo debe cumplir. Estos lenguajes tienen tipos de datos que no tienen en cuenta esta incertidumbre de la medida. Pero también sería conveniente que, al realizar operaciones con los tipos de datos, se propague esta incertidumbre, permitiendo dar resultados a las preguntas del diseñador sobre el sistema. Además, esta propagación debería realizarse de manera transparente para el diseñ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 lenguaje OCL, permitiendo también la simulación de instancias del modelo teniendo en cuenta la incertidumbre de la medida, de modo que el diseñador podría ver cómo se comporta el sistema incluso antes de su fabricación.