En este artículo se proponen un conjunto de políticas de reforzamiento para las restricciones de integridad de asociaciones (xor, subset y referencial) en esquemas conceptuales. Dichas políticas permiten al diseñador expresar de manera declarativa y directamente sobre el esquema conceptual estructural, cómo debe comportarse el sistema frente a eventos externos que puedan violar las restricciones indicadas. Además, se presenta una herramienta que a partir de un esquema conceptual, sobre el que se han especificado restricciones y políticas, y un evento externo cualquiera, genera automáticamente el correspondiente evento externo reforzado.

Peer Reviewed