Comprobación eficiente de restricciones de integridad en OCL

Inicio | ¿Qué es? | Contacto

English | Català

Consultar RECERCAT

Por comunidades y
colecciones Por fecha Por autores Por títulos Por temas (CDU)

Consultar departamento

Por fecha Por autores Por títulos Por temas (CDU)

Estadisticas

Del documento Todo RECERCAT

Mi RECERCAT

Entrar Alertas por correo-e

Directorio de otros repositorios

RECERCAT Principal > Universitat Politècnica de Catalunya > Documents de recerca > Visualizar documento

Para acceder a los documentos con el texto completo, por favor, siga el siguiente enlace: http://hdl.handle.net/2117/122296

Título:	Comprobación eficiente de restricciones de integridad en OCL
Autor/a:	Cabot, Jordi; Teniente López, Ernest
Otros autores:	Universitat Politècnica de Catalunya. Departament d'Enginyeria de Serveis i Sistemes d'Informació; Universitat Politècnica de Catalunya. IMP - Information Modeling and Processing
Abstract:	El proceso de comprobación de restricciones tiene como objetivo asegurar que el estado del sistema de información es consistente con las restricciones de integridad. La comprobación tiene que repetirse cada vez que el estado del sistema se modifica. La herramienta que aquí presentamos ayuda a realizar (automáticamente) esta comprobación de la forma más eficiente posible.
Abstract:	Peer Reviewed
Materia(s):	-Àrees temàtiques de la UPC::Informàtica::Enginyeria del software -Software engineering -Information storage and retrieval systems -Comprobación de restricciones -Sistemas de información -Restricciones de integridad -Enginyeria del programari -Informació -- Sistemes d'emmagatzematge i recuperació
Derechos:
Tipo de documento:	Artículo - Versión publicada Objeto de conferencia
Compartir:

Mostrar el registro completo del ítem

Documentos relacionados

Otros documentos del mismo autor/a

Determining the structural events that may violate an integrity constraint

Cabot, Jordi; Teniente López, Ernest

Generating alternative representations for OCL integrity constraints

Cabot, Jordi; Teniente López, Ernest

Handling non-functional requirements in Model-Driven Development : an ongoing industrial survey

Ameller, David; Franch Gutiérrez, Javier; Gómez Seoane, Cristina; Araújo, João; Berntsson Svenssonz, Richard; Biffl, Stefan; Cabot, Jordi; Cortellesa, Vittorio; Daneva, Maya; Mendez Fernández, Daniel; Moreira, Ana; Muccini, Henry; Vallecillo, Antonio; Wimmer, Manuel; Amaral, Vasco; Brunelière, Hugo; Brugueño, Loli; Goulao, Miguel; Schätz, Bernhard; Teufl, Sabine

Verifying action semantics specifications in UML behavioral models (Extended version)

Planas, Elena; Cabot, Jordi; Gómez Seoane, Cristina

Lightweight and static verification of UML executable models

Planas Hortal, Elena; Cabot, Jordi; Gómez Seoane, Cristina

Accesibilidad | Aviso legal | Política de Cookies | Documentos de uso interno

Coordinación

Patrocinio