Abstract:
|
Castellano: Un esquema estructural especifica la información relevante acerca de un dominio, y un esquema de comportamiento especifica un conjunto de operaciones del sistema y la definición de su efecto sobre la información. El propósito del razonamiento sobre un esquema conceptual con operaciones es comprobar si el esquema se ha especificado correctamente. Podemos determinar si un esquema estructural es satisfactible, es decir, comprobar si existen contradicciones o redundancias, si todas las clases y asociaciones puedan ser instanciadas. Sin embargo un esquema estructural satisfactible no implica necesariamente que el esquema conceptual en conjunto también lo sea. Es decir, si tenemos en cuenta que el esquema de comportamiento es el que define los cambios permitidos sobre el sistema, puede suceder que los eventos de las operaciones no cumplan con las restricciones del esquema estructural. |