Carregant...
Carregant...

Vés al contingut (premeu Retorn)

Incremental evaluation of OCL constraints

Autor
Cabot, J.; Teniente, E.
Tipus d'activitat
Document cientificotècnic
Data
2005-04
Codi
LSI-05-12-R
Repositori
http://hdl.handle.net/2117/84190 Obrir en finestra nova
Resum
Integrity checking is aimed at efficiently determining whether the state of the information base is consistent after each operation execution. Incremental integrity checking exploits available information about the structural events that define the operation effect to compute integrity constraint violations considering as few entities of the information base as possible. In this paper we propose a new method to cope with incremental integrity checking at the conceptual level, in particula...
Citació
Cabot, J., Teniente, E. "Incremental evaluation of OCL constraints". 2005.
Paraules clau
Integrity Constraints, Uml, Ocl
Grup de recerca
MPI - Modelització i Processament de la Informació

Participants

Arxius