Para acceder a los documentos con el texto completo, por favor, siga el siguiente enlace:

Fixing up non-executable operations in UML/OCL conceptual schemas
Oriol Hilari, Xavier; Teniente López, Ernest; Tort, Albert
Universitat Politècnica de Catalunya. Departament d'Enginyeria de Serveis i Sistemes d'Informació; Universitat Politècnica de Catalunya. MPI - Modelització i Processament de la Informació
An operation is executable if there is at least one information base in which its preconditions hold and such that the new information base obtained from applying its postconditions satisfies all the integrity constraints. A non-executable operation is useless since it may never be applied. Therefore, identifying non-executable operations and fixing up their definition is a relevant task that should be performed as early as possible in software development. We address this problem in the paper by proposing an algorithm to automatically compute the missing effects in postconditions that would ensure the executability of the operation.
Peer Reviewed
Àrees temàtiques de la UPC::Informàtica::Enginyeria del software
Conceptual modeling
Conceptual schema

Mostrar el registro completo del ítem

Documentos relacionados

Otros documentos del mismo autor/a

Oriol Hilari, Xavier; Teniente López, Ernest; Tort, Albert
Oriol Hilari, Xavier; Teniente López, Ernest; Rull, Guillem
Oriol Hilari, Xavier; Teniente López, Ernest
Franconi, Enrico; Mosca, Alessandro; Oriol Hilari, Xavier; Rull, Guillem; Teniente López, Ernest