Abstract:
|
Este artículo se centra en el estudio de dos restricciones temporales, denominadas constante y permanente, que se aplican a tipos de entidad, a tipos de relación y a participaciones en tipos de relación. El artículo proporciona una definición formal de estas restricciones, utilizando la lógica temporal, y un análisis de algunas de sus propiedades. A continuación, y basándose en las conclusiones del estudio de tres casos reales, se expone que estas restricciones aparecen muy a menudo en los esquemas conceptuales, por lo que tienen una gran importancia práctica. Esta importancia justifica el uso de una construcción lingüística específica que facilite su definición. El artículo aplica como pueden definirse estas dos restricciones en UML mediante el uso de estereotipos. |