Les restriccions d'integritat temporals constant i permanent
Visualitza/Obre
Estadístiques de LA Referencia / Recolecta
Inclou dades d'ús des de 2022
Cita com:
hdl:2099.1/5450
Tipus de documentProjecte Final de Màster Oficial
Data2007-06-25
Condicions d'accésAccés obert
Llevat que s'hi indiqui el contrari, els
continguts d'aquesta obra estan subjectes a la llicència de Creative Commons
:
Reconeixement-NoComercial-SenseObraDerivada 2.5 Espanya
Abstract
Aquesta tesi de màster tracta de l'estudi de les restriccions temporals constant i permanent.
Aquestes restriccions s'apliquen a tipus d’entitat, a tipus de relacions i a participacions en tipus
de relació. En aquest treball es proporciona una definició formal d’aquestes restriccions
empleant lògica de primer ordre i lògica temporal. A continuació s’analitzen les seves propietats
i es realitza l'estudi de tres casos reals amb l’objectiu de conèixer la seva importància pràctica.
La conclusió a la que s’arriba és que apareixen molt sovint, i per tant justifica l’estudi i l’ús
d’una notació específica en UML que faciliti la seva definició. Els metamodels de les versions
1.4 i 2.1 del nucli d’UML no permeten indicar explícitament les restriccions constant i
permanent, i per tant, es modelaran mitjançant estereotips. Finalment es dona uns possibles
patrons de disseny per garantir el compliment d’aquestes restriccions en temps d’execució.
TitulacióMÀSTER UNIVERSITARI EN COMPUTACIÓ (Pla 2006)
Col·leccions
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
MasterTesisRaquelPau.pdf | 10,13Mb | Visualitza/Obre |