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.
Buscar en Dimension
