Razonamiento sobre Esquemas Conceptuales UML con Operaciones
Visualitza/Obre
Estadístiques de LA Referencia / Recolecta
Inclou dades d'ús des de 2022
Cita com:
hdl:2099.1/12687
Tipus de documentProjecte/Treball Final de Carrera
Data2011-07-07
Condicions d'accésAccés obert
Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i
industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva
reproducció, distribució, comunicació pública o transformació sense l'autorització del titular dels drets
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.
MatèriesUML (Computer science), Object-oriented programming, UML (Informàtica), Programació orientada a l'objecte (Informàtica)
TitulacióENGINYERIA TÈCNICA D'INFORMÀTICA DE GESTIÓ (Pla 2003)
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
74738.pdf | 1006,Kb | Visualitza/Obre |